Since
\(f\) is continuous on
\(\varphi([a,b])\text{,}\) the second form of the Fundamental Theorem of Calculus (
Theorem 7.3.1) gives a function
\begin{equation*}
U(y)=\int_{\varphi(a)}^{y} f(u)\,du
\qquad (y \in \varphi([a,b]))
\end{equation*}
such that \(U'(y)=f(y)\) for every \(y \in \varphi([a,b])\text{.}\)
Define \(H(x)=U(\varphi(x))\) on \([a,b]\text{.}\) By the chain rule,
\begin{equation*}
H'(x)=U'(\varphi(x))\varphi'(x)=f(\varphi(x))\varphi'(x).
\end{equation*}
Because \(\varphi\) and \(\varphi'\) are continuous on \([a,b]\text{,}\) and \(f\) is continuous on \(\varphi([a,b])\text{,}\) the function \(f \circ \varphi\) is continuous on \([a,b]\text{.}\) Hence \(H'\) is continuous, in particular integrable, on \([a,b]\text{.}\)
\begin{equation*}
\int_a^b f(\varphi(x))\varphi'(x)\,dx
=
\int_a^b H'(x)\,dx
=
H(b)-H(a)
=
U(\varphi(b))-U(\varphi(a)).
\end{equation*}
Since \(U(\varphi(a))=0\text{,}\) the right-hand side is
\begin{equation*}
\int_{\varphi(a)}^{\varphi(b)} f(u)\,du.
\end{equation*}
This proves the formula.