Teorema di Rolle

Enunciato

Sia f:[a,b]Rf:[a,b]\to \mathbb{R} continua in [a,b] e derivabilein (a,b), supponiamo f(a)=f(b)f(a)=f(b), allora: c(a,b)  f(c)=0\\ \Rightarrow \exists c \in (a,b)\ |\ f'(c)=0

Dimostrazione

Siano m=minfm=minf e M=maxfM=maxf che esistono per il teorema di Weierstrass

Caso m = M

Se m=Mm = M implica che ff è costante \Rightarrowwf(x)=0x(a,)\Rightarroww f'(x) = 0 \forall x \in (a,)

Caso mMm \neq M

Se mMm \neq M allora:

  • \Rightarrow Non possono essere gli estremi
  • c(a,b)  f(x)=mf(c)=M\Rightarrow \exists c \in (a,b)\ |\ f(x)=m \vee f(c) = M

Dove questi due ultimi punti verificano che f(c)=0f'(c) = 0 per il teorema di fermat