初等関数の導関数
以前書いた記事, 「初等関数の導関数」では
- 定数関数
- 次単項式
- , ( が0以外の実数)
- 対数関数
- 指数関数
- 三角関数
の導関数を紹介しました. この記事では, それらを導出します.
導出.
1. 定数関数
定義により,
2. 単項式
, ( は自然数)定義より
3. 2.でn が自然数でない場合
・まず, , は自然数と書ける場合について,逆関数の微分を使います.
は なので,
となるので,
次に, が有理数 ()の場合, として合成関数の微分を使うと, 同様に
となります.
が無理数の場合については, ここでは省きますが, 実数の無理数乗が数列の収束する値として定義されていることを使うこと(*1)で同様に示せます.
(*1) : -->「指数」
4. 対数関数
自然対数の底 の定義を使います.のとき,
5. 指数関数
のとき,
ここで, とおくと, のとき で,
より, .
ここで, 再び の定義を使うと,
なので,
6. 三角関数
のとき,
但し,
を使っています.
の微分も同様に計算すると となります.
これは, を利用して, 合成関数の微分でも求められます.
の微分も, 定義に当てはめるよりも
を利用して分数関数の微分を使うと