未解決問題、算術と数論, 解析学、1734年に提起
オイラー–マスケローニ定数の無理性
未解決
オイラー–マスケローニ定数 は無理数であるか。
2026年現在、 が無理数であるかどうかは依然として不明である。 や とは異なり、 は代数不等式で定義された領域上の代数的微分形式の積分としてではなく、 の極 における正則化された定数項として現れるため、コンツェヴィッチとザギエの意味での周期であるかどうかもわかっていない。パデ近似や有理数の対数の一次形式によって の有理近似 を構成できるものの、誤差 に対して分母 の増大が速すぎるため、無理性の証明に必要な という閾値を超えられない。
既知の最良の結果
- アプテカレフ(2009年)およびリヴォアル(2012年):オイラー–マスケローニ定数 とオイラー–ゴンペルツ定数 の少なくとも一方は超越数(したがって無理数)である。
- パパニコラウ(1997年): が既約分数で表されるならば、 である。
使われた手法と限界
| 手法 | 達成したこと | 限界 |
|---|---|---|
| 同時パデ近似と超幾何積分(アプテカレフ–リヴォアル) | のような定数の組に対して選言的な無理性・超越性を証明する | ラプラス型積分から構成される一次形式は必然的に を や と混合させてしまい、 単独を分離できない |
| 高精度連分数展開 | 仮定された有理数の分母 に対して巨大な下界()を確立する | 有限個の桁や部分商の計算では、有限の上界までの分母しか排除できない |
未解決の問い
- オイラー–マスケローニ定数 は無理数か、さらに強く超越数であるか。
- は指数周期であるか、それとも古典的なコンツェヴィッチ–ザギエの意味での周期ではないのか。
参考文献
- Jeffrey C. Lagarias (2013). Euler's constant: Euler's work and modern developments · DOI:10.1090/S0273-0979-2013-01423-X · arXiv:1303.1856
- Julian Havil (2003). Gamma: Exploring Euler's Constant
- Tanguy Rivoal (2012). On the arithmetic nature of the values of the gamma function, Euler's constant, and Gompertz's constant · DOI:10.1307/mmj/1339011525