Součinové pravidlo

Součinové pravidlo v diferenciálním počtu je vzorec používaný pro derivaci součinu dvou nebo více funkcí. Může být zapsáno takto:

(f\cdot g)'=f'\cdot g+f\cdot g'\,\!

.

nebo v Leibnizově notaci takto:

{\dfrac {d}{dx}}(u\cdot v)=u\cdot {\dfrac {dv}{dx}}+v\cdot {\dfrac {du}{dx}}

.

V notaci diferenciálů je lze zapsat takto:

d(uv)=u\,dv+v\,du

.

Derivace součinu tří funkcí je:

{\dfrac {d}{dx}}(u\cdot v\cdot w)={\dfrac {du}{dx}}\cdot v\cdot w+u\cdot {\dfrac {dv}{dx}}\cdot w+u\cdot v\cdot {\dfrac {dw}{dx}}

.

Objev

Objev tohoto pravidla je připisován Gottfriedu Leibnizovi, který jej dokázal pomocí diferenciálů^[1]. Ale Child (2008) dokazuje, že autorem je Isaac Barrow. Zde je Leibnizův důkaz: Nechť u(x) a v(x) jsou dvě derivovatelné funkce proměnné x. Pak derivace uv je

{\begin{aligned}d(u\cdot v)&{}=(u+du)\cdot (v+dv)-u\cdot v\\&{}=u\cdot dv+v\cdot du+du\cdot dv.\end{aligned}}

Protože term du·dv je „zanedbatelný“ (v porovnání s du a dv), Leibniz odvodil, že

d(u\cdot v)=v\cdot du+u\cdot dv\,\!

a toto je vskutku diferenciální tvar součinového pravidla. Jeho vydělením diferenciálem dx získáme

{\frac {d}{dx}}(u\cdot v)=v\cdot {\frac {du}{dx}}+u\cdot {\frac {dv}{dx}}\,\!

což lze také zapsat v Lagrangeově notaci jako

(u\cdot v)'=v\cdot u'+u\cdot v'.\,\!

Předpokládejme, že chceme derivovat ƒ(x) = x² sin(x). Použitím součinového pravidla, dostaneme derivaci ƒ '(x) = 2x sin(x) + x²cos(x) (protože derivace funkce x² je 2x a derivace funkce sin(x) je cos(x)).
Speciálním případem součinového pravidla je pravidlo násobení konstantou, které říká:, jestliže c je reálné číslo a ƒ(x) je derivovatelná funkce, pak cƒ(x) je také derivovatelná a jeho derivace je (c × ƒ)'(x) = c × ƒ '(x). Je to důsledek součinového pravidla, protože derivace libovolné konstanty je nula. Z tohoto pravidla a součtového pravidla pro derivaci plyne, že derivace je lineární.
Pravidlo pro integraci per partes je odvozeno ze součinového pravidla, stejně jako (slabá verze) podílového pravidla. („slabá“ verze nedokazuje, že je podíl derivovatelný, ale pouze říká, jaká je jeho derivace, pokud derivovatelný je.)

Součinové pravidlo můžeme považovat za speciální případ řetízkového pravidla pro více proměnných.

{d(ab) \over dx}={\frac {\partial (ab)}{\partial a}}{\frac {da}{dx}}+{\frac {\partial (ab)}{\partial b}}{\frac {db}{dx}}=b{\frac {da}{dx}}+a{\frac {db}{dx}}.\,

V tomto článku byl použit překlad textu z článku Product rule na anglické Wikipedii.

↑ Michelle Cirillo. Humanizing Calculus. Mathematics Teacher. August 2007. Dostupné online. ^{[nedostupný zdroj]}

Child, J. M. (2008) "The early mathematical manuscripts of Leibniz", Gottfried Wilhelm Leibniz, překlad J. M. Child; strana 29, poznámka 58.