格尔丰德-施奈德定理

如果${\displaystyle \alpha }$ 和${\displaystyle \beta }$ 是代数数，其中${\displaystyle \alpha \notin \{0,1\}}$ ，且${\displaystyle \beta }$ 不是有理数，那么任何${\displaystyle \alpha ^{\beta }=e^{\{\beta \log \alpha \}}}$ 的值一定是超越数。

• ${\displaystyle \alpha }$  和 ${\displaystyle \beta }$  不限于实数，也可以是虚部不为零的复数。因此，${\displaystyle \alpha ^{\beta }=\exp\{\beta \log \alpha \}}$ 可以是多值的，其中“log”表示复数对数，且该定理对每个值都是成立的。
• 该定理的一个等价的表述是：如果 ${\displaystyle \alpha }$  和 ${\displaystyle \gamma }$  是非零的代数数，那么 ${\displaystyle (\log \gamma )/(\log \alpha )}$  要么是有理数，要么是超越数。

使用反证法。

令 ${\displaystyle \beta =(\log \gamma )/(\log \alpha )=\log _{\alpha }\gamma }$ 

假设 ${\displaystyle \beta }$  不为超越数，也不为有理数，即为代数数

根据此定理，${\displaystyle \alpha ^{\beta }=\gamma }$  为超越数

但 ${\displaystyle \alpha ^{\beta }=\alpha ^{\log _{\alpha }\gamma }=\gamma }$  却是代数数，矛盾。

故 ${\displaystyle (\log \gamma )/(\log \alpha )}$  要么是有理数，要么是超越数。

• 如果没有 ${\displaystyle \alpha }$ ，${\displaystyle \beta }$  是代数数的限制，这个定理未必成立。例如：
  • 令 ${\displaystyle \alpha ={\sqrt {2}}^{\sqrt {2}}}$  为超越数（由本定理可得知），${\displaystyle \beta ={\sqrt {2}}}$  为代数数，则

${\displaystyle {\left({\sqrt {2}}^{\sqrt {2}}\right)}^{\sqrt {2}}={\sqrt {2}}^{{\sqrt {2}}\cdot {\sqrt {2}}}={\sqrt {2}}^{2}=2}$ ，是代数数。

• • 令 ${\displaystyle \alpha =3}$  为代数数，${\displaystyle \beta =\log 2/\log 3}$  为超越数，则

${\displaystyle \alpha ^{\beta }=2}$ ，是代数数。

利用这个定理，立刻就可以推出以下实数的超越性：

• ${\displaystyle 2^{\sqrt {2}}}$ （格尔丰德-施奈德常数）和它的平方根 ${\displaystyle {\sqrt {2}}^{\sqrt {2}}}$ 。
• 格尔丰德常数

${\displaystyle e^{\pi }=\left(e^{i\pi }\right)^{-i}=(-1)^{-i}=23.1406926328\ldots }$ 

• ${\displaystyle i^{i}=\left(e^{\frac {i\pi }{2}}\right)^{i}=e^{-{\frac {\pi }{2}}}=0.20787957635\ldots }$ 

• 林德曼-魏尔斯特拉斯定理
• Schanuel猜想，如果证明了这个猜想，就可以同时推出格尔丰德-施奈德定理和林德曼-魏尔斯特拉斯定理。

• Irrational Numbers, by Ivan Niven; Mathematical Association of America; 埃里克·韦斯坦因. Gelfond-Schneider Theorem. MathWorld.