Proof of chain rule for differentiation

This article describes a proof of the chain rule for differentiation.

Specific point, named functions version

Suppose $f$ and $g$ are functions such that $g$ is differentiable at a point $x=x_{0}$, and $f$ is differentiable at $g(x_{0})$. Then the composite $f\circ g$ is differentiable at $x_{0}$, and we have:
$\!{\frac {d}{dx}}[f(g(x))]|_{x=x_{0}}=f'(g(x_{0}))g'(x_{0})$

Pure Leibniz notation version

Suppose $u=g(x)$ is a function of $x$ and $v=f(u)$ is a function of $u$. Then,
${\frac {dv}{dx}}={\frac {dv}{du}}{\frac {du}{dx}}$

Proof

Intuitive proof using the pure Leibniz notation version

The following intuitive proof is not rigorous, but captures the underlying idea:

• Start with the expression $\!{\frac {dv}{du}}{\frac {du}{dx}}$.
• Cancel the $du$ between the denominator and the numerator.
• We are left with $\!{\frac {dv}{dx}}$.

First attempt at formalizing the intuition

This again is not a complete proof, but it gets closer:

Note the following product relation between difference quotients when measured between any pair of distinct points $x=x_{1}$ and $x=x_{2}$:

${\frac {\Delta v}{\Delta x}}={\frac {\Delta v}{\Delta u}}{\frac {\Delta u}{\Delta x}}$

In the functional notation, this would read as saying the obvious thing that:

${\frac {f(g(x_{2}))-f(g(x_{1}))}{x_{2}-x_{1}}}={\frac {f(g(x_{2}))-f(g(x_{1}))}{g(x_{2})-g(x_{1})}}{\frac {g(x_{2})-g(x_{1})}{x_{2}-x_{1}}}$

Now, set $x_{1}=x_{0}$ and let $x_{2}=x$ be some number close enough to $x_{0}$. We get:

${\frac {f(g(x))-f(g(x_{0}))}{x-x_{0}}}={\frac {f(g(x))-f(g(x_{0}))}{g(x)-g(x_{0})}}{\frac {g(x)-g(x_{0})}{x-x_{0}}}$

Now, take the limit on both sides as $x\to x_{0}$, and we get:

$\lim _{x\to x_{0}}{\frac {f(g(x))-f(g(x_{0}))}{x-x_{0}}}=\lim _{x\to x_{0}}{\frac {f(g(x))-f(g(x_{0}))}{g(x)-g(x_{0})}}\lim _{x\to x_{0}}{\frac {g(x)-g(x_{0})}{x-x_{0}}}$

Since $g$ is differentiable at $x_{0}$, $g$ is continuous at $x_{0}$ as well (using the fact that differentiable implies continuous) and thus the first limit on the right side can be taken as:

$\lim _{x\to x_{0}}{\frac {f(g(x))-f(g(x_{0}))}{x-x_{0}}}=\lim _{g(x)\to g(x_{0})}{\frac {f(g(x))-f(g(x_{0}))}{g(x)-g(x_{0})}}\lim _{x\to x_{0}}{\frac {g(x)-g(x_{0})}{x-x_{0}}}$

The three limits are now definitionally derivatives, so we get:

$(f\circ g)'(x_{0})=f'(g(x_{0}))g'(x_{0})$

In the $\Delta$-notation, we are simply taking the appropriate limits on

${\frac {\Delta v}{\Delta x}}={\frac {Deltav}{\Delta u}}{\frac {Deltau}{\Delta x}}$

and getting that:

${\frac {dv}{dx}}={\frac {dv}{du}}{\frac {du}{dx}}$

Fixing the bug in the proof

The proof above is correct in essentials, but has one bug -- namely, the issue that $\Delta u=g(x)-g(x_{0})$ may be equal to zero for $x\neq x_{0}$, making the difference quotient $\Delta v/\Delta u$ undefined at these points. This is not an issue if this happens only at finitely many points, because we can take the limit close enough. It does become an issue, however, if $g(x)=g(x_{0})$ at points $x$ arbitrarily close to $x_{0}$.

The solution to those problem is to replace the expression ${\frac {f(g(x))-f(g(x_{0}))}{g(x)-g(x_{0})}}$ by the expression:

$\left\lbrace {\begin{array}{rl}f'(g(x_{0})),&{\mbox{ if }}g(x)=g(x_{0})\\{\frac {f(g(x))-f(g(x_{0}))}{g(x)-g(x_{0})}},&{\mbox{ if }}g(x)\neq g(x_{0})\\\end{array}}\right.$

In other words, we fill in the removable discontinuity before plugging it into the product expression. If we use this expression instead, the proof becomes rigorous.

Here is the full rigorous proof. Fill this in later