The change of variables method for antidifferentiation comes from the chain
rule. We will first demonstrate the method for
definite integration and then formulate it in terms of indefinite integration.
The change of variables formula states that for functions f and g,
f (u)du = f (g(x))g'(x)dx |
|
Let F be an antiderivative of f. By the Fundamental Theorem of Calculus, the left
side is equal to F(u)|g(a)g(b) = F(g(b)) - F(g(a)). By the chain rule,
[F(g(x))] = F'(g(x))g'(x) = f (g(x))g'(x) |
|
so the right side of the change of variables formula equals F(g(x))|ab = F(g(b)) - F(g(a)). Since we have shown that the two sides of the equation equal the same value,
the formula is proven.
When dealing with indefinite integrals, we may apply the same procedure (rewriting the
integral in terms of u and integrating), but we must then substitute g(x) for u in
the resulting function, to account for the change in the limits of integration in the
formula for definite integration.