La dimostrazione del teorema di Rolle poggia sul teorema di Weierstrass, che garantisce l’esistenza di massimo e minimo assoluti per una funzione continua su un intervallo chiuso e limitato.

Dimostrazione

Per Weierstrass, ff continua su [a,b][a,b] ammette massimo MM e minimo mm. Se M=mM=m, ff è costante e f(c)=0f'(c)=0 per ogni cc. Altrimenti, almeno uno tra MM e mm è raggiunto in un punto interno c(a,b)c\in(a,b): infatti, poiché f(a)=f(b)f(a)=f(b), se il massimo fosse raggiunto solo agli estremi si avrebbe M=f(a)=f(b)=mM=f(a)=f(b)=m, contraddizione. In cc la derivata si annulla, perché l’annullarsi della derivata è condizione necessaria per un estremo interno. \blacksquare

Collegamenti

Argomenti: Teoremi del calcolo
Concetti: Teorema di rolle · Teorema di weierstrass
Competenze: Dimostrare
Persone: Michel Rolle · Karl Weierstrass