おいしい数学HOMEへのリンク

指数,対数関数の微分

タイプ:教科書範囲 レベル:★★ 


アイキャッチ

このページでは対数関数から微分を考え,それに伴い登場する $e$ の定義を紹介し,指数,対数関数の微分の問題を扱います.





指数・対数関数の微分公式

ポイント

指数,対数関数の微分

$a > 0,a\neq 1$ のとき

(ⅰ) $\displaystyle \boldsymbol{(a^{x})'=a^{x}\log a}$

↓ 特に $a=e$

(ⅱ) $\displaystyle \boldsymbol{(e^{x})'=e^{x}}$


(ⅲ) $\displaystyle \boldsymbol{(\log_{a} x)'=\dfrac{1}{x\log a}}$

 $\displaystyle \boldsymbol{(\log_{a}|x|)'=\dfrac{1}{x\log a}}$

↓ 特に $a=e$

(ⅳ) $\displaystyle \boldsymbol{(\log x)'=\dfrac{1}{x}}$

 $\displaystyle \boldsymbol{(\log_{}|x|)'=\dfrac{1}{x}}$


対数関数の微分公式から考えることでストーリーがわかりやすいと思っています.次の章で(ⅲ)の証明をします.




対数関数の微分と $e$ の定義登場

(ⅲ)の証明,つまり $f(x)=\log_{a} x$ の微分を導関数の定義を使って考えます.


$f(x)=\log_{a} x$ とおくと

 $f'(x)$

$\displaystyle =\lim_{h\to 0}\dfrac{f(x+h)-f(x)}{h}$ ←導関数の定義

$\displaystyle =\lim_{h\to 0}\dfrac{\log_{a}(x+h)-\log_{a}x}{h}$

$\displaystyle =\lim_{h\to 0}\dfrac{1}{h}\log_{a}\dfrac{x+h}{x}$

$\displaystyle =\lim_{h\to 0}\log_{a}\left(1+\dfrac{h}{x}\right)^{\frac{1}{h}}$

  ↓ $\displaystyle \dfrac{h}{x}=t$

$\displaystyle =\lim_{t\to 0}\log_{a}(1+t)^{\frac{1}{t x}}$

$\displaystyle =\lim_{t\to 0}\log_{a}\left\{(1+t)^{\frac{1}{t}}\right\}^{\frac{1}{x}} \ \cdots$ ☆


果たして上の極限 $\displaystyle \boldsymbol{\lim_{t\to 0}(1+t)^{\frac{1}{t}}}$ はどうなるでしょうか.$1$ でしょうか $\infty$ でしょうか.それとも他の値でしょうか.

これに関しては, $\boldsymbol{1}$ でも $\boldsymbol{\infty}$ でもない,およそ $\boldsymbol{2.71828\cdots}$ 程度の値に収束することがわかっていて,この極限値を $\boldsymbol{e}$ と定義します.



ポイント

$e$ の定義

(Ⅰ) $\displaystyle \boldsymbol{\lim_{t\to 0}(1+t)^{\frac{1}{t}}=e}$

また,他の表現として

(Ⅱ) $\displaystyle \boldsymbol{\lim_{n\to \infty}\left(1+\dfrac{1}{n}\right)^{n}=e}$

(Ⅲ) $\displaystyle \boldsymbol{\lim_{h\to 0}\dfrac{e^{h}-1}{h}=1}$

を $e$ の定義としているものもある.


高校の検定教科書では(Ⅰ)で定義していますが,どれが $e$ の定義でも間違えではありません.大学も含めたより一般的には(Ⅱ)で定義され,(Ⅱ)から(Ⅰ)(Ⅲ)を導くことが多いです.

$e$ の定義を使った問題や,$e$ がなぜ存在するか等の内容は $e$ の定義で深く扱います.



改めて(ⅲ)の証明

(ⅲ)の証明

$f(x)=\log_{a} x$ とおくと

 $f'(x)$

$\displaystyle =\lim_{h\to 0}\dfrac{f(x+h)-f(x)}{h}$ ←導関数の定義

$\displaystyle =\lim_{h\to 0}\dfrac{\log_{a}(x+h)-\log_{a}x}{h}$

$\displaystyle =\lim_{h\to 0}\dfrac{1}{h}\log_{a}\dfrac{x+h}{x}$

$\displaystyle =\lim_{h\to 0}\log_{a}\left(1+\dfrac{h}{x}\right)^{\frac{1}{h}}$

  ↓ $\displaystyle \dfrac{h}{x}=t$

$\displaystyle =\lim_{t\to 0}\log_{a}(1+t)^{\frac{1}{t x}}$

$\displaystyle =\lim_{t\to 0}\log_{a}\left\{(1+t)^{\frac{1}{t}}\right\}^{\frac{1}{x}}$

$\displaystyle =\log_{a}{\color{red}{e}}^{\frac{1}{x}}$

$\displaystyle =\dfrac{\log_{a}e}{x}$

$\displaystyle =\dfrac{1}{x\log_{e}a}$

$\displaystyle =\dfrac{1}{x\log a} \ \cdots $ ♪


底が $e$ のときは♪のようにしばしば底を省略します.

$(\log_{a}|x|)'=\dfrac{1}{x\log a}$ の証明は下に格納しました.



$(\log_{a}|x|)'=\dfrac{1}{x\log a}$ の証明

証明


指数関数の微分の証明は練習問題で扱います.




例題と練習問題

例題

例題

次の関数を微分せよ.

(1) $y=\log_{}(x^{2}+4)$

(2) $y=\log_{2}|3x|$

(3) $y=3^{x^{2}}$

(4) $y=e^{-2x}$


講義

上の公式を使いますが,積の微分と商の微分合成関数の微分も使います.


解答

(1)

$\boldsymbol{y'}=\dfrac{1}{x^{2}+4}(x^{2}+4)'\boldsymbol{=\dfrac{2x}{x^{2}+4}}$


(2)

$\boldsymbol{y'}=\dfrac{1}{3x\log 2}(3x)'\boldsymbol{=\dfrac{1}{x\log 2}}$


(3)

$\boldsymbol{y'}=3^{x^{2}}\log 3 \cdot(x^{2})'\boldsymbol{=2(\log 3)x \cdot 3^{x^{2}}}$


(4)

$\boldsymbol{y'}=e^{-2x}(-2x)'\boldsymbol{=-2e^{-2x}}$



練習問題

練習1

導関数の定義を用いて,$f(x)=a^{x}$ を微分せよ.


練習2

次の関数を微分せよ.

(1) $y=5^{x^{2}+x}$

(2) $y=(\log_{}x)^{2}$

(3) $y=e^{x}\sin x$

(4) $y=\dfrac{e^{x}-e^{-x}}{e^{x}+e^{x}}$

練習の解答



ノートに戻る