読者です 読者をやめる 読者になる 読者になる

ネイピア数eの定義がなぜあの形か，先生は説明をしてくれなかった

Written By：Yuki Sako あとで読む

高校3年生の夏，突如として現れた謎の無理数 e

ネイピア数と呼ばれ，自然対数の底によく出てくる e

その eの定義は高校3年生の数学Ⅲの教科書にしれっとこう書いてあります．

e = \displaystyle \lim_{x \to 0} \bigl(1+x\bigr)^{\frac{1}{x}}

もしくは

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

私は初めてこれを習った時，「は？どっからでてきたこれ」ってなりましたが，先生は...

迫

これは定義だからこういうものです

覚えましょう

まぁたしかにそうなんですが，定義の背景には，そう定義すれば都合の良い理由があるはずなんですよね．

ということで，この eの定義について今日は見ていきましょう．

※この記事は，高校数学やり直しアドベントカレンダーの22日目です．

qiita.com

eがよく出てくる所

さて， eがよく出てくるところってどこでしょうか？

そうです，微分ですね．

微分方程式を解いていると，必ずと行っていいほど eが出てきます．

しかも，理系の方ならおなじみ， eには，指数関数 e^xを微分した結果は， e^xとという素晴らしい性質があります．

また，底をeとする対数関数 log(x)の微分は \frac{1}{x}ととてもきれいになりますね．

さて，これって，本当にたまたま e^xや log(x)を微分した結果こうなったのでしょうか？

いや，きれいになるように自然対数 eを定義したと考えるほうが自然じゃないでしょうか？

ということで，今回は，指数関数や対数関数の微分という観点から，ネイピア数 eの定義を見直してみましょう．

微分の定義を確認してみる

さて，微分という観点から eの定義を見直してみるのは良いのですが，その前に微分の定義だけ確認しておきます．

関数 f(x)が与えられた時，導関数 f'(x)は， \displaystyle \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}で定義されます．

微分の定義に関しては，詳しくは扱いません．

気が向いたらまた書きます．

f:id:McG:20161222223212p:plain

指数関数の微分からeを見直してみる

さて，指数関数の微分を見ていきましょう．

指数関数， f(x)=a^xを考えてみます．

先程の微分の定義にしたがって指数関数を微分してみましょう．

f'(x) =\displaystyle \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}

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

さて，指数関数の特徴を使うと， a^{(x+h)}というのは， a^x a^hと書くことが出来ます．

なので，上の式は

= \displaystyle \lim_{h \to 0} \frac{a^x a^h - a^x}{h}

とかけます．

お，都合の良いことに，分子から a^xをくくりだすことが出来ます．

a^xは hに関係ないので，limの前に出せます．

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

おぉ？

これって，もとの f(x) = a^xに \displaystyle \lim_{h \to 0} \frac{a^h - 1}{h}がかかったものですね．

つまり，\displaystyle \lim_{h \to 0} \frac{a^h - 1}{h}が1になるような値aを底とする指数関数は，微分してもそのままで都合がいいになるわけです．

さて，それでは\displaystyle \lim_{h \to 0} \frac{a^h - 1}{h} = 1になるようなaを考えてみます．

\displaystyle \lim_{h \to 0} \frac{a^h - 1}{h} = 1を，aについて解けばいいだけです．

まずは，両辺に hをかけてあげます．

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

そして，左辺の1を右辺へ移行

\displaystyle \lim_{h \to 0} a^h = \displaystyle \lim_{h \to 0} h + 1

そして，両辺を \frac{1}{h}乗します．

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

でました， \displaystyle \lim_{h \to 0} (1 + h)^{\frac{1}{h}}です．

この aがネイピア数 eの定義であり，こう定義すると指数関数の微分がとても扱いやすいというのがわかってもらえたでしょうか？

対数関数の微分からeを見直してみる

さて，指数関数の微分の時に都合の良いのが eだというのが上の話でわかりました．

序盤に考えた，「 log(x)の微分が\frac{1}{x}ときれいになる」についても考えてみましょう

指数関数のときは，底がaの指数関数を考えました．

同様に底がaの対数関数 f(x) = log_a(x)を考えてみます．

これを，定義に従って微分してみます．

f'(x) = \displaystyle \lim_{h \to 0} \frac{f(x+h) - f(x)}{h}

= \displaystyle \lim_{h \to 0} \frac{log_a(x+h) - log_a(x)}{h}

対数関数の性質より， log_a(x+h) - log_a(x) = log_a(\frac{x+h}{x})とかけます．

それを使うと，次のように変形できます．

= \displaystyle \lim_{h \to 0} \frac{log_a(\frac{x+h}{x})}{h}

ちょっと見にくいので，分数を前に出します．

= \displaystyle \lim_{h \to 0} \frac{1}{h} log_a\bigl(\frac{x+h}{x}\bigr)

対数関数の性質より， \alpha log(x) = log(x)^{\alpha}とかけますので，次のように変形できます．

= \displaystyle \lim_{h \to 0} log_a\bigl(\frac{x+h}{x}\bigr)^{\frac{1}{h}}

logの中身を計算します．

= \displaystyle \lim_{h \to 0} log_a\bigl(1+\frac{h}{x}\bigr)^{\frac{1}{h}}

logの中に分数があるのが嫌なので， \frac{h}{x}をなんかの変数で置き換えましょう．

今回は， \frac{h}{x}を tと置いてあげます．

すると， h = xtになります．

また，hが0に近づく時，同じくtも0に近づくので，以下のように変形することが出来ます．

= \displaystyle \lim_{t \to 0} log_a(1+t)^{\frac{1}{xt}}

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

ここで， \frac{1}{x}を対数の前に出し，さらに tに関係ないので limの前に出してあげます．

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

さぁ，見えてきました．

\displaystyle \lim_{t \to 0} log_a(1+t)^{\frac{1}{t}}が1になれば，対数関数の微分がとてもきれいな形になるという話です．

対数の底と真数部分が同じなら，その値は1になります．

つまり，対数の底aを \displaystyle \lim_{t \to 0} (1+t)^{\frac{1}{t}}とすれば，導関数が[tex: \frac{1}{x}になって都合が良いというわけ．

ということで，対数の微分を綺麗にするための底eとして， e = \displaystyle \lim_{t \to 0} (1+t)^{\frac{1}{t}}と定義すれば都合が良い．

まとめ

いかがだったでしょうか？

高校でネイピア数eが初めて出現したときは誰もが感じたであろうこの疑問．

定義の裏にはしっかり背景があるんです．

「定義だから覚えろ!!」という前に，少しこのような話をまぜると，もやもやがなくなります．

© 2016 Yuki Sako.