Teorema di Lagrange
Il teorema di Lagrange viene spesso visto come una generalizzazione del teorema di Rolle (che abbiamo visto qui 👈). Infatti, esso enuncia che:
Se una funzione f(x) è continua e derivabile in un intervallo chiuso e limitato [a,b], allora esiste un punto c in quell'intervallo tale che:
f′(c)=b−af(b)−f(a) Il rapporto che troviamo a destra, per definizione, altro non è che il coefficiente angolare della retta passante per i punti (a;f(a)) e (b;f(b)).
Per la definizione di derivata, poi, f′(c) è il coefficiente angolare della retta tangente alla funzione f(x) in c.
Quindi, dire che questi due coefficienti angolari sono uguali, vuol dire, per la definizione di parallelismo, che la tangente a c è parallela alla retta passante per quei due punti:
Nel caso in cui f(a)=f(b), riotteniamo il teorema di Rolle, per questo si tratta di una sua generalizzazione. Dimostriamo ora questo teorema.
Definiamo la seguente funzione:
g(x)=f(x)−kx
Siccome sia f(x) che kx sono due funzioni continue e derivabili, anche g(x) lo dovrà essere.
Ora, a cosa ci serve questa nuova funzione? e quanto vale k?
Questa funzione sarà molto utile perché sceglieremo un k tale che:
k=b−af(b)−f(a)
Se andiamo ad espandere otteniamo:
(b−a)k=f(b)−f(a)
f(a)−ka=f(b)−kb
Sostituendo con g(x) otteniamo:
g(a)=g(b)
Cioè, la funzione g(x) soddisfa le condizioni per poter applicare il teorema di Rolle. Questo, quindi, è stato possibile perché potevamo scegliere qualsiasi numero reale per k.
Notate che a e b sono i due estremi di un intervallo chiuso e limitato, dunque non possono essere uguali, quindi b−a deve essere diverso da 0 e non ci sono quindi problemi di esistenza.
Ora sostituiamo k nell'equazione per g(x):
g(x)=f(x)−kx
g(x)=f(x)−b−af(b)−f(a)x
e prendiamo la derivata da entrambi i lati:
g′(x)=f′(x)−b−af(b)−f(a)
Ora, però, siccome g(x) soddisfava le condizioni per poter applicare il teorema di Rolle, deve esserci un punto c tale che g′(c)=0. Quindi otteniamo:
g′(c)=f′(c)−b−af(b)−f(a)
0=f′(c)−b−af(b)−f(a)
f′(c)=b−af(b)−f(a)
Ed ecco dimostrato il teorema di Lagrange.