Jsou situace, kdy nedostaneme funkci explicitně, ale pomocí rovnice, ve které
se vyskytují jak neznámá, tak funkce. Například rovnice
Příklad 1: Uvažujme rovnici
Použili jsme známý fakt, že rovnice ve tvaru třeba
Příklad 2: Uvažujme rovnici
Abychom to zjistili, použili jsme jednoduchý trik, "prohodili" jsme proměnné
a představili jsme si, že x závisí na y; rovnice pak popisuje
základní parabolu, stačilo ji správně nakreslit (s prohozenými osami). Zase
dostaneme křivku, tentokráte už ji ale nemůžeme považovat za graf nějaké
funkce. Na druhou stranu je možné ji dostat jako spojení dvou grafů. Pokud
vyřešíme danou rovnost pro y, dostaneme
Příklad 3: Uvažujme rovnici
Abychom viděli tohle, použili jsme další trik. Pokud by x bylo v
rovnici bez absolutní hodnoty, pak by rovnice popisovala kružnici s poloměrem
1 a středem
Příklad 4: Uvažujme rovnici
Tento příklad ukazuje, že rovnice nemusí dávat křivku. Zde máme dva body, dá se snadno napsat rovnice, která by vyjádřila dokonce nekonečně mnoho bodů, které jsou všechny izolované.
Příklad 5: Uvažujme rovnici
Příklad 6: Uvažujme rovnici
Tento příklad je docela zajímavý. Když zkusíme vyřešit danou rovnici pro
y, vidíme, že existuje nekonečně mnoho řešení, funkce tvaru
Pomocí těchto příkladů jsme chtěli ukázat, že rovnice mohou definovat velice podivné množiny v rovině, bylo by tedy naivní očekávat, že z nich vždycky dokážeme udělat funkci. Abychom do toho viděli lépe, podíváme se blíže na to, co je obvykle potřeba.
Problém: Máme rovnici s x a y. Máme také bod
Připomeňme, že když zkoumáme funkce, potřebujeme okolí na to, abychom mohli hledat limity nebo derivaci, je tedy přirozené požadovat, abychom popsali křivku coby funkci na okolí daného bodu.
Zpět k Příkladu 2: Jestliže nám někdo dá bod
Jinými slovy, lokálně, na okolí daného bodu, jsme schopni vyřešit danou
rovnici pro y. Podobně, pokud nám někdo dá bod
Zase jsme tedy schopni vyjádřit lokálně křivku jako funkci, ale jinou funkci
než předtím. To je naprosto normální. Nakonec uvažujme bod
To nám říká následující. Pokud máme křivku danou rovnicí, pak máme často šanci vyjádřit její části okolo daného bodu pomocí funkcí (zvaných implicitní funkce), ale někdy to není možné. Existuje způsob, jak rozeznat "dobré" body od "špatných"? Po pravdě řečeno, existuje, ale vyžaduje pokročilejší matematiku (funkce více proměnných, parciální derivace). Pro úplnost zde uvedeme příslušné tvrzení.
Věta (o implicitní funkci).
Uvažujme rovniciF(x, y) = c. Nechť bod(x0, y0) splňuje tuto rovnici. Jestližepak existuje okolí U bodu x0 a funkce
y = y(x) na tomto okolí taková, žey(x0) = y0 aF(x, y(x)) = c pro všechna x z U.
Příklad: Uvažujme křivku danou rovnicí
Řešení: Nejprve přepíšeme rovnici, aby vyhovovala vzorci z věty:
Teď najdeme příslušnou parciální derivaci.
Protože je tato derivace nenulová, podle Věty o implicitní funkci existuje
žádaná funkce na nějakém okolí
K čemu je tedy tohle všechno dobré? Za prvé, vidíme, že implicitní křivky jsou bohatší množina než množina možných "pěkných" grafů funkcí. Jinými slovy, implicitně lze popsat objekty, které by bylo obtížné popsat pomocí grafu funkcí (viz níže). To je výhoda implicitně definovaných křivek.
Na druhou stranu jestliže chceme takové křivky zkoumat (například hledat tečny), pak bychom s nimi mnohem raději pracovali jako s funkcemi. Ta věta výše něco říká, možná ne mnoho, ale všimněte si, že zrovna problém tečny je něco, kde stačí znát funkci lokálně. Co je ještě zajímavější, existuje způsob, jak najít derivaci implicitní funkce, aniž bychom znali její vzorec. To se může hodit, viz Implicitní derivování v části Derivace - Teorie - Implicitní a parametrické funkce.
Dva příklady práce s implicitními funkcemi na úrovni, kterou teď známe, lze najít v Řešených příkladech.
Poslední poznámka: Mluvili jsme o změně implicitních křivek ve funkce. Dá se
to také udělat naopak? Odpověď je kladná a je to tak snadné, že na to
nebudeme plýtvat dalším odstavcem. Je-li křivka dána jako graf funkce
Bonus: Pár slavných křivek.
Kružnice o poloměru r se středem
Elipsa s hlavní poloosou A, vedlejší poloosou
B a středem
Je evidentní, že když vezmeme
Parametrické funkce
Zpět na Teorie - Implicitní a
parametrické funkce