格爾豐德-施奈德常數

2的${\sqrt {2}}$次方

2的${\sqrt {2}}$次方
命名
名稱	格爾豐德-施奈德常數 希爾伯特數
識別
種類	無理數 超越數
符號	$2^{\sqrt {2}}$
位數數列編號	A007507
表示方式
值	$2^{\sqrt {2}}\approx$2.6651441...
二進位	10.101010100100011011100010…
十進位	2.665144142690225188650297…
十六進位	2.AA46E2F3FB0062E316C62EDE…

格爾豐德-施奈德常數即為2的${\sqrt {2}}$次方，其值為：

$2^{\sqrt {2}}=2.6651441...$

羅季翁·庫茲明在1930年證明此數字是超越數。 1934年蘇聯數學家亞歷山大·格爾豐德和德國數學家西奧多·施耐德分別獨立證明了更一般的格爾豐德-施奈德定理，因此證明格爾豐德-施奈德常數為超越數，也回答了希爾伯特第七問題。

它的平方根

${\sqrt {2^{\sqrt {2}}}}={\sqrt {2}}^{\sqrt {2}}=1.6325269...$

也是一個超越數。在無理數的無理數次方為有理數這個命題中，它可用來提供一個經典、簡捷的證明。

無理數的無理數次方為有理數

儘管已知 ${\sqrt {2}}^{\sqrt {2}}$ 是超越數，自然也就會是無理數。但在不知道它是無理數的情況下，仍可以證明此事。

命題：在在 a, b 是無理數，使得 $a^{b}$為有理數。

證明：

已知${\sqrt {2}}$是無理數，考慮 ${\sqrt {2}}^{\sqrt {2}}$，它有可能是有理數，也可能是無理數。

• 若 ${\sqrt {2}}^{\sqrt {2}}$ 是有理數，即得證。
• 若 ${\sqrt {2}}^{\sqrt {2}}$ 是無理數，則

$\left({\sqrt {2}}^{\sqrt {2}}\right)^{\sqrt {2}}=({\sqrt {2}})^{{\sqrt {2}}\ \times {\sqrt {2}}}=({\sqrt {2}})^{2}=2.$

為有理數，得證。

希爾伯特第七問題

主條目：希爾伯特第七問題

希爾伯特的第七個問題是要證明（或找出反例），如果a是一個不等於0或1的代數數，b是一個無理代數數，則a^b總是超越數。他給出了兩個例子，其中一個就是$2^{\sqrt {2}}$。

1919年，他發表了一個關於數論的演講，談到了三個猜想：黎曼猜想、費馬大定理和$2^{\sqrt {2}}$的超越性。他對觀眾說，在你們還活著的時候肯定沒人證明這三個猜想。但這個數的超越性在1934年得出證明，當時希爾伯特還活著。

參見

• e的π次方
• 希爾伯特數