Věta o sřední hodnotě se dá použít na docela zajímavé věci.
Fakt.
Nechť f a g jsou funkce spojité na intervalu I a diferencovatelné na jeho vnitřku I o. Jestližef ′ = g′ na I o, pak existuje konstanta C taková, žef (x) = g(x) + C na I.Jestliže navíc existuje bod c v I takový, že
f (c) = g(c), pakf = g na I.
Toto tvrzení získáme tak, že uvažujeme rozdíl
Pokud ty dva grafy také sdílí nějaký bod a jsou paralelní, pak musí být stejné. To se používá k důkazu, že se dva výrazy rovnají, když to neumíme udělat algebraicky.
Příklad: Dokažte, že pro
Řešení:
Nezdá se, že by existoval nějaký zjevný algebraický postup, zkusíme tedy ten
Fakt. Definujeme
Jsou tedy paralelní. Teď potřebujeme dosadit nějaký bod, abychom ukázali, že
se rovnají. Zkusíme
Podle Faktu jsou si tedy ony dvě funkce rovny.
Poznamenejme, že někdy není úplně snadné najít vhodný bod k dosazení. Pak se dá použít trik a porovnat limity, například v koncových bodech. Zde se dá porovnávat takto:
Podobně dokazujeme nerovnosti, ale tam je třeba být trochu opatrnější.
Fakt.
Nechť f a g jsou funkce spojité na intervaluI = 〈a,b) neboI = 〈a,b〉 a diferencovatelné na jeho vnitřku(a,b). Jestližef ′ ≤ g′ na(a,b) af (a) ≤ g(a), pakf ≤ g na I.Nechť f a g jsou funkce spojité na intervalu
I = (a,b〉 neboI = 〈a,b〉 a diferencovatelné na jeho vnitřku(a,b). Jestližef ′ ≥ g′ na(a,b) af (b) ≤ g(b), pakf ≤ g na I.
Zde jsou typické situace pro obě verze:
Docela často se tato tvrzení používají s jednou funkcí rovnou identicky nule neboli k důkazu, že daná funkce například není záporná:
Nechť f je funkce spojitá na intervalu
I = 〈a,b) neboI = 〈a,b〉 a diferencovatelné na jeho vnitřku(a,b). Jestližef ′ ≥ 0 na(a,b) af (a) ≥ 0, pakf ≥ 0 na I.
Všechna tato porovnávací tvrzení mají také "ostrou" verzi, ukážeme si to třeba u posledního:
Nechť f je funkce spojitá na intervalu
I = 〈a,b) neboI = 〈a,b〉 a diferencovatelné na jeho vnitřku(a,b). Jestližef ′ ≥ 0 na(a,b) af (a) > 0, pakf > 0 na I.
Předpokládejme, že máme pěknou (spojitou) funkci na intervalu I. Předpokládejme dále, že má v tomto intervalu dva nulové body. Pak musí mít logicky mezi těmito dvěma body kopeček nebo dolík, a jestliže máme diferencovatelnost, pak Rolleova věta tvrdí, že mezi těmi dvěma kořeny je nějaký bod, kde je derivace nulová. Pokud máme kořenů více, můžeme se podívat na všechny jejich následující páry a pro každý najdeme místo s nulovou derivací.
Fakt.
Nechť f je funkce spojitá na intervalu I a diferencovatelná na jeho vnitřku I o. Jestliže f má k různých nulových bodů v I, pak její derivace f ′ musí mít nejméněk−1 různých nulových bodů v I.
Jestliže je tato derivace diferencovatelná, můžeme zkusit další krok. Indukcí dostaneme
Důsledek.
Nechť f je funkce, která mán−1 spojitých derivací na intervalu I an-tou derivaci na jeho vnitřku I o. Jestliže f má k různých nulových bodů v I (kdek > n), pak jejín-tá derivacef (n) musí mít nejméněk-n různých nulových bodů v I.
Tento fakt se někdy používá k důkazu, že nějaká funkce nemá mnoho kořenů. Předpokládáme sporem, že má, pak se podíváme na její derivaci a doufáme, že nastane průšvih.
Příklad: Dokažte, že kubický polynom
Sporem, předpokládejme, že má kořeny dva či více. Vezměme libovolné dva z
nich, pak by podle Faktu měla mít derivace alespoň jeden nulový bod. To
ale není možné, protože
Je také možné zkusit přímý postup, protože ten Důsledek lze také ekvivalentně napsat jako
Důsledek.
Nechť f je funkce, která mán−1 spojitých derivací na intervalu I an-tou derivaci na jeho vnitřku I o. Jestližen-tá derivacef (n) má k různých nulových bodů v I, pak f může mít nejvíšek+n různých nulových bodů v I.
Poznamenejme, že aby byl tento trik úspěšný, je třeba trochu štěstí. Spolehlivější metoda spočtení kořenů je určit monotonii dané funkce, což je obvykle snadné, když už máme její derivaci (viz Monotonie v části Teorie - Průběh funkce), a pak už i jen symbolický náčrt jasně ukáže, kolik je kořenů.