未解决问题,算术与数论, 分析学,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