结果族 017：The irrationality exponent of π is 2 · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
π 像钉在数轴上的一颗小米粒，分数则是一把把精度不同的镊子。这篇论文解决了悬置七十余年的大问题：用分数夹 π，精度顶多到”分母平方”那一档；想再精细哪怕一点点，全世界的分数合起来也只有有限几次侥幸。著名的 Flint–Hills 级数收敛问题也随之落定。
关键词卡片
看个具体例子
祖冲之的密率 355/113 是一次著名的”超常命中”：@@M@@|\pi-355/113|\approx 2.7\times10^{-7}@@，比 @@M@@1/113^3\approx 6.9\times10^{-7}@@ 还小——它精进了 1/q³ 一档。定理说：对任何 ν>2（比如 ν=3），这样的好运总共只有有限次；分母足够大之后，所有分数都满足 |
π−p/q | ≥ 1/q^ν，即 μ(π)=2。 |
为什么值得关心
无理数指数是数学常数的”身份证字段”之一。π 的这一栏从 1953 年 Mahler 的 42 一路压到 7.1，如今精确定格为 2；与它绑定的 Flint–Hills 级数收敛也一并解决。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把 π 想成钉在数轴上的米粒、分数是一把把镊子。换成半数学的说法：我们有一个固定的目标数，和一族编号越来越大、刻度越来越细的近似值（分数）；要研究的是”近似值能贴目标贴得多近”这件事随编号增长能快到什么程度，以及这种异常的贴近能否被系统地排除——”超常命中”不再是碰运气，而是可以被证明只有有限次的对象。
第二级台阶
| 用本科术语精确化：无理数指数 μ(x) 定义为使不等式 0< | x−p/q | <q^−ν 有无穷多组互素整数解 (p,q) 的那些 ν 的上确界，它给”被分数逼近的极端程度”定级。Dirichlet 抽屉原理保证任何无理数都有 μ(x)≥2，且在勒贝格测度意义下几乎所有实数恰好取 2；于是要证的只是上界一侧——π 属于这个”普遍”类别。 |
第三级台阶
| 论文走反证法：假设某个 ν>2 容许无穷多组逼近 | π−p/q | ≤q^−ν。核心工具是一个对数曲线上的多变量插值定理：多项式在有限个中心的泰勒系数（jet）可同时任意指定，条件”权重在中心选定前依次充分分离、阈值不依赖中心”挡住了循环论证，”各坐标两两不同”挡住了插值退化。随后以逼近点为行、加权单项式为列构造非零行列式，把它夹在两个不相容的估计之间：算术下界来自清分母后非零整数绝对值至少为 1，解析上界来自逼近误差因子与”同组行测试同一批整函数”带来的平方型节省。矛盾推出：对每个 ν>2，分母充分大时 | π−p/q | ≥q^−ν，即 μ(π)=2，Flint–Hills 级数随之收敛。 |
论文证明了 @@M@@\mu(\pi)=2@@：对任何 @@M@@\nu>2@@，只要分母 @@M@@q@@ 充分大，一切有理数都满足 @@M@@|\pi-p/q|\ge q^{-\nu}@@。这一悬置七十余年的无理数指数（irrationality exponent）问题就此解决，经典 Flint–Hills 级数 @@M@@\sum_{n\ge1}1/(n^3\sin^2 n)@@ 的收敛性随之获证。
无理数指数 @@M@@\mu(x)@@ 是使不等式 @@M@@0<|x-p/q|<q^{-\nu}@@ 有无穷多组解的 @@M@@\nu@@ 的上确界，度量无理数被有理数逼近的极端程度。抽屉原理给出 @@M@@\mu(x)\ge 2@@，且在测度意义下几乎所有实数取等号，但对 @@M@@\pi@@ 这样的具体常数求精确值极难：Mahler 1953 年首次证明 @@M@@\mu(\pi)@@ 有限（指数 42），此后 Mignotte（21）、Hata（8.0161）、Salikhov（7.6063）、Zeilberger–Zudilin（7.1032）逐步压缩，2026 年 9 月 Bai 的预印本给出 7.1019，离猜想的 2 仍很远；Waldschmidt 在专著中记录了这一猜想的精确形式。与之相连的是 Flint–Hills 问题：弧度制下级数 @@M@@\sum_{n\ge1}1/(n^3\sin^2 n)@@ 是否收敛？当整数 @@M@@n@@ 接近 @@M@@\pi@@ 的整数倍时分母会异常小。Alekseyev 证明收敛要求 @@M@@\mu(\pi)\le 5/2@@，Meiburg 证明 @@M@@\mu(\pi)<5/2@@ 即足够——两道难题在同一门槛相遇。
主定理：@@M@@\mu(\pi)=2@@。精确地说，对每个实数 @@M@@\nu>2@@ 存在整数 @@M@@Q(\nu)@@，使 @@M@@q\ge Q(\nu)@@ 时对一切整数 @@M@@p@@（无论分数是否约分）都有 @@M@@|\pi-p/q|\ge q^{-\nu}@@。证明是非有效的，不给出门限 @@M@@Q(\nu)@@ 的具体数值；且指数 2 弱于”连分数部分商有界”所对应的一致估计 @@M@@c/q^2@@，后者并未证明。推论一：Flint–Hills 级数收敛。推论二：对 @@M@@a,b>0@@，级数 @@M@@\sum n^{-a}|\sin n|^{-b}@@（弧度制）收敛当且仅当 @@M@@a>\max\{1,b\}@@，发散一侧由 @@M@@|\sin n|\le 1@@ 与连分数渐近项的构造覆盖。证明还顺带重新给出 @@M@@\pi@@ 的无理性。
骨架是反证法加”一个行列式、两种估计”：假设某个 @@M@@\nu>2@@ 容许无穷多个超好逼近 @@M@@|\pi-p_i/q_i|\le q_i^{-\nu}@@。
先建立一个多变量插值定理。给坐标 @@M@@Y,X_1,\dots,X_m@@ 赋权，把多项式沿对数曲线替换 @@M@@Y=1+t@@、@@M@@X_i=c_{ji}+u_i+\log(1+t)@@ 后在 @@M@@K@@ 个中心展开。定理断言：只要权重满足两个单纯形体积条件、并在中心选定之前依次取得充分分离，而各中心在每个坐标上两两不同，那么度数充分大时加权多项式空间到各中心泰勒系数包（jet）的映射是满射。阈值不依赖中心位置，这避免了后续选点的循环。定理本身的证明是几何的：先证曲线不等式——任何代数曲线在诸中心的加权接触之和不超过其加权度。若违反，则由单纯形体积计数构造在各中心高阶消失的辅助多项式，它沿交换向量场 @@M@@D_0=Y\partial_Y+\sum_i\partial_{X_i}@@ 的低价导数在某条”持久”代数分支上整体为零；局部重数引理（流坐标下的体积下界对比加权 Bézout 上界）把坐标法丛与微分算子法丛联系起来，与权重分离条件矛盾；再用留数论证——@@M@@dX_i=dY/Y@@ 迫使 @@M@@Y@@ 在该分支上常值，因为 @@M@@dY/Y@@ 在 @@M@@Y@@ 的零点与极点处有非零留数而正合微分没有——把违例曲线压缩到至多经过一个中心。最后经爆破（blow-up）、nef 加 ample 的分解与 Serre 消没，把逐曲线的正性提升为射影概形上的 jet 生成性。
再构造行列式并双端夹逼。行取中心 @@M@@c_{ji}=2\ii jp_i/q_i@@（它们逼近对数周期 @@M@@2\pi\ii j@@）处的系数泛函，列取加权单项式；插值定理保证满行秩，故可取用到全部行的非零方子式 @@M@@\Delta_H@@。一方面是算术下界：用 @@M@@q_i@@ 的幂配平行与列，以最小公倍数估计清除对数截尾展开的分母，高斯整数非零者模至少为 1，得到 @@M@@\log|\Delta_H|/(MH)\ge -(1-\bar b)-\varepsilon@@，其中 @@M@@\bar b@@ 是行的横截权平均份额。另一方面把行平移到精确周期：每行按横截指标 @@M@@a@@ 展开为对整函数 @@M@@f_{a,P}(z)=[u^a]P(e^z,z+u)@@ 泰勒系数的测试，纯量因子携带逼近误差 @@M@@\exp(-\nu w(a-\beta))@@。同一 @@M@@a@@ 的行测试同一组整函数，按 @@M@@z@@ 的幂展开后度数重复的项因系数向量成比例而消失，于是每组贡献平方型节省 @@M@@e^{-c\sum_a n_a^2}@@。由此二选一：多数行横截指标小时组少人多，Cauchy–Schwarz 使碰撞节省压倒算术下界；少数行小时，大量 @@M@@\exp(-\nu\cdot)@@ 误差因子直接压倒算术下界。
最后配参数收官。行数按 @@M@@m+1@@ 维满单纯形计数、小横截指标按 @@M@@m@@ 维满单纯形计数，维数差产生随 @@M@@m@@ 指数增长的碰撞空间 @@M@@L\sim (B/A)^m/2(m+1)@@，而各误差随 @@M@@m@@ 衰减。顺序严格：先固定 @@M@@\nu@@ 与 @@M@@\theta<A<B<1@@ 及常数 @@M@@C@@，再定维数 @@M@@m@@ 与 @@M@@K=\lfloor C^m\rfloor@@，再依次选取充分大的逼近分母，最后才让度数 @@M@@H\to\infty@@，导出矛盾。级数收敛由二进间隔引理（当 @@M@@\|q\pi\|\ge cq^{1-\nu}@@ 且 @@M@@\nu<5/2@@ 时 @@M@@\sum 1/(q^3\|q\pi\|^2)<\infty@@）加按 @@M@@\pi@@ 的最近整数倍分组得到。
本文是结果族 017 的主文，暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。论文自述不依赖任何既有的 @@M@@\mu(\pi)@@ 数值上界，几何输入均为标准工具（加权 Bézout、爆破、Serre 消没），并明确指出 Carella 与 Mantzakouras–López Zapata 两项既往声明的问题所在，文献梳理清醒。但插值定理与行列式估计的推理链条很长、技术性极强，仍需专家逐行核验。
问 1：整篇证明最脆弱的一环在哪里？
（答：对数曲线上的多变量插值定理（Theorem geom:interpolation）。它要先把任何代数曲线在诸中心的加权接触之和控制在加权度之内，再经爆破、nef+ample 分解与 Serre 消没把逐曲线正性提升为 jet 生成性；其中”阈值不依赖中心位置”是硬要求，否则”先定权重后选中心”的顺序就循环了。这一长链几何推理中任何一致性估计的失误，都会连带行列式双端估计一起失效。）
问 2：为什么只证到 ν>2，拿不到一致的 c/q² 下界？
（答：论文在引言明确区分：形如 c/q² 的一致下界等价于 π 的连分数部分商有界，是严格更强的命题，本文并未证明。反证法只能对每个固定 ν>2 排除无穷多组解，且门限 Q(ν) 非有效——证明不给任何具体数值。）
问 3：与 Mahler–Salikhov 这条线相比，真正的新意是什么？
（答：历史上的界（Mahler 42 → Mignotte 21 → Hata 8.016 → Salikhov 7.6063 → Zeilberger–Zudilin 7.1032 → Bai 7.1019）全靠对数线性型构造的定量打磨，论文自述这些只是背景、不是输入。新工具是插值定理的对数曲线版与中心无关阈值，加上”行按横截指标分组、同组测试同一批整函数”的平方型节省机制——一步从 7.10 跳到 2，是方法层面的跳跃而非渐进改进。）
问 4：论文如何处理此前两份有问题的声明？
（答：相当清醒。Mantzakouras–López Zapata 的收敛声明 2026 年 9 月已撤回，论文指出其证明既未建立收敛也未给出所断言的无理性界；对 Carella 宣称的指数 2 加强版，脚注给出具体符号障碍（sin C<0 与论证所需正下界矛盾），同时明说这只驳倒展示的证明、不判定命题本身真伪。）
问 5：AI 生成的证明最可能以什么模式出错？
（答：最可疑的是结尾”二选一”论证——多数行横截指标小时 Cauchy–Schwarz 碰撞节省须压倒算术下界，少数行小时大量误差因子须压倒算术下界——两个方向的常数累计稍有符号或方向错误即崩；其次是插值定理中奇异概形上”逐曲线正性 → jet 生成”的提升。两处均为超长组合推理，且无形式化兜底（formalized: false）。）
问 6：这个结果的下游推论是什么，谁会用到？
| （答：直接推论是 Flint–Hills 级数 ∑1/(n³sin²n) 收敛，以及一般族 ∑n^−a | sin n | ^−b 收敛当且仅当 a>max{1,b} 的完整判据（Corollary series:generalized）；证明还免费重新给出 π 的无理性。今后任何关于 π 的 Diophantine 性质（一致逼近、部分商增长）的工作都以此为基准。） |
总评
（一项把七十年指数竞赛一步终结、并顺手落定 Flint–Hills 的宣布，分量极高；但插值定理与双估计链条长、门限非有效，在专家逐行核验之前应视为”重大但待确认”。）