Ciao giubado
In effetti il
teorema di Rolle è un caso particolare del teorema di Lagrange
Tu hai determinato la condizione che ti serve! Ottimo! In realtà però per dimostrare il teorema di Lagrange possiamo utilizzare il teorema di Rolle applicato alla funzione ausiliaria:
dove

è una
funzione continua in
![[a,b]](data:image/gif;base64,R0lGODlhIQASAOMAAP///wAAACIiIjAwMIqKimJiYnR0dBYWFgQEBMzMzLa2tp6enubm5lBQUEBAQAwMDCH5BAEAAAAALAAAAAAhABIAAAScEAAxiLw466KuGYMUaqSmCIE2jmUrLYIqunTTyABLk8eC64BCwUA4uBgBAqFgmeUwAoMImCEEEhIEw8kyGEXSluOW9T3PAEQ4jW09zMjOeZS4ShSIY2ALsF5WdykSBTFmGgl5EgJkcxdaAAwHN1IJA3wXDy9fXBcLDUqVBVsKAWsvnwUZgDt9rI2sTTurNAuXNLMusbKKFa40HwMRADs=)
e
derivabile in

.
Grazie a queste informazioni possiamo subito dire che la funzione h soddisfa le ipotesi del teorema di Rolle pertanto esiste

tale che
ma la derivata prima di h è:
Pertanto:
e questa è proprio la tesi del teorema di Lagrange e lo abbiamo dimostrato tramite Rolle!
=======================
Per la crescenza e la decrescenza delle funzioni derivabili facciamo ricorso al teorema di Lagrange. Questo è l'enunciato:
Sia

una funzione continua e derivabile. Se

per ogni x appartenente all'intervallo (a,b). Allora per ogni

appartenenti all'intervallo [a,b] con

si ha che

.
Come si dimostra? Semplice, consideriamo l'intervallo
![[x_1, x_2]](data:image/gif;base64,R0lGODlhMwASAOMAAP///wAAACIiIjAwMIqKinR0dFBQUJ6enszMzAQEBLa2thYWFubm5kBAQAwMDGJiYiH5BAEAAAAALAAAAAAzABIAAATKEAAxiLw46815GYMUdmRpYuN4ruyVtvD6xnQ3S0RhHPmAwLld72cTXQ4/RMKSULSQACXTWQSoLIBDQoMQmLDazOFhaGRuF4NKonOw1BhGQdIwoIyZxTyDcK/0GAd+BQt3VhkMAUQHF30riYsSRHAueGEFARIKRFF+kgMMgVuYmpwSDqYzCg0ECgQGBIyNngAKAXuarK6wsi69eGskjhlYKw9OqXgmwxjFXwQMCA+GwRwHDQEPnAehJwgB4AF2lYc1zjXlFOfoMB8DEQA7)
e applichiamo ad esso il teorema di lagrange le cui ipotesi sono soddisfatte. Esiste quindi c in
Ma

e dunque:
Osserva ora che poiché

allora

di conseguenza affinché la disequazione venga soddisfatta dobbiamo pretendere che:
Dall'arbitrarietà dell'intervallo preso in considerazione possiamo concludere che la funzione è crescente
