2021/04/24 00:35 更新
ネイピア数の導出

神永正博『「超」入門 微分積分』のネイピア数と指数関数の導出について、復習がてらソラで書いた。

ネイピア数について

f(x)=xβf(x) = x^{\beta}の不定積分を[1,x][1,x]について取ると、
1xxβdx=1β+1xβ+11β+11β+1 (β1)\int^{x}_{1}x^{\beta}dx=\frac{1}{\beta +1}x^{\beta + 1} - \frac{1}{\beta + 1}1^{\beta + 1}  (\beta \neq -1)

ここでβ=1\beta = -1とすると、
1xx1dx=11+1(xβ+11)\int^{x}_{1}x^{-1}dx=\frac{1}{-1 +1}(x^{\beta + 1} - 1)となり、計算ができない。
つまり、x1x^{-1}の積分が計算できない。ので、とりあえず結果をyyと置く。

y=1y=1のとき、1β+1(xβ+11)=1\frac{1}{\beta +1}(x^{\beta + 1} - 1) = 1
1β+1(xβ+11)=1\frac{1}{\beta +1}(x^{\beta + 1} - 1) = 1

xβ+11=β+1x^{\beta + 1} - 1 = \beta +1
xβ+1=(β+1)1x^{\beta + 1} = (\beta +1) - 1
x={(β+1)1}1β+1x = \{(\beta +1) - 1\}^ \frac{1}{\beta + 1}
t=β+1t = \beta + 1と置くと、x=(t1)tx = (t - 1)^{t}
β1\beta \to -1なら、β+1=t\beta + 1 = tよりt0t \to 0なので、
x=limt0(t+1)1tx = \lim_{t \to 0} (t + 1)^{\frac{1}{t}}
これを計算すると
https://wandbox.org/permlink/PrixqDBTceBKbUVz
より、x2.718281...=e1x \risingdotseq 2.718281... = e^1

より一般に、
1xx1dx=1β+1(xβ+11)=y\int^{x}_{1}x^{-1}dx=\frac{1}{\beta +1}(x^{\beta + 1} - 1) = y
xβ+1=(β+1)y+1x^{\beta + 1} = (\beta +1)y + 1
ここで、t=(β+1)yt = (\beta + 1)yと置くと、β+1=ty\beta +1 = \frac{t}{y}
xty=t+1x=(t+1)ytx={(t+1)1t}yx=eyx^{\frac{t}{y}} = t + 1 \Leftrightarrow x = (t + 1)^{\frac{y}{t}} \Leftrightarrow x = \{(t + 1)^\frac{1}{t}\}^{y} \Leftrightarrow x = e^y