Sejam e deriváveis, e considere a função composta . Desenvolveremos uma regra para usar na diferenciação dessa função, e essa regra ampliará enormemente a coleção de funções que podemos diferenciar. Por exemplo, a função pode ser escrita como , onde , e podemos diferenciar cada uma dessas funções.
A razão diferencial que devemos considerar é
Se considerarmos a imagem de , isto é, o conjunto de valores de , como um conjunto de números dos quais denotamos o geral por , primeiro consideramos a diferença
\frac{f(u+k) - f(u)}{k} - f'(u) .Para pequeno, essa expressão está próxima de 0. Colocamos sobre um denominador comum e escrevemos
\epsilon(k) = \frac{f(u+k) - f(u) - kf'(u)}{k} .Então é um número que depende de , e é pequeno quando é pequeno. Claro, é proibido. Reescrevamos esta equação como
f(u+k) - f(u) = k \epsilon(k) + k f'(u) .Se escolhêssemos qualquer número e o chamássemos de , esta última equação seria verdadeira para todo , incluindo . Mas, para fazer pequeno junto com , decidimos escolher o número 0 como aquele que chamaremos de . Assim, nós definimos .
Na razão diferencial original, escrevamos , . Então . Pela continuidade de , quando , e assim quando . Agora temos
\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) .As quantidades envolvidas se aproximam dos limites indicados quando . Portanto, a expressão inteira se aproxima de f'(u)g'(x), e temos a regra da cadeia:
\bbox[5px,border:1px solid black;background-color:#f2f2f2]{(f(g(x)))' = f'(g(x)) \cdot g'(x).}Exercício
Desenvolva uma regra para (f_1(f_2(\dots(f_n(x))\dots)))', e prove-a por indução.