Twierdzenie Rolle’a

Z Wikipedii, wolnej encyklopedii
(Przekierowano z Twierdzenie Rolle'a)
Skocz do: nawigacja, szukaj
Rolle's theorem.svg

Twierdzenie Rolle’atwierdzenie klasycznej analizy matematycznej mówiące, że funkcja różniczkowalna przyjmująca równe wartości w dwóch różnych punktach ma punkt stacjonarny, tzn. punkt, w którym nachylenie prostej stycznej do wykresu funkcji względem osi OX jest równe zeru.

Twierdzenie to opublikował (dla wielomianów) francuski matematyk Michel Rolle w 1691. W innej postaci znane ono było w 1150 roku hinduskiemu matematykowi Bhaskarze.

Wersja standardowa[edytuj]

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

f ^\prime\ (c) = 0.

Z tej wersji twierdzenia Rolle’a korzysta się przy dowodzie twierdzenia Lagrange’a o wartości średniej, którego twierdzenie Rolle’a jest przypadkiem szczególnym.

Dowód[edytuj]

Jeżeli f \equiv \mathrm{const}, to f'(c) = 0 dla każdego c \in (a, b). Gdy f nie jest tożsamościowo równa stałej, to istnieje taki punkt x \in (a, b), 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 wartość funkcji jest większa od f(a) = f(b); rozumowanie w drugim przypadku jest analogiczne (wówczas trzeba rozważać wartość najmniejszą zamiast największej).

Określona na przedziale zwartym [a, b] funkcja ciągła f na mocy twierdzenia Weierstrassa przyjmuje wartość największą, tzn. istnieje taki punkt c \in [a, b], że f(c) = \sup f(x) dla x \in [a, b].

Z założenia, że istnieje wartość większa od f(a) = f(b) wynika, że a \neq c \neq b, tzn. c \in (a, b). Warunkiem koniecznym istnienia ekstremum globalnego funkcji f w c jest znikanie pochodnej w tym punkcie, co dowodzi tezy.

Uogólnienia[edytuj]

Niech h := b - a będzie rzeczywistą liczbą dodatnią, a x := a, wtedy x + h = b.. Punkt c \in (a, b) można zapisać jako x + \theta h, gdzie \theta \in (0, 1).

Przy takich oznaczeniach twierdzenie Rolle’a ma postać:

Jeśli

f(x + h) = f(x),

to istnieje punkt x + \theta h taki, że

 f'(x + \theta h) h=0.

Rezygnacja z warunku f(a) = f(b), czyli  f(x)=f(x + h) prowadzi do ogólniejszego twierdzenia Lagrange’a:

Istnieje taki punkt x + \theta h, który spełnia tożsamość

f(x + h) = f(x) + f'(x + \theta h) h.

Z kolei dalekim uogólnieniem twierdzenia Lagrange’a jest twierdzenie Taylora mówiące, że istnieje taki punkt x + \theta h, dla którego zachodzi:

f(x + h) = f(x) + \frac{f'(x)}{1!}h + \frac{f^{(2)}(x)}{2!}h^2 + \dots + \frac{f^{(n)}(x)}{n!} h^n + \frac{f^{(n + 1)}(x + \theta h)}{(n + 1)!} h^{n + 1},

gdzie o funkcji f zakłada się, by była n+1 razy różniczkowalna. Twierdzenie Lagrange’a uzyskuje się z niego przyjmując n = 0.

Zobacz też[edytuj]

Bibliografia[edytuj]