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

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

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

【要約】
• 定数 $e=2.718281828459041\hspace{1}\cdots$ は「自然対数の底」または「ネイピア数」（ネイピア：対数を研究した学者の名．16～17世紀，イギリス）と呼ばれる．
（最初の3桁が言えれば十分であるが，「鮒2.7一鉢二鉢1828一鉢二鉢1828至極459惜しい045」という有名な覚え方があって，16桁まで簡単に言える）
• $y=a^x\hspace{5}(a\gt 0,\hspace{2}a\ne 1)$ の形の関数を「aを底ていとする指数関数」という．

• 定数e=2.18 ···を底とする指数関数を使うと，微分の計算が簡単になる．
$y=e^x\hspace{3}\rightarrow\hspace{3}y\apos=e^x$ …(1)
（この公式の証明は，このページの下の方にあります．先に公式の使い方の練習をします．）
　底がe以外の数の場合には，微分の計算は少しややこしくなる．
$y=a^x\hspace{3}\rightarrow\hspace{3}y\apos=a^x\log_ea\hspace{5}(a\gt 0,\hspace{2}a\ne 1)$ …(2)

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

$a=e^{\log a}$ ･･･(3)

↑右辺の対数をとると， $\log(e^{\log a})=\log a$ となるから，右辺はaに等しい．
そこで，
$a^x=e^{x\log a}$
$(a^x)\apos=\log a\cdot e^{x\log a}=a^x\cdot \log a$ になる．

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

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

対数の定義：
$b$ $=\log$ $_e$ $a$ $\overset{\rightarrow}{\leftarrow}$ $e$ $^b$ $=$ $a$
同じものは同じものに等しいから：

$\log_ea=\log_ea$ $\overset{\rightarrow}{\leftarrow}$ $e^{\log_ea}=a$ ･･･(3)

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

【指数関数の微分公式1】
$y=e^x\hspace{3}\rightarrow\hspace{3}y\apos=e^x$
$y=e^{kx}\hspace{3}\rightarrow\hspace{3}y\apos=ke^{kx}$

【例1.1】
$y=e^{2x}$ を微分してください．

（解答）
$y\apos=2e^{2x}$ …(答)

【例1.2】
$y=e^{-3x}$ を微分してください．

（解答）
$y\apos=-3e^{-3x}$ …(答)

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

【問1.1】
$y=x^2e^x$ を微分してください．

積の微分法 $(f(x)g(x))\apos=f\apos(x)g(x)+ f(x)g\apos(x)$ を利用する

（解答）
$y\apos=(x^2)\apos e^x+ x^2(e^x)\apos$
$=2xe^x+ x^2\cdot e^x=e^x(x^2+ 2x)$ …(答)

【問1.2】
$y=\frac{e^x}{x}$ を微分してください．

商の微分法
$y=\frac{f(x)}{g(x)}\rightarrow y\apos=\frac{f\apos(x)g(x)-f(x)g\apos(x)}{\{g(x)\}^2}$
を利用する

（解答）
$y\apos=\frac{e^x\cdot x-e^x\cdot 1}{x^2}=\frac{e^x(x-1)}{x^2}$ …(答)

【問1.3】
$y=e^{2x+ 3}$ を微分してください．

合成関数の微分法
$\frac{dy}{dx}=\frac{dy}{dt}\cdot\frac{dt}{dx}$
を利用する

（解答）
$y=e^t$
$\underline{\hspace{30}t=2x+ 3}$ とおくと
$y\apos=e^t\cdot 2=2e^{2x+ 3}$ …(答)

【問1.4】
$y=e^{-x^2}$ を微分してください．

合成関数の微分法
$\frac{dy}{dx}=\frac{dy}{dt}\cdot\frac{dt}{dx}$
を利用する

（解答）
$y=e^t$
$\underline{\hspace{30}t=-x^2}$ とおくと
$y\apos=e^t\cdot(-2x)=-2xe^{-x^2}$ …(答)

【指数関数の微分公式2】
$y=a^x\hspace{3}\rightarrow\hspace{3}y\apos=a^x\log_ea\hspace{5}(a\gt 0,\hspace{5}a\ne 1)$

【例2.1】
$y=2^{x}$ を微分してください．

（解答）
$y\apos=2^{x}\log_e2$ …(答)

【例2.2】
$y=3^{x}$ を微分してください．

（解答）
$y\apos=3^{x}\log_e3$ …(答)

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

【問2.1】
$y=3^{2x}$ を微分してください．

合成関数の微分法
$\frac{dy}{dx}=\frac{dy}{dt}\cdot\frac{dt}{dx}$
を利用する

（解答）
$y=3^t$
$\underline{\hspace{30}t=2x}$ とおくと
$y\apos=3^t\log 3\cdot 2=2\log 3\cdot 3^{2x}$ …(答)

【問2.2】
$y=\left(\frac{1}{10}\right)^x$ を微分してください．

$y=a^x\hspace{3}\rightarrow\hspace{3}y\apos=a^x\log_ea\hspace{5}(a\gt 0,\hspace{5}a\ne 1)$
において， $a=\frac{1}{10}$ とする

（解答）
$y\apos=\left(\frac{1}{10}\right)^x\log\left(\frac{1}{10}\right)=-\log 10\cdot\left(\frac{1}{10}\right)^x$
$=-\frac{\log 10}{10^x}$ …(答)
（別解）
$y=\frac{1}{10^x}$ と変形して，商の微分法を用いると
$y\apos=\frac{0-1\times 10^x\log 10}{(10^x)^2}=-\frac{\log 10}{10^x}$ …(答)

【問2.3】
$y=a^{-2x}\hspace{5}(a\gt 0,\hspace{2}a\ne 1)$ を微分してください．

合成関数の微分法
$\frac{dy}{dx}=\frac{dy}{dt}\cdot\frac{dt}{dx}$
を利用する

（解答）
$y=a^t$
$\underline{\hspace{30}t=-2x}$ とおくと
$y\apos=a^t\log a\cdot(-2)=-2\log a\cdot a^{-2x}$ …(答)

【問2.4】
$y=2^{3x+ 1}$ を微分してください．

合成関数の微分法
$\frac{dy}{dx}=\frac{dy}{dt}\cdot\frac{dt}{dx}$
を利用する

（解答）
$y=2^t$
$\underline{\hspace{30}t=3x+ 1}$ とおくと
$y\apos=2^t\log 2\cdot 3=3\log 2\cdot 2^{3x+ 1}$ …(答)

【要約】
• $y=\log_ax\hspace{5}(a\gt 0,\hspace{2}a\ne 1)$ の形の関数を「aを底ていとする対数関数」という．
• 定数e=2.71 ···を底とする対数関数を使うと，微分の計算が簡単になる．
$y=\log_ex\hspace{3}\rightarrow\hspace{3}y\apos=\frac{1}{x}\hspace{5}(x\gt 0)$ …(1)
　底が省略されているときは，底はe=2.71 ···である．
$y=\log x\hspace{3}\rightarrow\hspace{3}y\apos=\frac{1}{x}\hspace{5}(x\gt 0)$ …(1')
　底がe以外の数の場合には，微分の計算は少しややこしくなる．
$y=\log_a x\hspace{3}\rightarrow\hspace{3}y\apos=\frac{1}{x\log a}\hspace{5}(x\gt 0)$ …(2)

底の変換公式を使うと， $\log_a x=\frac{\log x}{\log a}$ だから
$(\log_a x)\apos=\frac{1}{x\log a}$ になる．

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

【例3.1】
$y=\log 3x$ を微分してください．

（解答）

$y\apos=\frac{3}{x}$ ではないことに注意

$y=\log 3+\log x$ だから
$y\apos=0+\frac{1}{x}=\frac{1}{x}$ …(答)
（別解）
合成関数の微分法 $\frac{dy}{dx}=\frac{dy}{dt}\cdot\frac{dt}{dx}$ を用いる
$y=\log t$
$\underline{\hspace{55}t=3x}$
$\frac{dy}{dx}=\frac{1}{t}\cdot 3=\frac{1}{3x}\cdot 3=\frac{1}{x}$ …(答)

【例3.2】
$y=\log(4x+ 3)$ を微分してください．

（解答）
$y=\log t$
$\underline{\hspace{55}t=4x+ 3}$ 　とおく
$\frac{dy}{dx}=\frac{1}{t}\cdot 4=\frac{1}{4x+ 3}\cdot 4=\frac{4}{4x+ 3}$ …(答)

【例4.1】
$y=\log_{10}x$ を微分してください．

（解答）
$y\apos=\frac{1}{x\log 10}$ …(答)

【例4.2】
$y=\log_{3}2x$ を微分してください．

（解答）
$y=\frac{\log 2x}{\log 3}=\frac{\log x+ \log 2}{\log 3}$
$y\apos=\frac{1}{x\log 3}$ …(答)

【備考】
$y=\log x\rightarrow y\apos=\frac{1}{x}$ …(1)
$y=\log\mid\hspace{2}x\hspace{2}\mid\rightarrow y\apos=\frac{1}{x}$ …(2)

(1)と(2)の違いについて
　関数の定義域については，特に指定されていない限り，その関数が意味を持つなるべく広い範囲を考えます．
ア）　まず， $y=\log x$ の定義域は， $x\gt 0$ で，その範囲で $y\apos=\frac{1}{x}\hspace{5}(\gt 0)$ だから，右上がりのグラフになります．
イ）　次に， $y=\log\mid\hspace{2}x\hspace{2}\mid$ は，
$\log\mid\hspace{2}x\hspace{2}\mid=\begin{cases}x&(x\gt 0) \\-x& (x\lt 0)\end{cases}$
だから， $x\lt 0$ のときは，合成関数の微分法により
$y=\log t$
$\underline{\hspace{55}t=-x}$
$\frac{dy}{dx}=\frac{1}{t}\cdot(-1)=\frac{1}{-x}\cdot(-1)=\frac{1}{x}$
いずれの場合も，導関数は $y\apos=\frac{1}{x}$ になります．

ただし，次のようになっていることに注意（ $x\lt 0$ のとき， $y\apos=\frac{1}{x}\lt 0$ だから，右下がりの関数）

結局， $y=\log x$ は $x\gt 0$ だけで定義される関数
$y=\log(-x)$ は $x\lt 0$ だけで定義される関数
$y=\log\mid\hspace{2}x\hspace{2}\mid$ はこれらを貼り合わせただけのもの．

※対数微分法においては，真数が負になる場合にも対応できるように，絶対値付きの対数にして微分することが多いが， $y=\log\mid\hspace{2}x\hspace{2}\mid$ の微分は $y=\log x$ の微分と全く同じ形で， $y\apos=\frac{1}{x}$ になることを覚えておこう

【例5.1】
$y=\log\mid\hspace{2}x^2-1\hspace{2}\mid$ を微分してください．

（解答）
合成関数の微分法 $\frac{dy}{dx}=\frac{dy}{dt}\cdot\frac{dt}{dx}$ を用いる
$y=\log\mid\hspace{2}t\hspace{2}\mid$
$\underline{\hspace{55}t=x^2-1}$
$\frac{dy}{dx}=\frac{1}{t}\cdot 2x=\frac{2x}{x^2-1}$ …(答)

【例5.2】
$y=\log\mid\hspace{2}\frac{x-1}{x+ 1}\hspace{2}\mid$ を微分してください．

（解答）
合成関数の微分法 $\frac{dy}{dx}=\frac{dy}{dt}\cdot\frac{dt}{dx}$ を用いる
$y=\log\mid\hspace{2}t\hspace{2}\mid$
$\underline{\hspace{55}t=\frac{x-1}{x+ 1}}$
$\frac{dy}{dx}=\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\mid\hspace{2}x-1\hspace{2}\mid-\log\mid\hspace{2}x+ 1\hspace{2}\mid$ だから
$y\apos=\frac{1}{x-1}-\frac{1}{x+ 1}=\frac{2}{(x-1)(x+ 1)}$ …(答)

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

例1
$y=\frac{(x-2)^3}{(x+ 1)^4}$ のとき

$\left|\hspace{1}y\hspace{1}\right|=\left|\hspace{1}\frac{(x-2)^3}{(x+ 1)^4}\hspace{1}\right|=\frac{\mid\hspace{1}x-2\hspace{1}\mid^3}{\mid\hspace{1}x+ 1\hspace{1}\mid^4}$
$\log\left|\hspace{1}y\hspace{1}\right|=\log\frac{\mid\hspace{1}x-2\hspace{1}\mid^3}{\mid\hspace{1}x+ 1\hspace{1}\mid^4}$
$=3\log\mid\hspace{1}x-2\hspace{1}\mid-4\log\mid\hspace{1}x+ 1\hspace{1}\mid$
両辺を x で微分する．
左辺の微分は z=log|y| とおくと，合成関数の微分法により

　　= = · y’=

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

右辺の微分は −

したがって，=−

　　y’=y(−)=(−)

　　=

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

　　log y=xlogx

=logx+x · =logx+1

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

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

[ 途中経過 ] y=e5x
------------------
y=et
　　t=5x　とおく
------------------
==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　とおくと
-----------------
= =·2x=

　→　閉じる　←

○　(logax)’= の公式を覚えているとき

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

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

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

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

　→　閉じる　←

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

y’=xlogx·=x−1+log x(2log x)

　→　閉じる　←

対数微分法による
y= → log|y|=(log x+log(x+1))

=(+)=

y’=·=

　→　閉じる　←

指数関数，対数関数の重要な極限値
*** 自然対数の底，ネイピア数の定義 ***
　指数関数 $y=a^x\hspace{5}(a\gt 0,\hspace{2}a\ne 1)$ の導関数をその定義に従って求めようとすると，次の $\big[\hspace{10}\big]$ に示した極限値が必要になる．
$y\apos=\lim_{h\rightarrow 0}\frac{a^{x+ h}-a^x}{h}=a^x$ $\big[\lim_{h\rightarrow 0}\frac{a^{h}-1}{h}\big]$

　また，対数関数 $y=\log_ax\hspace{5}(a\gt 0,\hspace{2}a\ne 1,\hspace{2}x\gt 0)$ の導関数をその定義に従って求めようとすると，次の $\big[\hspace{10}\big]$ に示した極限値が必要になる．
$y\apos=\lim_{h\rightarrow 0}\frac{\log_a(x+ h)-\log_ax}{h}$
$=\lim_{h\rightarrow 0}\frac{\log_a(1+\frac{h}{x})}{h}=\lim_{h\rightarrow 0}\frac{\log_a(1+\frac{h}{x})}{x\cdot\frac{h}{x}}$
$\frac{h}{x}=t$ とおく
$=\lim_{t\rightarrow 0}\frac{1}{x}\cdot$ $\big[\frac{\log_a(1+ t)}{t}\big]$

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

(1) （nは整数）
$\lim_{n\rightarrow\infty}(1+\frac{1}{n})^n=e$

$\rightarrow$

(2) （nは整数）
$\lim_{n\rightarrow\infty}(1-\frac{1}{n})^{-n}=e$

$\downarrow$ $\downarrow$

(3) （xは実数）
$\lim_{x\rightarrow\infty}(1+\frac{1}{x})^{x}=e$

$\rightarrow$

(4) （xは実数）
$\lim_{x\rightarrow -\infty}(1+\frac{1}{x})^{x}=e$

$\searrow\hspace{50}\swarrow$

(5) （hは実数）
$\lim_{h\rightarrow 0}(1+ h)^{\frac{1}{h}}=e$

$\swarrow\hspace{50}\searrow$

(6) （hは実数）
$\lim_{h\rightarrow 0}\frac{e^h-1}{h}=1$

$\overset{\rightarrow}{\leftarrow}$

(7) （hは実数）
$\lim_{h\rightarrow 0}\frac{\log(1+ h)}{h}=1$

$\downarrow$ $\downarrow$

(8) （hは実数）
$\lim_{h\rightarrow 0}\frac{a^h-1}{h}=\log a$

$\overset{\rightarrow}{\leftarrow}$

(9) （hは実数）
$\lim_{h\rightarrow 0}\frac{\log_a(1+ h)}{h}=\frac{1}{\log a}$

$\downarrow$ $\downarrow$

(10)
$(e^x)\apos=e^x$
$(a^x)\apos=a^x\log a$

$\overset{\rightarrow}{\leftarrow}$

(11)
$(\log x)\apos=\frac{1}{x}$
$(\log_a x)\apos=\frac{1}{x\log a}$

(1)の解説

　 $(1+\frac{1}{n})^n$ の値は，次の表のようになり，グラフは右図のようになります．

n	$(1+\frac{1}{n})^n$ $ \displaystyle (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\gt 0$ だから，下に有界です．この数列は0に収束します．

1) 数列 $(1+\frac{1}{n})^n$ が単調増加であることの証明
$(1+\frac{1}{n})^n$ を二項定理を用いて展開すると
$1+ _nC_1(\frac{1}{n})+ _nC_2(\frac{1}{n})^2+ _nC_3(\frac{1}{n})^3+\cdots _nC_k(\frac{1}{n})^k+\cdots$
$=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+\cdots$
$=1+ 1+\frac{1}{2!}(1-\frac{1}{n})+\frac{1}{3!}(1-\frac{1}{n})(1-\frac{2}{n})+\cdots$
第2項まで（1+1）はnの値に依らず等しいが，第k項(k≧3)はnが大きくなると
$\frac{1}{k!}(1-\frac{1}{n})(1-\frac{2}{n})\cdots(1-\frac{k-1}{n})$
$\frac{1}{n},\frac{2}{n},\frac{k-1}{n}$ が小さくなるから
$(1-\frac{1}{n})(1-\frac{2}{n})\cdots(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})+\cdots$
において，各々の $(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})+\cdots$
$\lt 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}\underline{\le}1$
したがって
$\frac{1}{k!}\underline{\le}\frac{1}{2^{k-1}}$
$2+\frac{1}{2!}+\frac{1}{3!}+\frac{1}{4!}\cdot\cdot\cdot\underline{\le}2+\frac{1}{2}\cdot\frac{1-\frac{1}{2^{n-1}}}{1-\frac{1}{2}}=2+(1-\frac{1}{2^{n-1}})$
$\lt 3$
1)2)より，数列 $(1+\frac{1}{n})^n$ は「単調増加」かつ「上に有界」であるから，収束する．

(1)→(2)の証明
$\lim_{n\rightarrow\infty}(1-\frac{1}{n})^{-n}=\lim_{n\rightarrow\infty}(\frac{n-1}{n})^{-n}=\lim_{n\rightarrow\infty}(\frac{n}{n-1})^{n}$
$=\lim_{n\rightarrow\infty}(1+ \frac{1}{n-1})^{n}=\lim_{n\rightarrow\infty}(1+ \frac{1}{n-1})^{n-1}(1+ \frac{1}{n-1})$
$=e$
(1)→(3)の証明
$(0\lt)n\underline{\le}x\underline{\le}n+ 1$ のとき
$\frac{1}{n+ 1}\underline{\le}\frac{1}{x}\underline{\le}\frac{1}{n}$
$(1\lt)1+\frac{1}{n+ 1}\underline{\le}1+\frac{1}{x}\underline{\le}1+\frac{1}{n}$
$(1\lt)(1+\frac{1}{n+ 1})^n\underline{\le}(1+\frac{1}{x})^x\underline{\le}(1+\frac{1}{n})^{n+ 1}$
$\frac{(1+\frac{1}{n+ 1})^{n+ 1}}{1+\frac{1}{n+ 1}}\underline{\le}(1+\frac{1}{x})^x\underline{\le}(1+\frac{1}{n})^{n}(1+\frac{1}{n})$

(1)の $\lim_{n\rightarrow\infty}(1+\frac{1}{n})^n=e$ により，第1辺，第3辺ともeに収束するから，
$\lim_{x\rightarrow\infty}(1+\frac{1}{x})^x=e$
(3)→(4)の証明
$\lim_{x\rightarrow -\infty}(1+\frac{1}{x})^{x}=\lim_{t\rightarrow\infty}(1-\frac{1}{t})^{-t}$
$=\lim_{t\rightarrow\infty}(\frac{t-1}{t})^{-t}=\lim_{t\rightarrow\infty}(\frac{t}{t-1})^{t}$
$=\lim_{t\rightarrow\infty}(1+ \frac{1}{t-1})^{t}=\lim_{t\rightarrow\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\rightarrow+ 0$ のとき， $x\rightarrow\infty$
$\lim_{h\rightarrow+ 0}(1+ h)^{\frac{1}{h}}=\lim_{x\rightarrow\infty}(1+\frac{1}{x})^{x}=e\hspace{10}(\leftarrow (3))$
イ） $h\rightarrow-0$ のとき， $x\rightarrow-\infty$
$\lim_{h\rightarrow-0}(1+ h)^{\frac{1}{h}}=\lim_{x\rightarrow-\infty}(1+\frac{1}{x})^{x}=e\hspace{10}(\leftarrow (4))$
(5)→(7)の証明
$\lim_{h\rightarrow 0}\frac{\log(1+ h)}{h}=\lim_{h\rightarrow 0}\frac{1}{h}\log(1+ h)$
$=\lim_{h\rightarrow 0}\log(1+ h)^{\frac{1}{h}}=\log e=1}\hspace{5}(\leftarrow(5))$
(5)→(6)の証明
$e^h-1=t$ とおくと， $h\rightarrow 0$ のとき， $e^h\rightarrow 1,\hspace{5}t\rightarrow 0$
$e^h=1+ t$ の対数をとると $h=\log(1+ t)$
$\lim_{t\rightarrow 0}\frac{t}{\log(1+ t)}=\lim_{t\rightarrow 0}\frac{1}{\frac{1}{t}\log(1+ t)}$ ･･･(*)
$=\lim_{t\rightarrow 0}\frac{1}{\log(1+ t)^{\frac{1}{t}}}=\frac{1}{\log e}=1$
(7)→(6)の証明
上記の(5)→(6)の証明中の(*)から１とできる

(6)→(8)の証明
$\lim_{h\rightarrow 0}\frac{a^h-1}{h}=\lim_{h\rightarrow 0}\frac{e^{h\log a}-1}{h}$
$=\lim_{h\rightarrow 0}\frac{e^{h\log a}-1}{h\log a}\log a=\log a$
(7)→(9)の証明
$\lim_{h\rightarrow 0}\frac{\log_a(1+ h)}{h}$
分子の底の変換 $a\rightarrow e$ を行うと
$=\lim_{h\rightarrow 0}\frac{\frac{\log(1+ h)}{\log a}}{h}=\lim_{h\rightarrow 0}\frac{\log(1+ h)}{h\log a}$
$=\lim_{h\rightarrow 0}\frac{\log(1+ h)}{h}\cdot\frac{1}{\log a}=\frac{1}{\log a}$
(8)→(9)の証明
$h=a^t-1$ とおくと
$h\rightarrow 0$ のとき， $a^t\rightarrow 1,\hspace{5}t\rightarrow 0$
$a^t=1+ h$ の対数をとると $t=\log_a(1+ h)$
$\lim_{h\rightarrow 0}\frac{\log_a(1+ h)}{h}=\lim_{t\rightarrow 0}\frac{t}{a^t-1}=\lim_{t\rightarrow 0}\frac{1}{\frac{a^t-1}{t}}$
$=\frac{1}{\log a}$

(6)(8)→(10)の証明
$(e^x)\apos=\lim_{h\rightarrow 0}\frac{e^{x+ h}-e^x}{h}=e^x\lim_{h\rightarrow 0}\frac{e^{h}-1}{h}=e^x$
$(a^x)\apos=\lim_{h\rightarrow 0}\frac{a^{x+ h}-a^x}{h}=a^x\lim_{h\rightarrow 0}\frac{a^{h}-1}{h}=a^x\log a$
(7)(9)→(11)の証明
$(\log x)\apos=\lim_{h\rightarrow 0}\frac{\log(x+ h)-\log x}{h}=\lim_{h\rightarrow 0}\frac{\log(1+\frac{h}{x})}{h}$
$=\lim_{h\rightarrow 0}\frac{\log(1+\frac{h}{x})}{\frac{h}{x}\cdot x}=\frac{1}{x}$
$(\log_a x)\apos=\lim_{h\rightarrow 0}\frac{\log_a(x+ h)-\log_a x}{h}=\lim_{h\rightarrow 0}\frac{\log_a(1+\frac{h}{x})}{h}$
$=\lim_{h\rightarrow 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\rightarrow f\apos(x)=a^x\log a\rightarrow f\apos(0)=\log a$ が「ちょうど１になる値a」をeと定めたことになります．

　同様にして， $y=\log_ax$ のグラフでは，x=1のときy=0になるので，点(1, 0)を通りますが，その点で「傾きがちょうど１になる」のは底がeの場合です．
　そこで， $f(x)=\log_ax\rightarrow f\apos(x)=\frac{1}{x\log a}\rightarrow f\apos(1)=\frac{1}{\log a}$ が「ちょうど１になる値a」をeと定めたことになります．

３．　極限値の計算問題

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

2 　　2e 　　e2 　
[　採点と途中経過　]

( ) n =(1−) n ==

（別解）
( ) n = =

= =

2 　　2e 　　e2 　

(1+) n ={ (1+) }2 =e2

　　1 　3e 　　e3

y=(1+x3) とおくと log y=log(1+x3)

=x2 → 0 ( x → 0 ) だから y → 1 ( x → 0 )

2 　　2e 　　e2 　

=· 2=2　

2 　　2e 　　e2 　

=· = 　

○===メニューに戻る

■［個別の頁からの質問に対する回答］[指数関数，対数関数の導関数について／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］

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