Il teorema degli incrementi finiti di Cauchy è una generalizzazione del teorema di Lagrange.
Significato geometrico del teorema di Cauchy.
Siano
due funzioni reali di variabile reale continue in
e derivabili in
.
Allora esiste almeno un punto
tale che
[1]
Si noti che se
(e dunque in particolare
), l'equazione si può scrivere nella forma equivalente
![{\displaystyle {\frac {f^{\prime }(c)}{g^{\prime }(c)}}={\frac {f(b)-f(a)}{g(b)-g(a)}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/afb2b77fcce081870a493ac85fd0d124bce4f315)
Si consideri la funzione
di variabile reale definita nell'intervallo
come
![{\displaystyle h(t)=[f(b)-f(a)]g(t)-[g(b)-g(a)]f(t)\quad }](//wikimedia.org/api/rest_v1/media/math/render/svg/9086fc6c781be3f83e1409f9d04a51da267f692f)
Questa funzione è continua nell'intervallo
e derivabile in
, e
![{\displaystyle h(a)=[f(b)-f(a)]g(a)-[g(b)-g(a)]f(a)=f(b)g(a)-f(a)g(a)-f(a)g(b)+f(a)g(a)=f(b)g(a)-f(a)g(b).}](//wikimedia.org/api/rest_v1/media/math/render/svg/57ac00609f774385e419b77cd35049ead98ef990)
![{\displaystyle h(b)=[f(b)-f(a)]g(b)-[g(b)-g(a)]f(b)=f(b)g(b)-f(a)g(b)-f(b)g(b)+f(b)g(a)=-f(a)g(b)+f(b)g(a).}](//wikimedia.org/api/rest_v1/media/math/render/svg/0272af647ee9f6dc756f589cf732e859112e92a5)
Da cui
.
La funzione
soddisfa quindi le ipotesi del teorema di Rolle, per cui esiste un punto
in cui
, cioè
![{\displaystyle [f(b)-f(a)]g'(c)-[g(b)-g(a)]f'(c)=0.}](//wikimedia.org/api/rest_v1/media/math/render/svg/8c14083f1623cc697c3e47ed174436ca871a4de3)
- Considerando in particolare la funzione
, si ottiene l'affermazione del teorema di Lagrange.
- Il teorema di Cauchy può essere utilizzato per dimostrare la regola di De L'Hôpital.
- Paolo Marcellini, Carlo Sbordone Analisi Matematica Uno, Liguori Editore, Napoli, ISBN 88-207-2819-2, 1998, paragrafo 67.
- Paolo Maurizio Soardi, Analisi Matematica, CittàStudi, 2007, ISBN 978-88-251-7319-2.