Today's Topic
$$\left(e^x\right)'=e^x$$
$$\left(a^x\right)'=a^x \log a $$
この記事を読むと、この意味がわかる！
- 指数関数の微分公式
- 指数関数の微分公式の導出方法とそのコツ
指数関数の微分
指数関数の微分は、べき関数\(y=x^n\)とは異なり、\(y=2^x\)のように指数が変数である関数の微分を考えます。
基本的に数Ⅲでは\(e^x\)の登場回数が多いですが、もちろん\(2^x\)などの関数も出番がないわけではありません。
そこでまずは、\(e^x\)の微分公式を証明し、次に一般的な指数関数の微分公式を証明していきたいと思います。
\(e^x\)の微分公式 証明
ポイント
$$\left(e^x\right)'=e^x$$
それでは証明していきます。
\(f(x)=e^x\)とし、
について考えてみましょう。
指数法則から
ポイント
$$e^{x+h}=e^x\cdot e^h$$
と分解することができますね。
指数法則について復習したい人はこちらを参考にしてください。
-
-
【整数の指数法則】なぜ0乗が1なのか、息をするようにわかる指数法則
続きを見る
この変形を用いて、\(f'(x)\)を考えます。
最後の式に着目すると、\(e^x\)は変数\(h\)を含んでいないので、
ですね。
つまり、根本的な問題は
が求められるかどうか、というわけです。
根本的な問題の解決策
を解決するためには、ネイピア数の定義そのものに着目します。
ネイピア数の定義
$$e=\lim_{n\rightarrow \infty}\left(1+\frac{1}{n}\right)^n$$
ネイピア数について復習したい人はこちらを参考にしてください。
-
-
自然対数、ネイピア数とは？なぜあの定義なのか、何が自然なのか。お金の話で超簡単に理解できる！！
続きを見る
このネイピア数の定義で登場する\(n\)を\(\frac{1}{u}\)に書き換えてみましょう。
\(n\rightarrow\infty\)のとき、\(u=\frac{1}{n}\)ならば、
なので、ネイピア数の定義は
と置き換えられますね。
この両辺に自然対数を取ると、
となります。
\( \log \left(1+u\right)=h\)（つまり\(1+u=e^h\)）とおくと、
なので、
\(\log e =1\) より
逆数をとってみると、
が得られます。
よって、
となり、
が得られます。
一般的な指数関数\(a^x\)の微分 証明
ポイント
$$\left(a^x\right)'=a^x \log a $$
\(e^x\)の微分公式と
- \(a^x=e^{x\cdot \log a}\)
- 合成関数の微分公式
を用いることで、
と変形することができるので、
が証明できました。
合成関数の微分公式について復習したい人はこちらを参考にしてください。
-
-
【合成関数の微分法】のコツと証明→「約分」感覚でOK！小学生もできます。
続きを見る
まとめ
まとめ
- 指数関数\(y=e^x\)の微分公式を求めるためには、
微分の定義→根本的な問題の切り出し→ネイピア数を用いた解決
の順に考えれば良い。 - 指数関数\(y=a^x\)の微分公式を求めるためには、
\(a^x=e^{x\cdot \log a}\)→\(y=e^x\)に帰着
して考えれば良い。 -
$$\left(e^x\right)'=e^x$$
-
$$\left(a^x\right)'=a^x \log a $$
指数関数の微分公式は、とにかく\(e^x\)の微分に全てがかかっていると言っても過言ではありません。
またこの\(e^x\)の微分公式をみると、微分しても形が変わらないというかなり独特の特性があることがわかります。
以上、「指数関数の微分法」についてでした。
