Let and have derivatives, and consider the composite function . We shall develop a rule for use in differentiating this function, and this rule will greatly extend the collection of functions which we can differentiate. For example, the function can be written as , where , and we can differentiate each of these functions.
The difference quotient we must consider is
If we consider the range of , that is, the set of values of , as a set of numbers of which we denote the general one by , we first consider the difference
\frac{f(u+k) - f(u)}{k} - f'(u) .For small, this expression is close to 0. We put it over a common denominator and write
\epsilon(k) = \frac{f(u+k) - f(u) - kf'(u)}{k} .Then is a number depending on , and is small when is small. Of course, is forbidden. Let us rewrite this equation as
f(u+k) - f(u) = k \epsilon(k) + k f'(u) .If we were to choose any number at all and call it , this last equation would be true for all , including . But in order to make small with , we decide to choose the number 0 as the one which we shall call . Thus we define .
In the original difference quotient, let us write , . Then . By the continuity of , as , and so as . Now we have
\frac{f(g(x+h)) - f(g(x))}{h} = \frac{f(u+k) - f(u)}{h} = \frac{k \epsilon(k) + k f'(u)}{h}= \frac{g(x+h) - g(x)}{h} \cdot \epsilon(k) + \frac{g(x+h) - g(x)}{h} \cdot f'(u) .The quantities involved approach the limits indicated as . Therefore the whole expression approaches f'(u)g'(x), and we have the chain rule:
\bbox[5px,border:1px solid black;background-color:#f2f2f2]{(f(g(x)))' = f'(g(x)) \cdot g'(x).}Exercise
Develop a rule for (f_1(f_2(\dots(f_n(x))\dots)))', and prove it by induction.