微分の定義について確認ができたので,公式の証明を行っていく。
問題

説明
基本形についての公式。

高次導関数の微分は,大抵は複雑な形をしているが,いずれも数学的帰納法により証明できる。

解答
今回は,証明のために増分による表示を用いる。

積の増分を求めて,各項の極限をとることで公式を示す。

商の微分を示すためには,逆数の微分が示せればよい。

合成関数の微分は,無限小の扱いに注意。


逆関数の微分は容易に示せる。

積の高次導関数については,帰納法で正しいことを示す。途中,コンビネーションの公式を用いて変形する。

本記事のもくじはこちら: