Twierdzenie Rolle’a

Ilustracja twierdzenia

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

Jest to najprostszy przypadek twierdzenia Lagrange’a o wartości średniej, a przez to – twierdzenia Cauchy’ego. Jest używane m.in. w dowodzie reguły znaków Kartezjusza.

Wersja standardowa

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$Szablon:Odn.

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

Wizualizacja twierdzenia

Jeżeli $f\equiv \mathrm{c}\mathrm{o}\mathrm{n}\mathrm{s}\mathrm{t},$ to $f^{\prime }(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\ne c\ne b,$ tzn. $c\in (a,b).$ Warunkiem koniecznym istnienia ekstremum globalnego funkcji $f$ w $c$ jest znikanie pochodnej w tym punkcie, co dowodzi tezy.

Historia

Twierdzenie to – w innej postaci niż ta standardowa – znał w 1150 roku indyjski matematyk BhaskaraćarjaSzablon:Fakt. W 1691 roku francuski matematyk Michel Rolle opublikował je w szczególnym przypadku dotyczącym wielomianówSzablon:Odn. Zostało nazwane na jego cześć najpóźniej w XIX wieku; nazwiskiem Rolle’a określił je w 1834 roku Moritz Wilhelm Drobisch.

Uogólnienia

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,$ dla którego

$f^{\prime }(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^{\prime }(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)=\frac{f^{(0)}(x)}{0!}{h}^0+\frac{f^{\prime }(x)}{1!}{h}^1+\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 Rolle’a uzyskuje się z niego przyjmując $n=0.$

Zobacz też

• twierdzenie Darboux

Bibliografia

• Szablon:Cytuj książkę

Linki zewnętrzne

• Szablon:MathWorld [dostęp 2022-06-20].
• Szablon:Otwarty dostęp Rolle theorem Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2022-06-20].
• Szablon:Otwarty dostęp William L. Hosch, Rolle’s theorem Szablon:Lang, Encyklopedia Britannica, britannica.com [dostęp 2023-06-06].