Le théorème de Cauchy est un résultat fondamental qui étend le théorème de Lagrange en introduisant une relation entre deux fonctions.
Table des matières
Théorème de Cauchy
Soient \(f, g : [a,b] \to \mathbb{R}\) des fonctions continues sur \([a,b]\) et différentiables sur \((a,b)\), avec \(g' \neq 0\) sur \((a,b)\). Alors, il existe un \(\xi \in (a,b)\) tel que :
\[\frac{f'(\xi)}{g'(\xi)} = \frac{f(b) - f(a)}{g(b) - g(a)}\]
Remarquons que \(g(b) - g(a) \neq 0\) en vertu de l'hypothèse \(g' \neq 0\).
Démonstration. Considérons la fonction auxiliaire :
\[h(x) = f(x)[g(b) - g(a)] - g(x)[f(b) - f(a)]\]
Cette fonction vérifie :
- \(h\) est continue sur \([a,b]\) (étant une combinaison de fonctions continues) ;
- \(h\) est différentiable sur \((a,b)\) (puisque \(f\) et \(g\) sont différentiables).
Évaluons \(h\) aux extrémités :
Pour \(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}
Pour \(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}
Ainsi, \(h(a) = h(b)\). Par le théorème de Rolle, il existe un \(\xi \in (a,b)\) tel que \(h'(\xi) = 0\).
Calculons \(h'(x)\) :
\[h'(x) = f'(x)[g(b) - g(a)] - g'(x)[f(b) - f(a)]\]
Pour \(x = \xi\), \(h'(\xi) = 0\) implique :
\[f'(\xi)[g(b) - g(a)] - g'(\xi)[f(b) - f(a)] = 0\]
C'est-à-dire,
\[f'(\xi)[g(b) - g(a)] = g'(\xi)[f(b) - f(a)]\]
Puisque \(g' \neq 0\) sur \((a,b)\), nous pouvons diviser les deux membres par \(g'(\xi)\) :
\[\frac{f'(\xi)}{g'(\xi)} = \frac{f(b) - f(a)}{g(b) - g(a)}\]
Cela complète la démonstration du théorème de Cauchy.