by オイラーは E が無理数である（2つの整数の比としては表せない）ことを証明し，続いてエルミートは，これが超越数である（整数多項式の根ではない）ことを立証した．しかし， E は無理数度が2であるので，「可能な数の中で最も超越的ではない」数である． E が任意の底で正規数である（b.. 「博士の愛した数式」で有名なオイラー(Euler)の公式の紹介。複素指数関数は三角関数と指数関数を統一的に扱うための美しい性質を秘めている。
ネイピア数（ネイピアすう、英: Napier’s constant）は、数学定数の一つであり、自然対数の底である。ネーピア数、ネピア数とも表記する。記号として通常は e が用いられる。その値は
e = 2.71828 18284 59045 23536 02874 71352 …
と続く超越数である。ネピアの定数とも呼ばれる。欧米では一般にオイラー数 (Euler’s number) と呼ばれる(オイラーの定数 γ やオイラー数列とは異なる。)。また、ネイピア数の e は、18世紀の数学者オイラー（Euler）のeの略といわれる。オイラーにちなんで名づけられた物事の一覧#オイラーの数も参照。
なお、コンピュータにおける指数表記では、e または E がネイピア数ではなく、常用対数の底である10を示すので注意が必要である。ネイピア数は微分積分学に度々登場するため、解析学において重要な数とされる。
歴史
ネイピア数の近似値と言えるものが記された最も古い文献は、1618年、ジョン・ネイピアによって発表された対数の研究の付録に収録されていた表である。その表自体はウィリアム・アウトレッドによって書かれたとされている。
厳密にネイピア数そのものを見い出したのはヤコブ・ベルヌーイと言われており、複利の計算で
lim
n
→
∞
(
1
+
1
n
)
n
{\displaystyle \lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}}
を求めようとした。これは e に等しくなる。
この数に初めて定数記号を割り当てたのはゴットフリート・ライプニッツだとされている。1690年と1691年のクリスティアーン・ホイヘンス宛ての手紙の中で、記号 b を用いた。レオンハルト・オイラーは、1727年からこの数を表すのに記号 e を使い始め、オイラーによる1736年の『力学』がネイピア数を e で表した最初の出版物となった。その後しばらくは c によってこの数を表す流儀もあったが、やがて e が標準的な記号として受け入れられるようになった。
オイラーは、指数関数 ax が
d
d
x
a
x
=
a
x
{\displaystyle {\frac {d}{dx}}a^{x}=a^{x}}
を満たすとき a = e であることを示した。
さらに積分
∫
1
x
d
t
t
{\displaystyle \int _{1}^{x}{\frac {dt}{t}}}
が対数の性質を持ち、対数として見た時の底が e でもあることを示した。この対数を自然対数という。
定義
オイラーによる定義
e は
d
d
x
a
x
=
lim
h
→
0
a
x
+
h
−
a
x
h
=
a
x
lim
h
→
0
a
h
−
1
h
=
a
x
{\displaystyle {\frac {d}{dx}}\,a^{x}=\lim _{h\rightarrow 0}{\frac {a^{x+h}-a^{x}}{h}}=a^{x}\lim _{h\rightarrow 0}{\frac {a^{h}-1}{h}}=a^{x}}
を満たすような実数 a、つまり
lim
h
→
0
e
h
−
1
h
=
1
{\displaystyle \lim _{h\rightarrow 0}{\frac {e^{h}-1}{h}}=1}
をネイピア数の定義とした。
収束数列による定義
以下の式の右辺は、ヤコブ・ベルヌーイによって、利子の連続複利の計算との関連で言及されたものである。
e
=
lim
n
→
+
∞
(
1
+
1
n
)
n
{\displaystyle e=\lim _{n\to +\infty }\left(1+{\frac {1}{n}}\right)^{n}}
元金1を年利1、付利期間を 1/n 年で1年預金すれば、1/n 年ごとに利子 1/n で元利合計が増えていき、1年経つと右辺の式になる。n → ＋∞ とした極限は連続複利の元利合計となる。
オイラーは、導関数が元の関数と等しい指数関数の底が、この式の右辺によって求まることを示した。ここで n は自然数だが、n を実数として変動させた場合も上の式は同じ値に収束する。
微分積分学の基本的な関数を使った定義
e
=
exp
1
=
∑
n
=
0
∞
1
n
!
{\displaystyle e=\exp 1=\sum _{n=0}^{\infty }{\frac {1}{n!}}}
ln
e
=
1
{\displaystyle \ln e=1}
exp x は指数関数、ln x は自然対数であり、互いに逆関数になっている。指数関数や自然対数をネイピア数 e により定義する場合、これらの式によりネイピア数を定義することは、循環定義となってしまう。そのためにネイピア数 e を用いない指数関数・対数関数の定義として以下のものがある。
定義に用いられる諸公式
ネイピア数を定義するために用いられる指数関数や対数関数の性質・公式を挙げる。これらの式と e = exp 1 などを組み合わせることによって、ネイピア数が定義できる。
-
exp
x
=∑
n
=
0∞
x
n
n
!{\displaystyle \exp x=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}}
これは関数
exp
x
=e
x
{\displaystyle \exp x=e^{x}}
をテイラー展開したものである。
-
d
d
xy
(
x
)
=
y
(
x
)
,y
(
0
)
=
1{\displaystyle {\frac {d}{dx}}y(x)=y(x),\quad y(0)=1}
という常微分方程式の初期値問題の解 y(x) によって exp x = y(x) が定義される。
-
∫
1
x
d
tt
=
ln
x{\displaystyle \int _{1}^{x}{\frac {dt}{t}}=\ln x}
-
d
d
ax
a
|
a
=
0=
ln
x{\displaystyle \left.{\frac {d}{da}}x^{a}\right|_{a=0}=\ln x}
性質
n → +∞ とした極限は、
lim
n
→
+
∞
(
1
+
1
n
)
n
=
e
{\displaystyle \lim _{n\to +\infty }\left(1+{\frac {1}{n}}\right)^{n}=e}
一般に、任意の実数 x に対して、
lim
n
→
+
∞
(
1
+
x
n
)
n
=
e
x
{\displaystyle \lim _{n\to +\infty }\left(1+{\frac {x}{n}}\right)^{n}=e^{x}}
特に、x＝－1 の場合、
lim
n
→
+
∞
(
1
−
1
n
)
n
=
1
e
{\displaystyle \lim _{n\to +\infty }\left(1-{\frac {1}{n}}\right)^{n}={\frac {1}{e}}}
が成り立つ。
また、上記の式は、n → 0とした極限に変え、1/nとnを入れ替えても成立する。
底が e の指数関数 ex の導関数と不定積分は
d
d
x
e
x
=
e
x
,
{\displaystyle {\frac {d}{dx}}e^{x}=e^{x},}
∫
e
x
d
x
=
e
x
+
C
{\displaystyle \int e^{x}\,dx=e^{x}+C}
（C は積分定数）
となる。また、底が e の対数関数 loge x（ln x あるいは（紛らわしくない場合）log x と書くことが多い）の導関数は
d
d
x
ln
x
=
1
x
{\displaystyle {\frac {d}{dx}}\ln x={\frac {1}{x}}}
となる。したがってまた
∫
d
x
x
=
ln
x
+
C
{\displaystyle \int {\frac {dx}{x}}=\ln x+C}
である。
e は無理数である（ネイピア数の無理性の証明、オイラー、1744年）だけでなく超越数でもある（シャルル・エルミート、1873年）。
指数関数の解析接続によって一般の複素数を指数とした e の冪乗 ez が定義されるが、特に純虚数を指数とする冪はオイラーの公式として知られる関係式
e
i
x
=
cos
x
+
i
sin
x
{\displaystyle e^{ix}=\cos x+i\sin x}
を満たす。この式の特別な場合として x = π（π は円周率）を代入して得られるオイラーの等式
e
i
π
+
1
=
0
{\displaystyle e^{i\pi }+1=0}
または
e
i
π
=
−
1
{\displaystyle e^{i\pi }=-1}
において前者はネイピアの数を含む5つの基本的な数学定数 e, i, π, 0, 1 の間の、後者は e, i, π, −1 の間の直観的には全く明らかではない関係を記述するものである。
ネイピア数は以下の規則的な連分数展開を持つ：
e = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, 1, 1, 10, …]
特に 11/4 = 2.75, 19/7 = 2.714…, … などは e の近似値である。
表記
ネイピア数 e を立体と斜体とのどちらで表記するかは、国や分野によって異なる。国際標準化機構、日本産業規格、日本物理学会などは、e のような定数は立体で表記することを定めている。
例：
y
=
e
x
,
x
=
log
e
y
.
{\displaystyle y=\mathrm {e} ^{x},\quad x=\log _{\mathrm {\,e} }y.}
しかし、数学の分野では、斜体の一つであるイタリック体で表記されることが多い。
例：
y
=
e
x
,
x
=
log
e
y
.
{\displaystyle y=e^{x},\quad x=\log _{\,e}y.}
ただし、フランスでは数学の書籍でも立体での表記が比較的多く見つかる。
値
小数点以下1000桁までの値を示す：
e = 2.
7182818284 5904523536 0287471352 6624977572 4709369995 9574966967 6277240766 3035354759 4571382178 5251664274 2746639193 2003059921 8174135966 2904357290 0334295260 5956307381 3232862794 3490763233 8298807531 9525101901 1573834187 9307021540 8914993488 4167509244 7614606680 8226480016 8477411853 7423454424 3710753907 7744992069 5517027618 3860626133 1384583000 7520449338 2656029760 6737113200 7093287091 2744374704 7230696977 2093101416 9283681902 5515108657 4637721112 5238978442 5056953696 7707854499 6996794686 4454905987 9316368892 3009879312 7736178215 4249992295 7635148220 8269895193 6680331825 2886939849 6465105820 9392398294 8879332036 2509443117 3012381970 6841614039 7019837679 3206832823 7646480429 5311802328 7825098194 5581530175 6717361332 0698112509 9618188159 3041690351 5988885193 4580727386 6738589422 8792284998 9208680582 5749279610 4841984443 6346324496 8487560233 6248270419 7862320900 2160990235 3043699418 4914631409 3431738143 6405462531 5209618369 0888707016 7683964243 7814059271 4563549061 3031072085 1038375051 0115747704 1718986106 8739696552 1267154688 9570350354 …
覚え方
ネイピア数と呼ばれる自然対数の底
e = 2.718281828459045…
には以下のような語呂合わせで記憶する方法が知られている。
鮒（ふな）一鉢（ひとはち）二鉢（ふたはち）一鉢（ひとはち）二鉢（ふたはち）至極（しごく）惜（お）しい
鮒（ふな）一鉢（ひとはち）二鉢（ふたはち）一鉢（ひとはち）二鉢（ふたはち）至極（しごく）美味（おい）しい
脚注
参考文献
- Yeo・エイドリアン 著、久保儀明、蓮見亮 訳『πとeの話 数の不思議』青土社、2008年10月。ISBN 978-4-7917-6439-6。https://www.seidosha.co.jp/book/index.php?id=1663。
- 高木貞治『解析概論』（改訂第3版 軽装版）岩波書店、1983年9月27日。ISBN 4-00-005171-7。https://www.iwanami.co.jp/book/b265485.html。
- 高木貞治『定本 解析概論』岩波書店、2010年9月15日。ISBN 978-4-00-005209-2。https://www.iwanami.co.jp/book/b265489.html。
- L. S. ポントリャーギン 著、坂本實 訳『やさしい微積分』筑摩書房〈ちくま学芸文庫 ホ13-1 Math & Science〉、2008年8月6日。ISBN 978-4-480-09149-9。https://www.chikumashobo.co.jp/product/9784480091499/。
関連項目
外部リンク
- ブリタニカ国際大百科事典 小項目事典『ネーピアの数』 – コトバンク
- 竹之内脩『自然対数』 – コトバンク
- 『自然対数の底（ネイピア数）の定義：収束することの証明』 – 高校数学の美しい物語
- Sondow, Jonathan and Weisstein, Eric W. [英語版]. “e”. mathworld.wolfram.com (英語).{{cite web2}}: CS1メンテナンス: 複数の名前/author (カテゴリ)
- “constant Napier’s constant”. Wolfram Alpha. 2023年5月28日閲覧。
- eの近似値（500万桁）2015年3月30日閲覧
オイラー定数について 続き｜Pythonic HighSchool
オイラー虚数単位iの齟齬とシュレディンガー波動方程式の数論破りの忖度 発想力教育研究所 素数誕生のメカニズム
平面グラフ オイラーの公式 オイラーの公式 わかりやすく DOBR
E オイラー オイラーの公式 代入 オイラーの等式 JAJJ
円周率πは無理数、高校数学で証明する すうがくブログ【式変形ch】
オイラー数「e」（3） 午後はカフェで経済学
E Iθ 絶対値, オイラーの公式 公式 _ 複素数の指数関数表示【オイラーの式】 WWQL
[291] 複素数で遊ぼう 2 オイラーの公式 極形式 対数微分 半角の公式 倍角の公式 最後のガロア YouTube
オイラー積 オイラー積 素数 NIIKZM
オイラー標数の紹介 YouTube
オイラーの多面体定理 サッカーボール サッカーボール 面の数 ZSCCP
博士の愛した数式 オイラーの公式 _ 博士の愛した数式 解説 Kacte Online
e の 計算 オイラー数 求め方 VISHUJI
柔らかい幾何学1（オイラー数、オイラーの公式）｜ToY.（数学）
美しい数式図鑑 No.1 『オイラーの等式』｜ナウシカ｜note
オイラーの公式(euler’s formula)とは何ですか？ オイラーの公式 わかりやすく QAYO
オイラー式とは オイラーの公式の導出 , オイラーの公式とフーリエ級数展開【力学入門】 NADOX
柔らかい幾何学1（オイラー数、オイラーの公式）｜ToY.（数学）
オイラーの公式係数 _ オイラーの関係式 オイラーの関係式とは？ 意味や使い方 NQZJBQ
オイラーの等式：e^{i\pi} + 1 = 0｜スン博士
欧米では一般に オイラー数 (Euler’s number) と呼ばれる (オイラーの定数 γ や オイラー数 列とは異なる。 )。 また、ネイピア数の e は、 18世紀 の数学者 オイラー （Euler）のeの略といわれる [1]。 オイラーにちなんで名づけられた物事の一覧#オイラーの数 も.. どうも、木村（@kimu3_slime）です。 高校数学では、指数関数や対数関数を学ぶときに、 e e （オイラー数、ネイピア数）と呼ばれる数を学びます。 なぜそんな数が登場するのでしょうか。今回は、指数関数、対数関数の微分を単純化するときに、 e e が自然に登場することを紹介します。
