ゲルフォントの定数

ゲルフォントの定数（ゲルフォントのていすう、英語: Gelfond's constant）は数学定数の一つで、ネイピア数 e と円周率 π を用いて e^π と表される数である。小数表示は

e^π = 23.14069 26327 79269 00572 90863 67948 54738 02661 06242 60021 19934 45046 40952 43423 50690 45278 35169 71997 06754 92196 76… (オンライン整数列大辞典の数列 A039661)

である。この数はロシアの数学者アレクサンドル・ゲルフォントにちなんで名付けられた。ゲルフォントの定数は e や π と同様に超越数である。このことはゲルフォント＝シュナイダーの定理から証明できる。

数学的性質

ここで i を虚数単位にするとき

e^π はオイラーの公式より

$e^{ix}=\cos x+i\sin x$

から以下のように変形できる。$e^{\pi }=(e^{i\pi })^{-i}=(\cos \pi +i\sin \pi )^{-i}=(-1)^{-i}$

ただしiのi乗同様$e^{3\pi }$、$e^{5\pi }$…や$e^{-\pi }$、$e^{-3\pi }$…などの$e^{(2k+1)\pi }$(kは任意の整数)でもこのような変形ができてしまうため$(-1)^{-i}$が多価であり1つの実数に定まらない事に注意が必要である。

ゲルフォント＝シュナイダーの定理は 「a を 0, 1 でない代数的数、b を有理数でない代数的数とすると、a^b は超越数である」という内容である。a = −1, b = −i はこの条件を満たすので、(−1)⁻ⁱ は超越数である。すなわち e^π は超越数である。

ちなみに、e^e, π^π, π^e などは有理数であるのか無理数であるのか超越数であるのか否かは証明されていない。

$k_{0}={\frac {1}{\sqrt {2}}}$ として

$k_{n}={\frac {1-{\sqrt {1-{k_{n-1}}^{2}}}}{1+{\sqrt {1-{k_{n-1}}^{2}}}}}$

と定義されるとき、 数列

$\left({\frac {4}{k_{n+1}}}\right)^{2^{-n}}$

は e^π に収束する。

e^π − π はほとんど整数である。

e^π − π = 19.99909997918947…

関連項目

• ゲルフォント＝シュナイダーの定理
• 無理数
• 超越数
• en:Mathematical coincidence（数学的偶然の一致）

外部リンク

• Weisstein, Eric W. "Gelfond's Constant". mathworld.wolfram.com (英語).