If and is differentiable, the chain rule gives . Taking antiderivatives gives the substitution ruleWriting and records this chain rule in reverse. For a continuous function and continuously differentiable , the fundamental theorem of calculus gives the corresponding definite integral identityThe order of the transformed endpoints determines the sign. For example, . If the substitution is used in the opposite direction by solving as a function of , one must restrict to a suitable inverse branch; the tangent half-angle substitution illustrates why separate branches can be necessary even when the original integrand is smooth. The general change of variables formula extends substitution to higher dimensions.
A trigonometric substitution is integration by substitution using a trigonometric function to simplify an integrand, especially a square root. For example, , with and , changes to and to . The interval restriction fixes the sign of the square root. Similarly simplifies . The transformed integral must include the differential and, for a definite integral, the new limits.