O teorema de Cauchy é um resultado fundamental que estende o teorema de Lagrange ao introduzir uma relação entre duas funções.
Índice
Teorema de Cauchy
Sejam \(f, g : [a,b] \to \mathbb{R}\) funções contínuas em \([a,b]\) e diferenciáveis em \((a,b)\), com \(g' \neq 0\) em \((a,b)\). Então, existe \(\xi \in (a,b)\) tal que:
\[\frac{f'(\xi)}{g'(\xi)} = \frac{f(b) - f(a)}{g(b) - g(a)}\]
Note que \(g(b) - g(a) \neq 0\) em virtude da hipótese \(g' \neq 0\).
Demonstração. Consideremos a função auxiliar:
\[h(x) = f(x)[g(b) - g(a)] - g(x)[f(b) - f(a)]\]
Essa função satisfaz:
- \(h\) é contínua em \([a,b]\) (por ser uma combinação de funções contínuas);
- \(h\) é diferenciável em \((a,b)\) (pois tanto \(f\) quanto \(g\) são diferenciáveis).
Avaliemos \(h\) nas extremidades:
Para \(x = a\):
\begin{align} h(a) &= f(a)[g(b) - g(a)] - g(a)[f(b) - f(a)] \\[1mm] &= f(a)g(b) - f(a)g(a) - g(a)f(b) + g(a)f(a) \\[1mm] &= f(a)g(b) - g(a)f(b) \end{align}
Para \(x = b\):
\begin{align} h(b) &= f(b)[g(b) - g(a)] - g(b)[f(b) - f(a)] \\[1mm] &= f(b)g(b) - f(b)g(a) - g(b)f(b) + g(b)f(a) \\[1mm] &= f(a)g(b) - g(a)f(b) \end{align}
Portanto, \(h(a) = h(b)\). Pelo teorema de Rolle, existe \(\xi \in (a,b)\) tal que \(h'(\xi) = 0\).
Calculando \(h'(x)\):
\[h'(x) = f'(x)[g(b) - g(a)] - g'(x)[f(b) - f(a)]\]
Para \(x = \xi\), temos que \(h'(\xi) = 0\) implica:
\[f'(\xi)[g(b) - g(a)] - g'(\xi)[f(b) - f(a)] = 0\]
Ou seja,
\[f'(\xi)[g(b) - g(a)] = g'(\xi)[f(b) - f(a)]\]
Como \(g' \neq 0\) em \((a,b)\), podemos dividir ambos os lados por \(g'(\xi)\):
\[\frac{f'(\xi)}{g'(\xi)} = \frac{f(b) - f(a)}{g(b) - g(a)}\]
Isso completa a demonstração do teorema de Cauchy.