IntegralLab kolik se toho nasbíralo

Tohle je statická kopie kapitoly pro vyhledávače. Interaktivní verze má animované obrázky, kontrolní otázky a tlačítka, která příklad načtou do kalkulačky.

Pravidla — a proč jich je tak málo

Derivace má pravidlo pro součin, podíl, složení i mocninu, a všechna se dají použít mechanicky. Integrál má tatáž pravidla čtená zprava doleva — a to je celý seznam.

u derivaceu integrálu
linearitalinearita — jediné, co funguje pokaždé
řetízkové pravidlosubstituce
pravidlo pro součinper partes
pravidlo pro podílrozklad na parciální zlomky (jen pro racionální fce)
∫ (a·f + b·g) dx = a·∫f dx + b·∫g dxlinearita — jediná jistota
∫ f(g(x))·g′(x) dx = ∫ f(u) du, u = g(x)substituce = řetízkové pravidlo pozpátku
∫ u·v′ dx = u·v − ∫ u′·v dxper partes = pravidlo pro součin pozpátku

Co u integrálu NENÍ

Tohle je místo, kde se nejčastěji chybuje, a stojí za to napsat to velkými písmeny:

Integrál součinu není součin integrálů. ∫(f·g) ≠ (∫f)·(∫g). Ani náhodou, ani přibližně. Totéž pro podíl. Derivace má aspoň pravidlo, které řekne, co se součinem udělat; integrál má jen per partes, a to úlohu nevyřeší — jen ji vymění za jinou, v naději, že bude snazší.

A většina integrálů prostě nejde

Následující funkce jsou dokonale hladké, spojité a nekomplikované — a žádná z nich nemá primitivní funkci mezi elementárními funkcemi:

funkcekde se potká
e^(−x²)Gaussovo rozdělení, veškerá statistika — StatLab
sin(x)/xodezva ideálního filtru — FourierLab
√(1 + cos²x)délka sinusoidy — obyčejná geometrie
e^x/xvedení tepla
√(1 − k²sin²θ)perioda kyvadla při velkých výkyvech

Není to obtížnost, je to dokázaná neexistence (Liouville, 1835). Proto se zbytek téhle labky věnuje numerice: v technice se integrál skoro nikdy nepočítá vzorcem.

Délka sinusoidy. Nakreslit ji umí dítě. Spočítat její délku vzorcem neumí nikdo — vede to na eliptický integrál. Když se v kapitole 4 objeví numerická kvadratura, není to náhradní řešení pro lenochy; je to jediné řešení i pro tuhle triviálně vypadající úlohu.

Vzorce v této kapitole

∫u v′ — per partes
∫ u v′ dx = u v − ∫ u′ v dx [—] kap. 3
subst — substituce
∫ f(g)·g′ dx = ∫ f(u) du [—] kap. 3