Teorema di Fermat, di Rolle, di Lagrange, di Cauchy

Da testwiki.
Vai alla navigazione Vai alla ricerca

Template:Risorsa

Template:Navigazione lezione

Introduciamo qui alcuni teoremi di notevole importanza del punto di vista del calcolo differenziale.

Teorema di Fermat

Template:Riquadro

Dimostrazione

Supponiamo x0 punto di massimo di f (è naturalmente possibile ragionare in maniera analoga considerandolo un punto di minimo). Allora se x0 è massimo relativo di f si avrà che,

f(x)f(x0)0 in un intorno del tipo (x0δ,x0+δ)A con δ+. Dunque:
  • f(x)f(x0)xx00,x(x0,x0+δ)

e

  • f(x)f(x0)xx00,x(x0δ,x0) quindi
limxx0+f(x)f(x0)xx00
limxx0f(x)f(x0)xx00.

Ma sappiamo f derivabile in x0 per ipotesi, dunque possiamo dedurre che

limxx0f(x)f(x0)xx0=0.


Una conseguenza del teorema di Fermat è il seguente teorema di Rolle.

Teorema di Rolle

Template:Riquadro

Dimostrazione

In virtù del Teorema di Weierstrass la funzione sull'intervallo [a,b] ammette massimo e minimo assoluti (che indichiamo rispettivamente con M e m).

Si danno due casi: o il massimo e il minimo sono entrambi raggiunti negli estremi (dunque a,b sono estremanti ) oppure almeno uno dei due appartiene all'intervallo ]a,b[.

Caso 1) Il massimo e il minimo si trovano entrambi negli estremi e quindi poiché f(a)=f(b) ne segue dalla continuità di f che M=m.

Questo implica che la funzione è costante sull'intervallo [a,b] e quindi la derivata è nulla in ciascun punto c dell'intervallo ]a,b[.

Caso 2) Il massimo o il minimo si trovano all'interno dell'intervallo. Per fissare le idee, consideriamo il caso in cui il massimo è raggiunto in un punto c dell'intervallo aperto ]a,b[, cioè f(c)=M.

Dunque per il Teorema di Fermat la derivata è nulla nel punto c.


Teorema di Lagrange (o del valor medio)

Teorema di Lagrange

Supponiamo una funzione f(x) definita nell'intervallo[a,b] come nell'immagine a fianco, continua nell'intervallo e ogni suo punto ha una tangente, e tracciamo la retta secante il grafico che passa per i punti (a,f(a)) e (b,f(b)), gli estremi di f(x) nell'intervallo considerato (in arancione): essa intersecherà f(x) almeno in due punti, inizialmente: f(a) e f(b).

Ora se spostiamo idealmente questa retta verso il basso, sempre mantenendola parallela con la stessa pendenza, notiamo che essa andrà a coincidere con la retta in verde, tangente alla curva nel punto (c,f(c)): il teorema di Lagrange afferma che sotto le ipotesi di regolarità enunciate è sempre possibile trovare un punto c, come nell'esempio, tale che la tangente in quel punto ha la stessa pendenza del segmento congiungente i punti estremi del grafico.

Template:Riquadro

Dimostrazione

Ai fini della dimostrazione dobbiamo cercare una funzione a cui si possa applicare il teorema di Rolle. In particolare dobbiamo fare in modo che essa rispetti la terza ipotesi, non garantita dalla ipotesi del teorema di Lagrange.

Sia g(x) la seguente funzione:

g(x)=f(a)+f(b)f(a)ba(xa)

Si tratta della retta passante per i punti A B della figura.

Sia ora h la differenza tra le due funzioni f,g h(x)=(fg)(x)=f(x)g(x)

h(x)=f(x)g(x)

g(a)=f(a)+f(b)f(a)ba(aa)=f(a)

g(b)=f(a)+f(b)f(a)ba(ba)=f(a)+f(b)f(a)=f(b)

Quindi h(x) si annulla nei punti a e b (vi assume quindi valori identici):

h(a)=f(a)g(a)=0h(b)=f(b)g(b)=0

Per il teorema di Rolle, se una funzione è continua in un intervallo [a, b], derivabile in (a, b) ed assume valori uguali agli estremi dell'intervallo, esiste almeno un punto c la cui derivata sia 0.

La funzione h(x) è continua perché somma di funzione continue (una per ipotesi ed una perché è un polinomio di primo grado); inoltre è derivabile perché somma di funzioni derivabili (la prima per ipotesi, la seconda in quanto polinomio di primo grado). La terza ipotesi di Rolle la abbiamo dimostrata poco prima.

Applichiamo quindi il teorema alla funzione h(x), dal momento che ne soddisfa tutte le condizioni:

 c(a,b):h(c)=0

h(c)=f(c)g(c)=0 f(c)=g(c)

g(x) è una retta, la derivata prima di una retta è, in ogni suo punto, uguale al suo coefficiente angolare:

g(c)=f(b)f(a)ba

f(c)=g(c)=f(b)f(a)ba

ed il teorema è così dimostrato.


Teorema di Cauchy

Template:Riquadro

Dimostrazione

Si consideri la funzione h(x)=[f(b)f(a)]g(x)[g(b)g(a)]f(x) definita su [a,b] Verifica tutte le ipotesi del Teorema di Rolle, infatti è continua in [a,b] e derivabile in (a,b).

Inoltre si ha che h(a)=f(b)g(a)g(b)f(a) e h(b)=f(a)g(b)+g(a)f(b) Quindi esiste un punto c in (a,b) tale che h(c)=0, cioè 0=[f(b)f(a)]g(c)[g(b)g(a)]f(c)

Come volevasi dimostrare.