ライプニッツの公式の証明と二項定理

ライプニッツの公式は，2つの関数 $f(x),g(x)$ の積の $n$ 階微分 $(fg)^{(n)}$ を計算するための公式です。

例えば，ライプニッツの公式 $(fg)^{(n)}={\displaystyle \sum_{k=0}^{n} {}_n\mathrm{C}_kf^{(k)}g^{(n-k)}}$ で $n=1$ としてみると $$(fg)'={\displaystyle \sum_{k=0}^{1} {}_1\mathrm{C}_kf^{(k)}g^{(1-k)}}=f'g+fg'$$ となり，高校数学で習う「積の微分公式」になります。→積の微分公式とその証明の味わい

• $n=2$ の場合，$$(fg)^{\prime\prime}=f^{\prime\prime}g+2f'g'+fg^{\prime\prime}$$
• $n=3$ の場合，$$(fg)^{\prime\prime\prime}=f^{\prime\prime\prime}g+3f^{\prime\prime}g'+3f'g^{\prime\prime}+fg^{\prime\prime\prime}$$

となります。このように，$fg$ の微分を「$f$ の微分」と「$g$ の微分」で表すことができます。二項係数が出てくるのが面白いです！　$n$ が小さい場合の二項係数はパスカルの三角形を書けばすぐにわかりますね。

数学的帰納法でライプニッツの公式を証明します。

本質的には二項定理の証明と同じです。

• ライプニッツの公式：$$(fg)^{(n)}={\displaystyle \sum_{k=0}^{n} {}_n\mathrm{C}_kf^{(k)}g^{(n-k)}}$$と二項定理： $$(f+g)^{n}={\displaystyle \sum_{k=0}^{n} {}_n\mathrm{C}_kf^{k}g^{n-k}}$$ はとても似ています。

• $n$ が一般の場合のライプニッツの公式を使う機会は少ないですが， 二項定理と同じ形で書けるという事実は覚えておくとよいでしょう。

積の微分公式 $(fg)'=f'g+fg'$ に対して微分の回数を一般化したものがライプニッツの公式です。

では掛け算する関数の数を一般化したらどうなるでしょうか？例えば，関数3つの積の微分は以下の公式で計算できます。 $$(fgh)'=f'gh+fg'h+fgh'$$ この公式は入試などでも時短に役立ちます。

より一般に，掛け算する関数の数を $m$ 個に増やし，$f_1f_2\cdots f_m$ の微分公式を考えます。この $n$ 階微分を考えると以下のような公式が得られます：

見た目はとても複雑ですが，これは多項定理： $$(f_1+f_2+\cdots +f_m)^{n}={\displaystyle\sum_{k_i\geq 0, \sum k_i=n}\left({\displaystyle\dfrac{n!}{\prod_{i=1}^{m} k_i!}\prod_{i=1}^{m}f_i^{k_i}}\right)}$$ と全く同じ形をしています。証明は煩雑なので省略しますが，本質的には多項定理の証明と同じです。→多項定理の例題と2通りの証明

ライプニッツの定理はマクローリン展開（テイラー展開）の計算で役に立ちます。

例えば Arctanのマクローリン展開の３通りの方法 をご覧ください。

Tag:数学的帰納法をわかりやすく【例題3問、応用5パターン】