Sean y con derivadas, y consideremos la función compuesta . Desarrollaremos una regla para usar al diferenciar esta función, y esta regla extenderá enormemente la colección de funciones que podemos diferenciar. Por ejemplo, la función puede escribirse como , donde , y podemos diferenciar cada una de estas funciones.
El cociente de diferencias que debemos considerar es
Si consideramos el rango de , es decir, el conjunto de valores de , como un conjunto de números del cual denotamos el general por , primero consideramos la diferencia
\frac{f(u+k) - f(u)}{k} - f'(u) .Para pequeño, esta expresión está cerca de 0. Lo ponemos sobre un denominador común y escribimos
\epsilon(k) = \frac{f(u+k) - f(u) - kf'(u)}{k} .Entonces es un número que depende de , y es pequeño cuando es pequeño. Por supuesto, está prohibido. Reescribamos esta ecuación como
f(u+k) - f(u) = k \epsilon(k) + k f'(u) .Si eligiéramos cualquier número y lo llamáramos , esta última ecuación sería verdadera para todo , incluyendo . Pero para hacer que sea pequeño con , decidimos elegir el número 0 como el que llamaremos . Así pues, definimos .
En el cociente de diferencias original, escribamos , . Entonces . Por la continuidad de , cuando , y así cuando . Ahora tenemos
\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) .Las cantidades involucradas se aproximan a los límites indicados cuando . Por lo tanto, la expresión completa se aproxima a f'(u)g'(x), y tenemos la regla de la cadena:
\bbox[5px,border:1px solid black;background-color:#f2f2f2]{(f(g(x)))' = f'(g(x)) \cdot g'(x).}Ejercicio
Desarrolle una regla para (f_1(f_2(\dots(f_n(x))\dots)))', y demuéstrela por inducción.