TWIERDZENIE ROLLE’A:
Niech f będzie ciągłą funkcją rzeczywistą określoną na przedziale domkniętym [a,b], różniczkowalną na przedziale otwartym (a,b). Wówczas jeżeli f(a) = f(b), to istnieje taki punkt c należący do przedziału otwartego (a,b), że
Z tej wersji twierdzenia Rolle'a korzysta się przy dowodzie twierdzenia Lagrange'a o wartości średniej. Twierdzenie Rolle'a jest przypadkiem szczególnym twierdzenia Lagrange'a.
DOWÓD: Jeżeli to f'(c) = 0 dla każdego Gdy f nie jest tożsamościowo równa stałej, to istnieje taki punkt dla którego zachodzi f(x) > f(a) = f(b) lub f(x) < f(a) = f(b). Przypuśćmy, że zachodzi pierwszy przypadek, tzn. dla pewnego argumentu istnieje wartość funkcji większa od f(a) = f(b); rozumowanie w drugim przypadku jest analogiczne.
Z założenia, iż istnieje wartość większa od f(a) = f(b) wynika, że tzn.
Warunkiem koniecznym istnienia ekstremum globalnego funkcji f w c jest znikanie pochodnej
w tym punkcie, co dowodzi tezy.
Tika02