指数関数，対数関数の導関数

...(�ｰ�｣迚�)繝｡繝九Η繝ｼ縺ｫ謌ｻ繧�
*** 遘醍岼 ***
謨ｰ竇�繝ｻ�｡謨ｰ竇｡繝ｻ�｢謨ｰ竇｢鬮伜穀繝ｻ螟ｧ蟄ｦ蛻晏ｹｴ蠎ｦ
*** 蜊伜� ***
隍�ｴ�謨ｰ蟷ｳ髱｢莠梧ｬ｡譖ｲ邱�蟐剃ｻ句､画焚陦ｨ遉ｺ縺ｨ讌ｵ蠎ｧ讓�
謨ｰ蛻励�讌ｵ髯�髢｢謨ｰ蟆朱未謨ｰ荳榊ｮ夂ｩ榊�螳夂ｩ榊�
陦悟�1谺｡螟画鋤

窶ｻ鬮俶�｡謨ｰ蟄ｦ竇｢縺ｮ縲悟ｾｮ蛻��蟆朱未謨ｰ縲阪↓縺､縺�※�後％縺ｮ繧ｵ繧､繝医↓縺ｯ谺｡縺ｮ謨呎攝縺後≠繧翫∪縺呻ｼ�
縺薙�鬆√∈Google繧ШAHOO ! 縺ｪ縺ｩ縺ｮ讀懃ｴ｢縺九ｉ逶ｴ謗･譚･縺ｦ縺励∪縺｣縺溘�縺ｧ縲悟燕謠舌→縺ｪ縺｣縺ｦ縺�ｋ蜀�ｮｹ縺悟�縺九ｉ縺ｪ縺�阪→縺�≧蝣ｴ蜷医ｄ縲後％縺ｮ鬆√�蛻�°縺｣縺溘′繧ゅ▲縺ｨ蠢懃畑蝠城｡後ｒ隕九◆縺�阪→縺�≧蝣ｴ蜷医��御ｻ悶�鬆√ｒ隕九※縺上□縺輔＞��縲縺檎樟蝨ｨ蝨ｰ縺ｧ縺呻ｼ�

竊�蠕ｮ蛻�ｿよ焚,騾｣邯�,蠕ｮ蛻�庄閭ｽ

竊�遨阪�蠕ｮ蛻�
竊�蝠�,蛻�焚髢｢謨ｰ縺ｮ蠕ｮ蛻�
竊�蜷域�髢｢謨ｰ縺ｮ蠕ｮ蛻�
竊�辟｡逅�未謨ｰ縺ｮ蠕ｮ蛻�

竊�蟐剃ｻ句､画焚陦ｨ遉ｺ縺ｮ縺ｨ縺阪�蠕ｮ蛻�ｳ�
竊�蜷�(2)
竊�髯ｰ髢｢謨ｰ縺ｮ蠕ｮ蛻�ｳ�

竊�驥崎ｦ√↑讌ｵ髯仙､(1)_荳芽ｧ帝未謨ｰ
竊�荳芽ｧ帝未謨ｰ縺ｮ蠕ｮ蛻�
竊�荳芽ｧ帝未謨ｰ縺ｮ蠕ｮ蛻�(2)
竊�謖�焚髢｢謨ｰ,蟇ｾ謨ｰ髢｢謨ｰ縺ｮ蠕ｮ蛻�-迴ｾ蝨ｨ蝨ｰ
竊�蟇ｾ謨ｰ蠕ｮ蛻�ｳ�

竊�蠕ｮ蛻�ｼ育ｷ丞粋貍皮ｿ抵ｼ�
竊�貍ｸ霑醍ｷ壹�譁ｹ遞句ｼ�
竊�蜷�(2)
竊�蜃ｹ蜃ｸ縺ｨ螟画峇轤ｹ
竊�邱丞粋--蠅玲ｸ�.讌ｵ蛟､.蜃ｹ蜃ｸ.螟画峇轤ｹ.貍ｸ霑醍ｷ�(1)
竊�蛻�焚髢｢謨ｰ縺ｮ蠅玲ｸ�.讌ｵ蛟､.貍ｸ霑醍ｷ�
繧ｰ繝ｩ繝輔�讎ょｽ｢縺ｨ貍ｸ霑醍ｷ夲ｼ井ｸ隕ｧ��

*** 数学Ⅱ（多項式まで） ***

微分係数

増減表

*** 高卒から大学初年度程度 ***

← PC用は別頁

== 指数関数，対数関数の導関数 ==

　自然対数の底（ネイピア数）に関係する極限値の取り扱いは，かなり骨折れる作業になる．
　このページでは，指数関数や対数関数の微分公式を先に練習して，（楽しく）基本問題が解けることを目指す．それらの根拠となっている自然対数の底（ネイピア数）に関係する極限値の取り扱いは，難行苦行になるので後回しにする．

【要約】
• 定数

e = 2.718281828459041 \dots

は「自然対数の底」または「ネイピア数」（ネイピア：対数を研究した学者の名．16～17世紀，イギリス）と呼ばれる．
（最初の3桁が言えれば十分であるが，「鮒2.7一鉢二鉢1828一鉢二鉢1828至極459惜しい045」という有名な覚え方があって，16桁まで簡単に言える）
•

y = a^{x} (a > 0, a \neq 1)

の形の関数を「aを底ていとする指数関数」という．

• 定数e=2.18 ···を底とする指数関数を使うと，微分の計算が簡単になる．

y = e^{x} \to y^{'} = e^{x}

…(1)
（この公式の証明は，このページの下の方にあります．先に公式の使い方の練習をします．）
　底がe以外の数の場合には，微分の計算は少しややこしくなる．

y = a^{x} \to y^{'} = a^{x} \log_{e} a (a > 0, a \neq 1)

…(2)

底がe以外のときは，eに直して計算すると簡単になる．そのために，次の公式を使う．

a = e^{\log a}

･･･(3)

↑右辺の対数をとると，

\log (e^{\log a}) = \log a

となるから，右辺はaに等しい．
そこで，

a^{x} = e^{x \log a}

(a^{x})^{'} = \log a \cdot e^{x \log a} = a^{x} \cdot \log a

になる．

(3)の変形が分からない場合は，次のように考えてもよい．

底は底，指数形と対数形で，中と外が入れ替わる

対数の定義：

b

= \log

_{e}

a

⟺

e

^{b}

=

a

同じものは同じものに等しいから：

\log_{e} a = \log_{e} a

⟺

e^{\log_{e} a} = a

･･･(3)

• 数学Ⅱでは，様々な底の値を使うが，微分積分では，ほとんどの場合「自然対数の底」eを使う．

【指数関数の微分公式1】

y = e^{x} \to y^{'} = e^{x}

y = e^{k x} \to y^{'} = k e^{k x}

【例1.1】

y = e^{2 x}

を微分してください．

（解答）

y^{'} = 2 e^{2 x}

…(答)

【例1.2】

y = e^{- 3 x}

を微分してください．

（解答）

y^{'} = - 3 e^{- 3 x}

…(答)

【基本問題】（高校数学Ⅲの教科書レベル）

【問1.1】

y = x^{2} e^{x}

を微分してください．

積の微分法

(f (x) g (x))^{'} = f^{'} (x) g (x) + f (x) g^{'} (x)

を利用する

（解答）

y^{'} = (x^{2})^{'} e^{x} + x^{2} (e^{x})^{'}

= 2 x e^{x} + x^{2} \cdot e^{x} = e^{x} (x^{2} + 2 x)

…(答)

【問1.2】

y = \frac{e^{x}}{x}

を微分してください．

商の微分法

y = \frac{f (x)}{g (x)} \to y^{'} = \frac{f^{'} (x) g (x) - f (x) g^{'} (x)}{{g (x)}^{2}}

を利用する

（解答）

y^{'} = \frac{e^{x} \cdot x - e^{x} \cdot 1}{x^{2}} = \frac{e^{x} (x - 1)}{x^{2}}

…(答)

【問1.3】

y = e^{2 x + 3}

を微分してください．

合成関数の微分法

\frac{d y}{d x} = \frac{d y}{d t} \cdot \frac{d t}{d x}

を利用する

（解答）

y = e^{t}

\underset{―}{t = 2 x + 3}

とおくと

y^{'} = e^{t} \cdot 2 = 2 e^{2 x + 3}

…(答)

【問1.4】

y = e^{- x^{2}}

を微分してください．

合成関数の微分法

\frac{d y}{d x} = \frac{d y}{d t} \cdot \frac{d t}{d x}

を利用する

（解答）

y = e^{t}

\underset{―}{t = - x^{2}}

とおくと

y^{'} = e^{t} \cdot (- 2 x) = - 2 x e^{- x^{2}}

…(答)

【指数関数の微分公式2】

y = a^{x} \to y^{'} = a^{x} \log_{e} a (a > 0, a \neq 1)

【例2.1】

y = 2^{x}

を微分してください．

（解答）

y^{'} = 2^{x} \log_{e} 2

…(答)

【例2.2】

y = 3^{x}

を微分してください．

（解答）

y^{'} = 3^{x} \log_{e} 3

…(答)

【基本問題】（高校数学Ⅲの教科書レベル）

【問2.1】

y = 3^{2 x}

を微分してください．

合成関数の微分法

\frac{d y}{d x} = \frac{d y}{d t} \cdot \frac{d t}{d x}

を利用する

（解答）

y = 3^{t}

\underset{―}{t = 2 x}

とおくと

y^{'} = 3^{t} \log 3 \cdot 2 = 2 \log 3 \cdot 3^{2 x}

…(答)

【問2.2】

y = {(\frac{1}{10})}^{x}

を微分してください．

y = a^{x} \to y^{'} = a^{x} \log_{e} a (a > 0, a \neq 1)

において，

a = \frac{1}{10}

とする

（解答）

y^{'} = {(\frac{1}{10})}^{x} \log (\frac{1}{10}) = - \log 10 \cdot {(\frac{1}{10})}^{x}

= - \frac{\log 10}{10^{x}}

…(答)
（別解）

y = \frac{1}{10^{x}}

と変形して，商の微分法を用いると

y^{'} = \frac{0 - 1 \times 10^{x} \log 10}{(10^{x})^{2}} = - \frac{\log 10}{10^{x}}

…(答)

【問2.3】

y = a^{- 2 x} (a > 0, a \neq 1)

を微分してください．

合成関数の微分法

\frac{d y}{d x} = \frac{d y}{d t} \cdot \frac{d t}{d x}

を利用する

（解答）

y = a^{t}

\underset{―}{t = - 2 x}

とおくと

y^{'} = a^{t} \log a \cdot (- 2) = - 2 \log a \cdot a^{- 2 x}

…(答)

【問2.4】

y = 2^{3 x + 1}

を微分してください．

合成関数の微分法

\frac{d y}{d x} = \frac{d y}{d t} \cdot \frac{d t}{d x}

を利用する

（解答）

y = 2^{t}

\underset{―}{t = 3 x + 1}

とおくと

y^{'} = 2^{t} \log 2 \cdot 3 = 3 \log 2 \cdot 2^{3 x + 1}

…(答)

【要約】
•

y = \log_{a} x (a > 0, a \neq 1)

の形の関数を「aを底ていとする対数関数」という．
• 定数e=2.71 ···を底とする対数関数を使うと，微分の計算が簡単になる．

y = \log_{e} x \to y^{'} = \frac{1}{x} (x > 0)

…(1)
　底が省略されているときは，底はe=2.71 ···である．

y = \log_{a} x \to y^{'} = \frac{1}{x \log a} (x > 0)

…(1')
　底がe以外の数の場合には，微分の計算は少しややこしくなる．

y = \log_{a} x \to y^{'} = \frac{1}{x \log a} (x > 0)

…(2)

底の変換公式を使うと，

\log_{a} x = \frac{\log x}{\log a}

だから

(\log_{a} x)^{'} = \frac{1}{x \log a}

になる．

• 数学Ⅱでは，様々な底の値を使うが，微分積分では，ほとんどの場合「自然対数の底」eを使う．

【例3.1】

y = \log 3 x

を微分してください．

（解答）

y^{'} = \frac{3}{x}

ではないことに注意

y = \log 3 + \log x

だから

y^{'} = 0 + \frac{1}{x} = \frac{1}{x}

…(答)
（別解）
合成関数の微分法

\frac{d y}{d x} = \frac{d y}{d t} \cdot \frac{d t}{d x}

を用いる

y = \log t

\underset{―}{t = 3 x}

\frac{d y}{d x} = \frac{1}{t} \cdot 3 = \frac{1}{3 x} \cdot 3 = \frac{1}{x}

…(答)

【例3.2】

y = \log (4 x + 3)

を微分してください．

（解答）

y = \log t

\underset{―}{t = 4 x + 3}

　とおく

\frac{d y}{d x} = \frac{1}{t} \cdot 4 = \frac{1}{4 x + 3} \cdot 4 = \frac{4}{4 x + 3}

…(答)

【例4.1】

y = \log_{10} x

を微分してください．

（解答）

y^{'} = \frac{1}{x \log 10}

…(答)

【例4.2】

y = \log_{3} 2 x

を微分してください．

（解答）

y = \frac{\log 2 x}{\log 3} = \frac{\log x + \log 2}{\log 3}

y^{'} = \frac{1}{x \log 3}

…(答)

【備考】

y = \log x \to y^{'} = \frac{1}{x}

…(1)

y = \log ∣ x ∣\to y^{'} = \frac{1}{x}

…(2)

(1)と(2)の違いについて
　関数の定義域については，特に指定されていない限り，その関数が意味を持つなるべく広い範囲を考えます．
ア）　まず，

y = \log x

の定義域は，

x > 0

で，その範囲で

y^{'} = \frac{1}{x} (> 0)

だから，右上がりのグラフになります．
イ）　次に，

y = \log ∣ x ∣

は，

\log ∣ x ∣= {\begin{cases} x & (x > 0) \\ - x & (x < 0) \end{cases}

だから，

x < 0

のときは，合成関数の微分法により

y = \log t

\underset{―}{t = - x}

\frac{d y}{d x} = \frac{1}{t} \cdot (- 1) = \frac{1}{- x} \cdot (- 1) = \frac{1}{x}

いずれの場合も，導関数は

y^{'} = \frac{1}{x}

になります．
ただし，次のようになっていることに注意（

x < 0

のとき，

y^{'} = \frac{1}{x} < 0

だから，右下がりの関数）

結局，

y = \log x

は

x > 0

だけで定義される関数

y = \log (- x)

は

x < 0

だけで定義される関数

y = \log ∣ x ∣

はこれらを貼り合わせただけのもの．

※対数微分法においては，真数が負になる場合にも対応できるように，絶対値付きの対数にして微分することが多いが，

y = \log ∣ x ∣

の微分は

y = \log x

の微分と全く同じ形で，

y^{'} = \frac{1}{x}

になることを覚えておこう

【例5.1】

y = \log ∣ x^{2} - 1 ∣

を微分してください．

（解答）
合成関数の微分法

\frac{d y}{d x} = \frac{d y}{d t} \cdot \frac{d t}{d x}

を用いる

y = \log ∣ t ∣

\underset{―}{t = x^{2} - 1}

\frac{d y}{d x} = \frac{1}{t} \cdot 2 x = \frac{2 x}{x^{2} - 1}

…(答)

【例5.2】

y = \log ∣ \frac{x - 1}{x + 1} ∣

を微分してください．

（解答）
合成関数の微分法

\frac{d y}{d x} = \frac{d y}{d t} \cdot \frac{d t}{d x}

を用いる

y = \log ∣ t ∣

\underset{―}{t = \frac{x - 1}{x + 1}}

\frac{d y}{d x} = \frac{1}{t} \cdot \frac{(x + 1) - (x - 1)}{(x + 1)^{2}} = \frac{1}{t} \cdot \frac{2}{(x + 1)^{2}}

= \frac{x + 1}{x - 1} \cdot \frac{2}{(x + 1)^{2}} = \frac{2}{(x - 1) (x + 1)}

…(答)
（別解）

y = \log ∣ x - 1 ∣ - \log ∣ x + 1 ∣

だから

y^{'} = \frac{1}{x - 1} - \frac{1}{x + 1} = \frac{2}{(x - 1) (x + 1)}

…(答)

対数微分法
　多くの関数の積商で表わされる関数や複雑な合成になっている関数を微分するとき，元の関数の（絶対値の）対数を微分すると計算できることがある．元の関数の（絶対値の）対数を微分する方法を対数微分法という．

例1

y = \frac{(x - 2)^{3}}{(x + 1)^{4}}

のとき

| y | = | \frac{(x - 2)^{3}}{(x + 1)^{4}} | = \frac{∣ x - 2 ∣^{3}}{∣ x + 1 ∣^{4}}

\log | y | = \log \frac{∣ x - 2 ∣^{3}}{∣ x + 1 ∣^{4}}

= 3 \log ∣ x - 2 ∣ - 4 \log ∣ x + 1 ∣

両辺を x で微分する．
左辺の微分は z=log|y| とおくと，合成関数の微分法により

　　.

dzdxnn=.

dzdynn.

dydxnn =.

1yn · y’=.

y’yn

…（対数微分法の左辺は常にこの式になる）

右辺の微分は .

3x−2nnn−.

4x+1nnn

したがって，.

y’yn=.

3x−2nnn−.

4x+1nnn

　　y’=y(.

3x−2nnn−.

4x+1nnn)=.

(x−2)3(x+1)4nnnnn (.

3x−2nnn−.

4x+1nnn)

　　=.

(x−2)2(−x+11)(x+1)5nnnnnnnnnnnnn

例2
y=xx ( x>0 )　のとき

　　log y=x log x

.

y’yn=log x+x · .

1xn=log x+1

　　ゆえに，y’=xx (log x + 1)

　　問題　　次の関数の導関数を求めよ．

[ 途中経過 ] y=e5x
------------------
y=et
　　t=5x　とおく
------------------
.

dydxnn=.

dydtnn.

dtdxnn=e5x · 5=5e5x 　→　閉じる　←

y=xe−x → y’=e−x+x(−e−x)=e−x(1−x)

　→　閉じる　←

y=log(x2+1)
-----------------
y=log t
　　　　t= x2+1　とおくと
-----------------
.

dydxnn=.

dydtnn.

dtdxnn =.

1tn·2x=.

2xx2+1nnnn

　→　閉じる　←

○　(logax)’=.

1x_log_annnnn の公式を覚えているとき

y=log103x
-----------------
y=log10t
　　　　t= 3x　とおくと
-----------------
.

dydxnn=.

dydtnn.

dtdxnn =.

1t_log_10nnnnnn· 3=.

33x_log_10nnnnnnn=.

1x_log_10nnnnnn

○　微分公式は底が e のものに絞るとき
y=log103x → y=.

log_3xlog_10nnnnn → y’=.

1x_log_10nnnnnn

いずれの場合でも，(**2)の公式から，定数3は登場しないことに注意

（y= 定数 ↓log103+log10x とすれば分かる）

　→　閉じる　←

対数微分法による
y=xlog x (x , y>0) → log y=(log x)2 (| |はなくてもよい)
.

y’yn =2logx·.

1xn=.

2logxxnnnnn

y’=xlogx·.

2logxxnnnnn=x−1+log x(2log x)

　→　閉じる　←

対数微分法による
y=.3

√x(x+1)√nnnnnni → log|y|=.

13n(log x+log(x+1))

.

y’yn =.

13n(.

1xn+.

1x+1nnn)=.

2x+13x(x+1)nnnnnnn

y’=.3

√x(x+1)√nnnnnni·.

2x+13x(x+1)nnnnnnn=.

2x+13.3

√x2(x+1)2√nnnnnnninnnnnnnnnnn

　→　閉じる　←

指数関数，対数関数の重要な極限値
*** 自然対数の底，ネイピア数の定義 ***
　指数関数

y = a^{x} (a > 0, a \neq 1)

の導関数をその定義に従って求めようとすると，次の

[]

に示した極限値が必要になる．

y^{'} = lim_{h \to 0} \frac{a^{x + h} - a^{x}}{h} = a^{x}

[lim_{h \to 0} \frac{a^{h} - 1}{h}]

　また，対数関数

y = \log_{a} x (a > 0, a \neq 1, x > 0)

の導関数をその定義に従って求めようとすると，次の

[]

に示した極限値が必要になる．

y^{'} = lim_{h \to 0} \frac{\log_{a} (x + h) - \log_{a} x}{h}

= lim_{h \to 0} \frac{\log_{a} (1 + \frac{h}{x})}{h} = lim_{h \to 0} \frac{\log_{a} (1 + \frac{h}{x})}{x \cdot \frac{h}{x}}

\frac{h}{x} = t

とおく

= lim_{t \to 0} \frac{1}{x} \cdot

[\frac{\log_{a} (1 + t)}{t}]

　これらの極限値を含む次の約10個の極限値は，互いに密接に結びついており，(1)の「自然対数の底」「ネイピア数」e=2.718281828459045···を使って表すことができる．

(1) （nは整数）

lim_{n \to \infty} (1 + \frac{1}{n})^{n} = e

\to

(2) （nは整数）

lim_{n \to \infty} (1 - \frac{1}{n})^{- n} = e

↓

↓

(3) （xは実数）

lim_{x \to \infty} (1 + \frac{1}{x})^{x} = e

\to

(4) （xは実数）

lim_{x \to - \infty} (1 + \frac{1}{x})^{x} = e

↘ ↙

(5) （hは実数）

lim_{h \to 0} (1 + h)^{\frac{1}{h}} = e

↙ ↘

(6) （hは実数）

lim_{h \to 0} \frac{e^{h} - 1}{h} = 1

⟺

(7) （hは実数）

lim_{h \to 0} \frac{\log (1 + h)}{h} = 1

↓

↓

(8) （hは実数）

lim_{h \to 0} \frac{a^{h} - 1}{h} = \log a

⟺

(9) （hは実数）

lim_{h \to 0} \frac{\log_{a} (1 + h)}{h} = \frac{1}{\log a}

↓

↓

(10)

(e^{x})^{'} = e^{x}

(a^{x})^{'} = a^{x} \log a

⟺

(11)

(\log x)^{'} = \frac{1}{x}

(\log_{a} x)^{'} = \frac{1}{x \log a}

(1)の解説

(1 + \frac{1}{n})^{n}

の値は，次の表のようになり，グラフは右図のようになります．

n	$(1 + \frac{1}{n})^{n}$
1	2
10	2.5937…
100	2.7048…
1000	2.7169…
10000	2.7181…
…	…

　nが大きくなると，

(1 + \frac{1}{n})^{n}

の値は増加します．すなわち，

(1 + \frac{1}{n})^{n}

はnに関して「単調増加」になっています．
　しかし，nが限りなく大きくなっても，

(1 + \frac{1}{n})^{n}

の値は3よりも大きくならないことを示すことができます（下記）．
　このような性質を持った数列，すなわち「単調かつ有界な数列は収束する」というのは実数の連続性に関する重要定理（公理）ですが，この定理の証明は難し過ぎるのでここでは扱わず，この結果を利用することにする．

　他の例として，例えば

a_{n} = \frac{1}{n}

という数列は単調減少で

a_{n} > 0

だから，下に有界です．この数列は0に収束します．

1) 数列

(1 + \frac{1}{n})^{n}

が単調増加であることの証明

(1 + \frac{1}{n})^{n}

を二項定理を用いて展開すると

1 +_{n} C_{1} (\frac{1}{n}) +_{n} C_{2} (\frac{1}{n})^{2} +_{n} C_{3} (\frac{1}{n})^{3} + \dots +_{n} C_{k} (\frac{1}{n})^{k} + \dots

= 1 + n (\frac{1}{n}) + \frac{n (n - 1)}{2!} (\frac{1}{n})^{2} + \frac{n (n - 1) (n - 2)}{3!} (\frac{1}{n})^{3} + \dots

= 1 + 1 + \frac{1}{2!} (1 - \frac{1}{n}) + \frac{1}{3!} (1 - \frac{1}{n}) (1 - \frac{2}{n}) + \dots

第2項まで（1+1）はnの値に依らず等しいが，第k項(k≧3)はnが大きくなると

\frac{1}{k!} (1 - \frac{1}{n}) (1 - \frac{2}{n}) \dots (1 - \frac{k - 1}{n})

\frac{1}{n}, \frac{2}{n}, \frac{k - 1}{n}

が小さくなるから

(1 - \frac{1}{n}) (1 - \frac{2}{n}) \dots (1 - \frac{k - 1}{n})

は大きくなる．
　このようにnが大きくなると，対応する第k項(k≧3)はすべて大きくなり，さらに最後の項も増えるから，nに関して単調増加になる．
2) 有界であることの証明（特に3よりも小さいことの証明）

1 + 1 + \frac{1}{2!} (1 - \frac{1}{n}) + \frac{1}{3!} (1 - \frac{1}{n}) (1 - \frac{2}{n}) + \dots

において，各々の

(1 - \frac{k}{n})

は1よりも小さいから

1 + 1 + \frac{1}{2!} (1 - \frac{1}{n}) + \frac{1}{3!} (1 - \frac{1}{n}) (1 - \frac{2}{n}) + \dots

< 2 + \frac{1}{2!} + \frac{1}{3!} + \frac{1}{4!} \cdot \cdot \cdot

高校生には
難し過ぎだろ！

ここでk≧2のとき（分母が大きいと１より小さくなるから）

\frac{2}{k} \cdot \frac{2}{k - 1} \cdot \frac{2}{k - 2} \cdot \frac{2}{3} \cdot \frac{2}{2} ≦ 1

したがって

\frac{1}{k!} ≦ \frac{1}{2^{k - 1}}

2 + \frac{1}{2!} + \frac{1}{3!} + \frac{1}{4!} \cdot \cdot \cdot \underset{―}{\leq} 2 + \frac{1}{2} \cdot \frac{1 - \frac{1}{2^{n - 1}}}{1 - \frac{1}{2}} = 2 + (1 - \frac{1}{2^{n - 1}})

< 3

1)2)より，数列

(1 + \frac{1}{n})^{n}

は「単調増加」かつ「上に有界」であるから，収束する．

(1)→(2)の証明

lim_{n \to \infty} (1 - \frac{1}{n})^{- n} = lim_{n \to \infty} (\frac{n - 1}{n})^{- n} = lim_{n \to \infty} (\frac{n}{n - 1})^{n}

= lim_{n \to \infty} (1 + \frac{1}{n - 1})^{n} = lim_{n \to \infty} (1 + \frac{1}{n - 1})^{n - 1} (1 + \frac{1}{n - 1})

= e

(1)→(3)の証明

(0 <) n ≦ x ≦ n + 1

のとき

\frac{1}{n + 1} ≦ \frac{1}{x} ≦ \frac{1}{n}

(1 <) 1 + \frac{1}{n + 1} ≦ 1 + \frac{1}{x} ≦ 1 + \frac{1}{n}

(1 <) (1 + \frac{1}{n + 1})^{n} ≦ (1 + \frac{1}{x})^{x} ≦ (1 + \frac{1}{n})^{n + 1}

\frac{(1 + \frac{1}{n + 1})^{n + 1}}{1 + \frac{1}{n + 1}} ≦ (1 + \frac{1}{x})^{x} ≦ (1 + \frac{1}{n})^{n} (1 + \frac{1}{n})

(1)の

lim_{n \to \infty} (1 + \frac{1}{n})^{n} = e

により，第1辺，第3辺ともeに収束するから，

lim_{x \to \infty} (1 + \frac{1}{x})^{x} = e

(3)→(4)の証明

lim_{x \to - \infty} (1 + \frac{1}{x})^{x} = lim_{t \to \infty} (1 - \frac{1}{t})^{- t}

= lim_{t \to \infty} (\frac{t - 1}{t})^{- t} = lim_{t \to \infty} (\frac{t}{t - 1})^{t}

= lim_{t \to \infty} (1 + \frac{1}{t - 1})^{t} = lim_{t \to \infty} (1 + \frac{1}{t - 1})^{t - 1} (1 + \frac{1}{t - 1})

=e
(2)→(4)の証明
(1)→(3)と同様にして示される

(3)(4)→(5)の証明

h = \frac{1}{x}

とおくと，
ア）

h \to + 0

のとき，

x \to \infty

lim_{h \to + 0} (1 + h)^{\frac{1}{h}} = lim_{x \to \infty} (1 + \frac{1}{x})^{x} = e (\leftarrow (3))

イ）

h \to - 0

のとき，

x \to - \infty

lim_{h \to - 0} (1 + h)^{\frac{1}{h}} = lim_{x \to - \infty} (1 + \frac{1}{x})^{x} = e (\leftarrow (4))

(5)→(7)の証明

lim_{h \to 0} \frac{\log (1 + h)}{h} = lim_{h \to 0} \frac{1}{h} \log (1 + h)

= lim_{h \to 0} \log (1 + h)^{\frac{1}{h}} = \log e = 1 (\leftarrow (5))

(5)→(6)の証明

e^{h} - 1 = t

とおくと，

h \to 0

のとき，

e^{h} \to 1, t \to 0

e^{h} = 1 + t

の対数をとると

h = \log (1 + t)

lim_{t \to 0} \frac{t}{\log (1 + t)} = lim_{t \to 0} \frac{1}{\frac{1}{t} \log (1 + t)}

･･･(*)

= lim_{t \to 0} \frac{1}{\log (1 + t)^{\frac{1}{t}}} = \frac{1}{\log e} = 1

(7)→(6)の証明
上記の(5)→(6)の証明中の(*)から１とできる

(6)→(8)の証明

lim_{h \to 0} \frac{a^{h} - 1}{h} = lim_{h \to 0} \frac{e^{h \log a} - 1}{h}

= lim_{h \to 0} \frac{e^{h \log a} - 1}{h \log a} \log a = \log a

(7)→(9)の証明

lim_{h \to 0} \frac{\log_{a} (1 + h)}{h}

分子の底の変換

a \to e

を行うと

= lim_{h \to 0} \frac{\frac{\log (1 + h)}{\log a}}{h} = lim_{h \to 0} \frac{\log (1 + h)}{h \log a}

= lim_{h \to 0} \frac{\log (1 + h)}{h} \cdot \frac{1}{\log a} = \frac{1}{\log a}

(8)→(9)の証明

h = a^{t} - 1

とおくと

h \to 0

のとき，

a^{t} \to 1, t \to 0

a^{t} = 1 + h

の対数をとると

t = \log_{a} (1 + h)

lim_{h \to 0} \frac{\log_{a} (1 + h)}{h} = lim_{t \to 0} \frac{t}{a^{t} - 1} = lim_{t \to 0} \frac{1}{\frac{a^{t} - 1}{t}}

= \frac{1}{\log a}

(6)(8)→(10)の証明

(e^{x})^{'} = lim_{h \to 0} \frac{e^{x + h} - e^{x}}{h} = e^{x} lim_{h \to 0} \frac{e^{h} - 1}{h} = e^{x}

(a^{x})^{'} = lim_{h \to 0} \frac{a^{x + h} - a^{x}}{h} = a^{x} lim_{h \to 0} \frac{a^{h} - 1}{h} = a^{x} \log a

(7)(9)→(11)の証明

(\log x)^{'} = lim_{h \to 0} \frac{\log (x + h) - \log x}{h} = lim_{h \to 0} \frac{\log (1 + \frac{h}{x})}{h}

= lim_{h \to 0} \frac{\log (1 + \frac{h}{x})}{\frac{h}{x} \cdot x} = \frac{1}{x}

(\log_{a} x)^{'} = lim_{h \to 0} \frac{\log_{a} (x + h) - \log_{a} x}{h} = lim_{h \to 0} \frac{\log_{a} (1 + \frac{h}{x})}{h}

= lim_{h \to 0} \frac{\log_{a} (1 + \frac{h}{x})}{\frac{h}{x} \cdot x} = \frac{1}{x \log a}

(10)(11)の補足説明
■極限値の議論にうんざりしている人へ■

　自然対数の底（ネイピア数）eは，以上のように精密な極限値としての定義，導入するのが理科系向きですが，そこまで詳しいものは必要ないと考えている人，または，極限値の議論にはうんざりで「ついていけない」と考えている場合には，右図のようにグラフを用いて視覚的に導入することもできます．
　まず，

y = a^{x}

のグラフでは，x=0のときy=1になるので，点(0, 1)を通りますが，その点で「傾きがちょうど１になる」のは底がeの場合です．
　そこで，

f (x) = a^{x} \to f^{'} (x) = a^{x} \log a \to f^{'} (0) = \log a

が「ちょうど１になる値a」をeと定めたことになります．

　同様にして，

y = \log_{a} x

のグラフでは，x=1のときy=0になるので，点(1, 0)を通りますが，その点で「傾きがちょうど１になる」のは底がeの場合です．
　そこで，

f (x) = \log_{a} x \to f^{'} (x) = \frac{1}{x \log a} \to f^{'} (1) = \frac{1}{\log a}

が「ちょうど１になる値a」をeと定めたことになります．

３．　極限値の計算問題

　　問題　　次の極限値を求めよ．（選択肢から選べ．）

(1)
_limn→∞limii(.

n−1nnnn)n

[　採点と途中経過　]

limn→∞limii( .

n−1nnnn) n =limn→∞limii(1−.

1nn) n =limn→∞limii.

1(1−.

1nn)_−nnnnnnnnn=.

1en ←(*1)

（別解）
limn→∞limii( .

n−1nnnn) n =limn→∞limii .

1(.

nn−1nnn)nnnnnn =limn→∞limii .

1(1+.

1n−1nnn)nnnnnnnn

=limn→∞limii .

1(1+.

1n−1nnn)n−1nnnnnnnnnn .

1(1+.

1n−1nnn)nnnnnnnnn=.

1en ←(*1)

(2)
_limn→∞limii(1+.

2nn) n

limn→∞limii (1+.

2nn) n =limn→∞limii{ (1+.

2nn) .

n2n}2 =e2 ←(*1)

(3)
_limx→0limii(1+x3) .

1xn

y=(1+x3) .

1xn とおくと log y=.

1xnlog(1+x3)

=.

log(1+x3)x3nnnnnnnx2 → 0 ( x → 0 ) ←(*6)だから y → 1 ( x → 0 )

(4)
_ limh→0limii.

e2h−1hnnnnn

limh→0limii.

e2h−1hnnnnn=limh→0limii.

e2h−12hnnnnn· 2=2　…(*4)

(5)
_ limh→0limii.

log(1+h)2hnnnnnnn

limh→0limii.

log(1+h)2hnnnnnnn=limh→0limii.

log(1+h)hnnnnnn· .

12n=.

12n 　…(*6)

...（携帯版）高卒から大学数学メニューに戻る

...（携帯版）メニューに戻る

...（PC版）メニューに戻る

■［個別の頁からの質問に対する回答］[指数関数，対数関数の導関数について／18.7.17］

コメント失礼しますm(__)m lim x→0 (e^x + x )^1/x という問題をネットで見つけたのですが解けなくて困っています；＿；よければ解いていただけないでしょうか？
＝＞［作者］：連絡ありがとう．よそ様の問題には干渉しないようにしています（wxMaximaに問題を書き込めば答えが出ます：e²）

■［個別の頁からの質問に対する回答］[指数関数，対数関数の導関数について／18.7.16］

コメント失礼しますm(__)m この分野で3日くらいつまづいていて困っています。この指数対数関数の微分の分野って、ここまで登場した極限値のまとめのところの極限値の導出をできるようにして、問題を解くときはこのような極限値の形に帰着できるようにしていくものなんでしょうか？なかなか問題が解けるようにならないので、どう勉強していけばいいか教えて欲しいですm(__)m
＝＞［作者］：連絡ありがとう．極限値にまで遡っている問題（3.のような問題）が出たら，定義に戻って極限値を求めます．普通の場合（4.のような問題）は， $(e^{x})\apos=e^{x},\hspace{3}(\log x)\apos=\frac{1}{x}$ により機械的に処理します

■［個別の頁からの質問に対する回答］[指数関数，対数関数の導関数について／17.5.23］

分かり易いI解説で助かっています。ありがとうございます。「πと並んで有名な無理数」の「π」ですが、GoogleChromeで見ると「n」に見えてしまいます。よく見ると「π」なのですが、一見すると[n」に見えます。ご報告まで。
＝＞［作者］：連絡ありがとう．確かにGoogle Chromeで見るとゴシック体で表示されるようですので変更しました．

■［個別の頁からの質問に対する回答］[指数関数，対数関数の導関数について／16.12.7］

正解をしているのに×がつきます
＝＞［作者］：連絡ありがとう．何番の問題に何と答えたのか述べないと，話が通じません．

■［個別の頁からの質問に対する回答］[指数関数，対数関数の導関数について／16.11.15］

独学で学ぶのに役立つので、嬉しい。
＝＞［作者］：連絡ありがとう．

隨�ｿｽ邵ｺ阮呻ｿｽ郢ｧ�ｵ郢ｧ�､郢昜ｺ･�ｽ邵ｺ�ｮGoogle隶諛�ｽｴ�｢隨�ｿｽ

隨�ｽｳ邵ｺ阮呻ｿｽ郢晏｣ｹ�ｽ郢ｧ�ｸ邵ｺ�ｮ陷育｣ｯ�ｽ�ｭ邵ｺ�ｫ隰鯉ｽｻ郢ｧ驫辟｡邵ｲ�ｽ郢ｧ�｢郢晢ｽｳ郢ｧ�ｱ郢晢ｽｼ郢晉｣ｯﾂ竏ｽ�ｿ�｡邵ｲ�ｽ
… 邵ｺ阮呻ｿｽ郢ｧ�｢郢晢ｽｳ郢ｧ�ｱ郢晢ｽｼ郢晏現�ｽ隰ｨ蜻取駁隰ｾ�ｹ陜滂ｿｽ�ｽ陷ｿ繧環�ｽ竊鍋ｸｺ霈披雷邵ｺ�ｦ邵ｺ�ｽ笳�ｸｺ�ｽ邵ｺ髦ｪ竏ｪ邵ｺ�ｽ

隨�ｿｽ邵ｺ阮呻ｿｽ鬯��竊鍋ｸｺ�､邵ｺ�ｽ窶ｻ�ｽ迹壽�邵ｺ�ｽ蝨抵ｿｽ譴ｧ縺檎ｸｺ�ｽ蝨抵ｿｽ遒∽ｿ｣鬩戊ｼ費ｼ樒ｸｺ�ｮ隰厄ｿｽ驕ｭ�ｽ蠕娯落邵ｺ�ｮ闔画じ�ｽ隲｢貊鳶ｦ邵ｺ蠕娯旺郢ｧ蠕鯉ｿｽ鬨ｾ竏ｽ�ｿ�｡邵ｺ蜉ｱ窶ｻ邵ｺ荳岩味邵ｺ霈費ｼ橸ｿｽ�ｽ

隨ｳ蛹ｺ譫夐��ｽ邵ｺ�ｮ陟厄ｽ｢郢ｧ蛛ｵ��邵ｺ�ｦ邵ｺ�ｽ�玖ｫ｢貊鳶ｦ邵ｺ�ｯ陷茨ｽｨ鬩幢ｽｨ髫ｱ�ｭ邵ｺ�ｾ邵ｺ蟶吮ｻ郢ｧ繧�ｽ臥ｸｺ�｣邵ｺ�ｦ邵ｺ�ｽ竏ｪ邵ｺ蜻ｻ�ｼ�ｽ
隨ｳ蛹ｺ笏隲��ｳ邵ｺ�ｮ陷�ｽ縲抵ｿｽ蠕娯�邵ｺ�ｮ陜�蝓趣ｽ｡蠕娯ｲ邵ｺ�ｩ邵ｺ�ｽ縲堤ｸｺ繧�夢邵ｺ貅伉ｰ郢ｧ蜻茨ｽｭ�｣驕抵ｽｺ邵ｺ�ｪ隴�ｿｽ�ｫ�ｽ邵ｺ�ｧ闔ｨ譏ｴ竏ｴ邵ｺ�ｦ邵ｺ�ｽ笳�ｸｺ�ｽ邵ｺ�ｽ笳�ｬｾ�ｹ陜滂ｿｽ�ｦ竏ｵ謔咲ｸｺ�ｫ陝�ｽｾ邵ｺ蜉ｱ窶ｻ邵ｺ�ｯ�ｽ謔溷ｺ�妙�ｽ邵ｺ�ｪ鬮ｯ闊鯉ｽ願汞�ｾ陟｢諛岩�郢ｧ荵晢ｽ育ｸｺ�ｽ竊鍋ｸｺ蜉ｱ窶ｻ邵ｺ�ｽ竏ｪ邵ｺ蜻ｻ�ｼ雜｣�ｼ驕ｺﾂ�ｻ邵ｺ�ｪ邵ｺ螂�ｽｼ譴ｧ蛻､隰ｦ�ｽ蝎ｪ邵ｺ�ｪ隴�ｿｽ�ｫ�ｽ邵ｺ�ｫ邵ｺ�ｪ邵ｺ�｣邵ｺ�ｦ邵ｺ�ｽ�玖撻�ｴ陷ｷ蛹ｻ�ｽ�ｽ蠕娯落郢ｧ蠕鯉ｽ定怦�ｬ鬮｢荵昶�郢ｧ荵昶�驕ｲ�ｽﾂ�ｽ笆｡邵ｺ莉｣縲堤ｸｺ�ｪ邵ｺ蜑ｰ�ｪ�ｭ髢��ｽ�る坡�ｭ郢ｧﾂ邵ｺ阮吮�邵ｺ�ｫ邵ｺ�ｪ郢ｧ鄙ｫ竏ｪ邵ｺ蜷ｶ�ｽ邵ｺ�ｧ�ｽ譴ｧ豐ｻ騾包ｽｨ邵ｺ蜉ｱ竏ｪ邵ｺ蟶呻ｽ難ｿｽ雜｣�ｼ�ｽ

髮会ｽｪ陜�荳岩�陝�ｽｾ邵ｺ蜷ｶ�玖摎讓抵ｽｭ譁撰ｿｽ闕ｳ�ｭ陝�ｽｦ霑壼現�ｽ邵ｺ阮呻ｿｽ鬯�ｿｽ�ｽ遒�ｽｫ菫ｶ�ｽ�｡霑壼現�ｽ邵ｺ阮呻ｿｽ鬯�ｿｽ邵ｺ�ｫ邵ｺ繧�ｽ顔ｸｺ�ｾ邵ｺ�ｽ