Загальне правило Лейбніца — в диференціальному численні, це узагальнення правила добутку для обчислення n-ої похідної. Назване на честь Готфріда Вільгельма Лейбніца.
Воно стверджує, що якщо
та
є n-раз диференційовними функціями, тоді добуток
також є n-раз диференційовним і n-та похідна рівна
![{\displaystyle (fg)^{(n)}=\sum _{k=0}^{n}{n \choose k}f^{(n-k)}g^{(k)},}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8QoDrAoAo1aDBFotw1ygeNz2oNaAs0o2oPyja5ataOnjGNoqoQzAs4)
де
— біноміальний коефіцієнт, а
позначає j-ту похідну від f (зокрема
).
Формула доводиться використанням правила добутку та математичної індукції.
![{\displaystyle (f\cdot g)''=\sum \limits _{k=0}^{2}{{\binom {2}{k}}f^{(2-k)}g^{(k)}}=f''\cdot g+2f'\cdot g'+f\cdot g''}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Eo2sOaNe2yjwOaji5oDe0z2wQaAeQajs4zqe2otlEyqiNags4nDhC)
Формула узагальнюється для m диференційовних функцій f1,...,fm.
![{\displaystyle \left(f_{1}f_{2}\cdots f_{m}\right)^{(n)}=\sum _{k_{1}+k_{2}+\cdots +k_{m}=n}{n \choose k_{1},k_{2},\ldots ,k_{m}}\prod _{1\leq t\leq m}f_{t}^{(k_{t})}\,,}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9DzgvCoqa1aqvCajK4nthBzqoQytrFags2z2a4ztzDzAdEaDK4oAoQ)
сума береться по всіх m-кортежах (k1,...,km) не від'ємних цілих із
де
— мультиноміальні коефіцієнти.
Доведення методом математичної індукції. Для
формула:
справедлива, бо є відомим правилом добутку. Нехай твердження справедливе для деякого
тобто
![{\displaystyle (fg)^{(n)}=\sum _{k=0}^{n}{\binom {n}{k}}f^{(n-k)}g^{(k)}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FoNe4atsOyjG0nDw1aAe0aAe1oAzAzjiOnqvEz2oQoqw4zDa1nja5)
Тоді,
![{\displaystyle {\begin{aligned}(fg)^{(n+1)}&=\left[\sum _{k=0}^{n}{\binom {n}{k}}f^{(n-k)}g^{(k)}\right]'\\&=\sum _{k=0}^{n}{\binom {n}{k}}f^{(n+1-k)}g^{(k)}+\sum _{k=0}^{n}{\binom {n}{k}}f^{(n-k)}g^{(k+1)}\\&=\sum _{k=0}^{n}{\binom {n}{k}}f^{(n+1-k)}g^{(k)}+\sum _{k=1}^{n+1}{\binom {n}{k-1}}f^{(n+1-k)}g^{(k)}\\&={\binom {n}{0}}f^{(n+1)}g^{(0)}+\sum _{k=1}^{n}{\binom {n}{k}}f^{(n+1-k)}g^{(k)}+\sum _{k=1}^{n}{\binom {n}{k-1}}f^{(n+1-k)}g^{(k)}+{\binom {n}{n}}f^{(0)}g^{(n+1)}\\&={\binom {n+1}{0}}f^{(n+1)}g^{(0)}+\left(\sum _{k=1}^{n}\left[{\binom {n}{k-1}}+{\binom {n}{k}}\right]f^{(n+1-k)}g^{(k)}\right)+{\binom {n+1}{n+1}}f^{(0)}g^{(n+1)}\\&={\binom {n+1}{0}}f^{(n+1)}g^{(0)}+\sum _{k=1}^{n}{\binom {n+1}{k}}f^{(n+1-k)}g^{(k)}+{\binom {n+1}{n+1}}f^{(0)}g^{(n+1)}\\&=\sum _{k=0}^{n+1}{\binom {n+1}{k}}f^{(n+1-k)}g^{(k)}.\end{aligned}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PytsPzDo5atm4zDw1aNlAnqi1oDo0z2vAzDoPoDw3ngoNajrEzgeN)
Тобто твердження справедливе для
, що і потрібно було довести.
...