ライプニッツの法則
ライプニッツの法則
\(f,g\)は\(n\)回微分可能な関数とする。
\[ \left(fg\right)^{(n)}=\sum_{k=0}^{n}C(n,k)f^{(k)}g^{(n-k)} \]
\(f,g\)は\(n\)回微分可能な関数とする。
\[ \left(fg\right)^{(n)}=\sum_{k=0}^{n}C(n,k)f^{(k)}g^{(n-k)} \]
\(n=0\)のとき成立
\(n=j\)のとき成立すると仮定
\begin{align*} \left(fg\right)^{(j+1)} & =\left(\left(fg\right)^{(j)}\right)'\\ & =\left(\sum_{k=0}^{j}C(j,k)f^{(k)}g^{(j-k)}\right)'\\ & =\sum_{k=0}^{j}C(j,k)\left(f^{(k+1)}g^{(j-k)}+f^{(k)}g^{(j-k+1)}\right)\\ & =\sum_{k=1}^{j+1}C(j,k-1)f^{(k)}g^{(j-k+1)}+\sum_{k=0}^{j}C(j,k)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}C(j,k-1)f^{(k)}g^{(j-k+1)}+\sum_{k=0}^{j+1}C(j,k)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}\left(C(j,k-1)+C(j,k)\right)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}C(j+1,k)f^{(k)}g^{(j+1-k)} \end{align*} これより\(n=j+1\)でも成立。
故に与式は成り立つ。
\(n=j\)のとき成立すると仮定
\begin{align*} \left(fg\right)^{(j+1)} & =\left(\left(fg\right)^{(j)}\right)'\\ & =\left(\sum_{k=0}^{j}C(j,k)f^{(k)}g^{(j-k)}\right)'\\ & =\sum_{k=0}^{j}C(j,k)\left(f^{(k+1)}g^{(j-k)}+f^{(k)}g^{(j-k+1)}\right)\\ & =\sum_{k=1}^{j+1}C(j,k-1)f^{(k)}g^{(j-k+1)}+\sum_{k=0}^{j}C(j,k)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}C(j,k-1)f^{(k)}g^{(j-k+1)}+\sum_{k=0}^{j+1}C(j,k)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}\left(C(j,k-1)+C(j,k)\right)f^{(k)}g^{(j-k+1)}\\ & =\sum_{k=0}^{j+1}C(j+1,k)f^{(k)}g^{(j+1-k)} \end{align*} これより\(n=j+1\)でも成立。
故に与式は成り立つ。
ページ情報
| タイトル | ライプニッツの法則 |
| URL | https://www.nomuramath.com/vmslu9zp/ |
| SNSボタン |
ルートの中に2乗を含む積分
\[
\int f\left(\sqrt{a^{2}-x^{2}}\right)dx=a\int f\left(a\cos t\right)\cos tdt\cnd{x=a\sin t}
\]
微分の基本公式
\[
\left(f(x)g(x)\right)'=f'(x)g(x)+f(x)g'(x)
\]
微分と積分の関係
\[
f\left(x\right)=\int_{f^{\bullet}\left(a\right)}^{x}f'\left(x\right)dx-a
\]
微分形接触型積分
\[
\int f'(g(x))g'(x)dx=f(g(x))
\]