OBSAH WEBU
ČTĚTE!
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
temata:17a-matematicka_analyza:derivace_jedne_promenne:main [2011/02/22 21:00] vagabund |
temata:17a-matematicka_analyza:derivace_jedne_promenne:main [2011/03/15 13:55] (aktuální) vagabund |
||
---|---|---|---|
Řádek 4: | Řádek 4: | ||
==== Úvod ==== | ==== Úvod ==== | ||
+ | |||
+ | === Derivace === | ||
<box round 90% green|**Motivace**> | <box round 90% green|**Motivace**> | ||
Řádek 39: | Řádek 41: | ||
Má-li funkce v bodě <m>x_0</m> derivace, potom je v tomto bodě spojitá | Má-li funkce v bodě <m>x_0</m> derivace, potom je v tomto bodě spojitá | ||
</box> | </box> | ||
+ | |||
+ | === Základní vzorce pro derivace === | ||
<box round 90% |**Vzorečky**> | <box round 90% |**Vzorečky**> | ||
Řádek 66: | Řádek 70: | ||
http://ftp.mgo.opava.cz/kav/download/matematika/seminar/derivace/der_el_fci.pdf | http://ftp.mgo.opava.cz/kav/download/matematika/seminar/derivace/der_el_fci.pdf | ||
</box> | </box> | ||
+ | |||
+ | === Jednostranné derivace === | ||
<box round 90% blue|**Definice**> | <box round 90% blue|**Definice**> | ||
Řádek 78: | Řádek 84: | ||
Funkce má v bodě <m>x_0</m> derivaci právě když existují obě jednostrané derivace v bodě <m>x_0</m> a jsou si rovny | Funkce má v bodě <m>x_0</m> derivaci právě když existují obě jednostrané derivace v bodě <m>x_0</m> a jsou si rovny | ||
</box> | </box> | ||
+ | |||
+ | === Dodatek === | ||
<box round 90% blue|**Definice**> | <box round 90% blue|**Definice**> | ||
Řádek 95: | Řádek 103: | ||
Fce f je třídy <m>C^k</m>, jestliže je derivace <m>f^(k)</m> spojitá a <m>f^{(k-1)}</m> třídy <m>C^{k-1}</m>. | Fce f je třídy <m>C^k</m>, jestliže je derivace <m>f^(k)</m> spojitá a <m>f^{(k-1)}</m> třídy <m>C^{k-1}</m>. | ||
+ | </box> | ||
+ | |||
+ | === příklady === | ||
+ | |||
+ | <box round 90% green|**příklady**> | ||
+ | 1) <m>f(x) = {sin}^2({cos}^3(tg x))</m> | ||
+ | |||
+ | 2) <m>f(x) = x^{lnx}</m> | ||
+ | |||
+ | 3) <m>f(x) = {(x/{x + 1})}^x</m> | ||
+ | |||
+ | \\ | ||
+ | \\ | ||
+ | \\ | ||
+ | |||
+ | 1) derivace složené fce | ||
+ | |||
+ | <m>{{sin}^2({cos}^3(tg x))}\prime = 2sin({cos}^3(tg x)) . cos({cos}^3(tg x)) . 3{cos}^2(tg x) . (-sin(tg x)) . 1/{cos^2(x)}</m> | ||
+ | |||
+ | \\ | ||
+ | \\ | ||
+ | \\ | ||
+ | |||
+ | 2) derivaci je potreba prevest na zname vzorce | ||
+ | |||
+ | <m>y = x^{lnx}</m> | ||
+ | |||
+ | <m>lny = lnx^{lnx}</m> | ||
+ | |||
+ | <m>lny = lnx lnx</m> | ||
+ | |||
+ | <m>lny = {ln}^2x</m> | ||
+ | |||
+ | <m>e^{{ln}^2x} = y</m> | ||
+ | |||
+ | <m>y = e^{{ln}^2x}</m> | ||
+ | |||
+ | **derivujeme az teď** | ||
+ | |||
+ | <m>y\prime = e^{{ln}^2x} . 2lnx . 1/x = x^{lnx} . 2lnx . 1/x = x^{lnx - 1} . 2lnx</m> | ||
+ | |||
+ | \\ | ||
+ | \\ | ||
+ | \\ | ||
+ | |||
+ | 3) derivaci je potreba prevest na zname vzorce | ||
+ | |||
+ | <m>y = {(x/{x + 1})}^x</m> | ||
+ | |||
+ | <m>lny = ln{(x/{x + 1})}^x</m> | ||
+ | |||
+ | <m>lny = x . ln{(x/{x + 1})}</m> | ||
+ | |||
+ | <m>e^{x . ln{(x/{x + 1})}} = y</m> | ||
+ | |||
+ | <m>y = e^{x . ln{(x/{x + 1})}}</m> | ||
+ | |||
+ | **derivujeme az teď** | ||
+ | |||
+ | <m>y\prime = e^{x . ln{(x/{x + 1})}} . [ ln{(x/{x + 1})} + x({x + 1}/x . [ {1.x + (x + 1)}/x^2 ] ) ]</m> | ||
+ | |||
</box> | </box> | ||
==== Pokračování ==== | ==== Pokračování ==== | ||
+ | |||
+ | === monotónnost, extrémy === | ||
<box round 90% blue|**Definice**> | <box round 90% blue|**Definice**> | ||
Řádek 114: | Řádek 185: | ||
Jestliže je fce diferencovatelná a rostoucí, resp. klesající, potom je <m>f^\prime(x) > 0</m>, resp. <m>f^\prime(x) < 0</m> | Jestliže je fce diferencovatelná a rostoucí, resp. klesající, potom je <m>f^\prime(x) > 0</m>, resp. <m>f^\prime(x) < 0</m> | ||
</box> | </box> | ||
+ | |||
+ | === l'Hopitalovo pravidlo === | ||
<box round 90% red|**Věta**> | <box round 90% red|**Věta**> | ||
Řádek 127: | Řádek 200: | ||
tvary <m>0.\infty, \infty - \infty, 0^0, \infty^0, 1^\infty, 1^{-\infty}</m> se dají převést na tvar <m>0/0</m> nebo <m>\infty/{\infty}</m> | tvary <m>0.\infty, \infty - \infty, 0^0, \infty^0, 1^\infty, 1^{-\infty}</m> se dají převést na tvar <m>0/0</m> nebo <m>\infty/{\infty}</m> | ||
+ | </box> | ||
+ | |||
+ | <box round 90% red|**dodatek**> | ||
+ | |||
+ | tvar <m>0.\infty (f.g)</m> převádíme na tvar <m>f/{1/g}</m> nebo <m>g/{1/f}</m> a tím na tvar <m>0/0</m> nebo <m>\infty/{\infty}</m> | ||
+ | |||
+ | tvar <m>\infty-\infty (f-g)</m> převádíme na tvar <m>f - g = {(1/g) - (1/f)}/{(1/g)(1/f)}</m> | ||
+ | |||
+ | <m>\lim{x \right 3}(6/{x^2 - 9} - 1/{x-3}) = \lim{x \right 3}({6 - (x + 3)}/{x^2 - 9}} = \lim{x \right 3}({3 - x}/{x^2 - 9}} = \lim{x \right 3}{{-1}/{2x}} = -1/6</m> | ||
+ | |||
+ | tvar <m>0^0, {\infty}^0 (f^g)</m> převádíme na tvar <m>e^{g ln f}</m>, <m>\lim{}{e^{g(x) ln f(x)}} = e^{(\lim{}{{g(x) ln f(x)}})}</m> | ||
+ | |||
+ | </box> | ||
+ | |||
+ | <box round 90% green|**příklady**> | ||
+ | |||
+ | <m>\lim{x \right 0}{{sinx}/x}</m> | ||
+ | |||
+ | dosazením 0 za x dostaneme tvar <m>0/0</m> | ||
+ | |||
+ | zderivujeme | ||
+ | |||
+ | <m>\lim{x \right 0}{{sinx\prime}/{x\prime}} = \lim{x \right 0}{{cosx}/1}</m> | ||
+ | |||
+ | dosadíme znovu 0 za x, dostaneme 1 | ||
+ | |||
+ | </box> | ||
+ | |||
+ | === Taylorova věta === | ||
+ | |||
+ | <box round 90% green|**Motivace**> | ||
+ | |||
+ | Máme fci sin(x). Naším cílem je tuto fci nahradit polynom, který ji bude s dostatečnou přesností aproximovat. Jak na to půjdeme? | ||
+ | |||
+ | předpokládáme, že: <m>sin(x) = f(x) = a_0 + a_1(x - x_0) + a_2(x - x_0)^2 + a_3(x - x_0)^3 + ...</m>, kde <m>a_i</m> jsou koeficienty polynomu, <m>x_0</m> je předem zvolená konstanta (hodnota), kolem které budeme aproximovat (volí se tak, aby daný polynom konvergoval co nejrychleji) | ||
+ | |||
+ | Jak získáme koeficienty? | ||
+ | |||
+ | <m>f(x) = a_0 + a_1(x - x_0) + a_2(x - x_0)^2 + a_3(x - x_0)^3 + ...</m> | ||
+ | |||
+ | <m>f(x)\prime = 1.a_1 + 2.a_2(x - x_0) + 3.a_3(x - x_0)^2 + 4.a_4(x - x_0)^3 + ...</m> | ||
+ | |||
+ | <m>f(x)\prime\prime = 2.1.a_2 + 3.2.a_3(x - x_0) + 4.3.a_4(x - x_0)^2 + 5.4.a_5(x - x_0)^3 + ...</m> | ||
+ | |||
+ | <m>f(x)\prime\prime\prime = 3.2.1.a_3(x - x_0) + 4.3.2.a_4(x - x_0) + 5.4.3.a_5(x - x_0)^2 + ...</m> | ||
+ | |||
+ | ... | ||
+ | |||
+ | dosadíme <m>x_0</m> za x: | ||
+ | |||
+ | <m>f(x_0) = a_0</m> | ||
+ | |||
+ | <m>f(x_0)\prime = 1.a_1</m> | ||
+ | |||
+ | <m>f(x_0)\prime\prime = 2.1.a_2</m> | ||
+ | |||
+ | <m>f(x_0)\prime\prime\prime = 3.2.1.a_3</m> | ||
+ | |||
+ | ... | ||
+ | |||
+ | <m>f(x_0)^{(n)} = n!.a_3</m> | ||
+ | |||
+ | takže | ||
+ | |||
+ | <m>a_3 = f(x_0)^{(n)}/{n!}</m> | ||
+ | |||
+ | dosadíme do polynomu: | ||
+ | |||
+ | <m>f(x) = f(x_0) + f(x_0)/{1!}(x - x_0) + f(x_0)/{2!}(x - x_0)^2 + f(x_0)/{3!}(x - x_0)^3 + ... = \sum{n = 0}{\infty}{{f^{(n)}}/{n!}(x - x_0)^n}</m> | ||
+ | |||
</box> | </box> | ||
<box round 90% red|**Věta**> | <box round 90% red|**Věta**> | ||
- | Necht f je definovana na intervalu <a;b> a <m>n \in N</m>. Nechť f je dále třídy <m>C^k</m> a v každém bodě tohoto intervalu má fce (n+1)-ní derivaci. Nechť <m>c, x \in <a;b></m>. Potom existuje bod <m>\theta</m> mezi body c a x tak, že platí | + | Necht f je definovana na intervalu <a;b> a <m>n \in N</m>. Nechť f je dále třídy <m>C^k</m> a v každém bodě tohoto intervalu má fce (n+1)-ní derivaci. Nechť <m>x_0, x \in <a;b></m>. Potom existuje bod <m>\theta</m> mezi body x_0 a x tak, že platí |
+ | |||
+ | <m>f(x) = \sum{n = 0}{\infty}{{f^{(n)}}/{n!}(x - x_0)^n}</m> | ||
+ | </box> | ||
+ | |||
+ | <box round 90% green|**Příklad**> | ||
+ | |||
+ | <m>f(x) = sin(x), x_0 = 0</m> | ||
+ | |||
+ | <m>f(x)\prime = cos(x)</m> | ||
+ | |||
+ | <m>f(x)\prime\prime = -sin(x)</m> | ||
+ | |||
+ | <m>f(x)\prime\prime\prime = -cos(x)</m> | ||
+ | |||
+ | <m>f(x)^{(4)} = sin(x)</m> | ||
+ | |||
+ | ... | ||
+ | |||
+ | <m>f(0) = 0</m> | ||
+ | |||
+ | <m>f(0)\prime = 1</m> | ||
+ | |||
+ | <m>f(0)\prime\prime = 0</m> | ||
+ | |||
+ | <m>f(0)\prime\prime\prime = -1</m> | ||
+ | |||
+ | <m>f(0)^{(4)} = 0</m> | ||
+ | |||
+ | ... | ||
+ | |||
+ | <m>sin(x) = x - {x^3}/{3!} + {x^5}/{5!} - {x^7}/{7!} + ... + (-1)^{m - 1} . {x^{2m - 1}}/{(2m - 1)!} + R_m{x}</m> | ||
+ | |||
+ | Dále: | ||
+ | |||
+ | <m>cos(x) = 1 - {x^2}/{2!} + {x^4}/{4!} - {x^6}/{6!} + ... + (-1)^m . {x^{2m}}/{(2m)!} + R_m{x}</m> | ||
+ | |||
+ | <m>e^x = 1 + x/{1!} + {x^2}/{2!} + {x^3}/{3!} + {x^4}/{4!} + ... + + {x^n}/{n!} + R_n{x}</m> | ||
+ | |||
+ | Perlička: | ||
+ | |||
+ | <m>e^{ix} = 1 + {ix}/{1!} + {{ix}^2}/{2!} + {{ix}^3}/{3!} + {{ix}^4}/{4!} + ... + + {{ix}^n}/{n!} + R_n{x}</m> | ||
+ | |||
+ | <m>e^{ix} = 1 + i{x}/{1!} - {{x}^2}/{2!} - i{{x}^3}/{3!} + {{x}^4}/{4!} + ... + + {{ix}^n}/{n!} + R_m{x}</m> | ||
+ | |||
+ | <m>e^{ix} = 1 - {{x}^2}/{2!} + {{x}^4}/{4!} + ... + i{x}/{1!} - i{{x}^3}/{3!} + ... + {{ix}^n}/{n!} + R_m{x}</m> | ||
+ | |||
+ | <m>e^{ix} = (1 - {{x}^2}/{2!} + {{x}^4}/{4!}) + ... + i({x}/{1!} - {{x}^3}/{3!}) + ... + {{ix}^n}/{n!} + R_m{x}</m> | ||
+ | |||
+ | <m>e^{ix} = cos(x) + isin(x)</m> | ||
- | <m>f(x) = \sum{n = 0}{\infty}{{f^{(n)}}/{n!}(x - c)^n}</m> | ||
</box> | </box> | ||
==== Průběh fce ==== | ==== Průběh fce ==== | ||
+ | |||
+ | === lokální extrémy pokračování === | ||
<box round 90% red|**Věta**> | <box round 90% red|**Věta**> | ||
Řádek 146: | Řádek 339: | ||
jesliže je n sudé, potom má fce f v bodě c lokální extrém, <m>f^{(n)}(c) < 0</m> maximum, <m>f^{(n)}(c) > 0</m> minimum. | jesliže je n sudé, potom má fce f v bodě c lokální extrém, <m>f^{(n)}(c) < 0</m> maximum, <m>f^{(n)}(c) > 0</m> minimum. | ||
</box> | </box> | ||
+ | |||
+ | === Konvexnost, konkávnost, inflexe === | ||
<box round 90% blue|**Definice**> | <box round 90% blue|**Definice**> | ||
Řádek 164: | Řádek 359: | ||
jesliže je n liché, potom má fce f v bodě c inflexy. | jesliže je n liché, potom má fce f v bodě c inflexy. | ||
</box> | </box> | ||
+ | |||
+ | === Asymptoty === | ||
<box round 90% blue|**Definice**> | <box round 90% blue|**Definice**> | ||
Řádek 183: | Řádek 380: | ||
Analogicky pro <m>x \right -\infty^{+}}</m> | Analogicky pro <m>x \right -\infty^{+}}</m> | ||
+ | |||
+ | </box> | ||
+ | |||
+ | <box round 90% green|**Cvičení**> | ||
+ | |||
+ | http://mathonline.fme.vutbr.cz/download.aspx?id_file=870 | ||
</box> | </box> | ||
Řádek 188: | Řádek 391: | ||
===== Potvrzení ===== | ===== Potvrzení ===== | ||
- | <doodle single login|XX> | + | <doodle single login|17a1> |
^ OK ^ !!! ^ | ^ OK ^ !!! ^ | ||
</doodle> | </doodle> |