Rolleova věta

Geometrický význam Rolleovy věty.

Rolleova věta (též Rollova věta) je matematická věta diferenciálního počtu. Je pojmenována po francouzském matematikovi Michelu Rolleovi, který větu formuloval v roce 1691.

Věta

Nechť f je spojitá funkce na uzavřeném intervalu [ a , b ] {\displaystyle \left[a,b\right]} a nechť pro každý bod x otevřeného intervalu ( a , b ) {\displaystyle \left(a,b\right)} existuje derivace f ( x ) {\displaystyle f'\left(x\right)} a nechť f ( a ) = f ( b ) {\displaystyle f\left(a\right)=f\left(b\right)} . Pak existuje bod c v otevřeném intervalu ( a , b ) {\displaystyle \left(a,b\right)} , pro nějž platí

f ( c ) = 0 {\displaystyle f'\left(c\right)=0} .

Důkaz

Důkaz rozdělíme do dvou částí:

  1. Nechť funkce f je konstantní. Potom derivace f ( x ) = 0 , x ( a , b ) {\displaystyle f'\left(x\right)=0,\forall x\in \left(a,b\right)} a věta je dokázána.
  2. Nechť funkce f není konstantní. Jelikož f ( a ) = f ( b ) {\displaystyle f\left(a\right)=f\left(b\right)} a funkce není konstantní, musí existovat d ( a , b ) {\displaystyle d\in \left(a,b\right)} takové, že f ( d ) > f ( a ) = f ( b ) {\displaystyle f\left(d\right)>f\left(a\right)=f\left(b\right)} nebo f ( d ) < f ( a ) = f ( b ) {\displaystyle f\left(d\right)<f\left(a\right)=f\left(b\right)} . Předpokládejme, že f ( d ) > f ( a ) = f ( b ) {\displaystyle f\left(d\right)>f\left(a\right)=f\left(b\right)} .

Využijeme věty tvrdící, že každá funkce spojitá na uzavřeném intervalu [ a , b ] {\displaystyle \left[a,b\right]} nabývá na tomto intervalu svého maxima i minima a zabývejme se maximem. Jelikož existuje d ( a , b ) {\displaystyle d\in \left(a,b\right)} takové, že f ( d ) > f ( a ) = f ( b ) {\displaystyle f\left(d\right)>f\left(a\right)=f\left(b\right)} , tak maximum nemůže ležet ani v a, ani v b. Leží tedy uvnitř intervalu, v bodě c. Z věty o nutné podmínce lokálního extrému vyplývá, že tedy v bodě c, kde se nalézá lokální extrém funkce, f ( c ) = 0 {\displaystyle f'\left(c\right)=0} .

Analogické tvrzení platí i pro minimum.

Historie

Rolleovu větu znal už ve dvanáctém století indický matematik Bháskara II. První formální důkaz podal francouzský matematik Michel Rolle v roce 1691. Název Rolleova věta byl poprvé použit v devatenáctém století.

Příklady

Půlkruh s poloměrem r

První příklad

Buď poloměr r > 0 {\displaystyle r>0} a mějme funkci

f ( x ) = ( r 2 x 2 ) , x [ r , r ] {\displaystyle f(x)={\sqrt {(r^{2}-x^{2})}},\quad x\in [-r,r]} .

Jejím grafem je horní půlkruh se středem v počátku. Tato funkce je spojitá na uzavřeném intervalu [ r , r ] {\displaystyle [-r,r]} a má derivaci na otevřeném intervalu ( r , r ) {\displaystyle (-r,r)} , ale ne v krajních bodech. Předpoklady Rolleovy věty jsou splněny, protože f ( r ) = f ( r ) {\displaystyle f(-r)=f(r)} . A skutečně, bod s nulovou derivací existuje.

Graf funkce absolutní hodnoty

Druhý příklad

Pokud funkce nemá ve všech vnitřních bodech intervalu derivaci, nemusí závěr Rolleovy věty platit. Mějme funkci absolutní hodnoty:

f ( x ) = | x | , x [ 1 , 1 ] {\displaystyle f(x)=\left\vert x\right\vert ,\quad x\in [-1,1]} .

Ačkoli f ( 1 ) = f ( 1 ) {\displaystyle f(-1)=f(1)} , neexistuje žádný bod c ( 1 , 1 ) {\displaystyle c\in (-1,1)} takový, že f ( c ) = 0 {\displaystyle f'(c)=0} . Důvodem je právě to, že v bodě x = 0 {\displaystyle x=0} neexistuje derivace funkce f {\displaystyle f} .

Reference

V tomto článku byl použit překlad textu z článku Rolle's theorem na anglické Wikipedii.

Související články

Externí odkazy

  • Logo Wikimedia Commons Obrázky, zvuky či videa k tématu Rolleova věta na Wikimedia Commons
Pahýl
Pahýl
Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.