结果族 005：Irrationality of Catalan’s constant · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
@@M@@0.916\ldots@@ 这个数看着平平无奇：它是 @@M@@1-\frac19+\frac1{25}-\frac1{49}+\cdots@@ 的和，叫卡塔兰常数 @@M@@G@@，从 1849 年起就排在”不知道是不是分数”的常数名单上。同族的奇数点值早知是 @@M@@\pi@@ 幂的有理倍数，偏偏偶数点顽固至今。这篇论文给它定了性：@@M@@G@@ 是无理数。办法很”会计”：构造一列行列式，同时记两本账，再证明只要 @@M@@G@@ 是分数，两本账必然对不上。
关键词卡片
@@M@@G=\sum_{j\ge0}(-1)^j/(2j+1)^2@@，狄利克雷 beta 函数在 @@M@@s=2@@ 的值。@@M@@p@@ 的因子——”分母账本”的精确刻度。@@M@@G@@ 失效的原因——通分后误差不趋于零，本文绕开了它。看个具体例子
先看级数本身如何一上一下夹逼出 @@M@@G\approx0.91597@@：
收敛不稀奇，稀奇在后手：论文造出 @@M@@48N@@ 阶行列式 @@M@@\Delta_N@@，若 @@M@@G@@ 是分数，@@M@@\Delta_N@@ 必是有理数，于是”分母账”给出下界 @@M@@\liminf\mathcal L_N>-2.29084@@；而与假设无关的”实数账”给出上界 @@M@@\limsup\mathcal L_N\le-2.290939875@@。上界严格压过下界，两本账差之毫厘却绝不兼容——所以 @@M@@G@@ 只能无理。
为什么值得关心
与 @@M@@\pi@@、@@M@@\mathrm{e}@@、@@M@@\zeta(3)@@ 同级的”常数名单”又划掉一个；同一论证还推出某些双曲三维流形的最小体积是无理数。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”会计法”里，对象是那个上下交替求和得到的常数，外加一族被造出来的行列式；操作是同时记两本账——分母侧看行列式里素数因子的账，实数侧看它绝对值的账——并证明只要该常数是分数，两本账必然对不上。
第二级台阶
| 精确化概念：卡塔兰常数 G=β(2) 是模 4 奇二次特征的 L(2,χ₋₄)；素数赋值 v_p 数一个有理数含多少个 p 的因子，是”分母账本”的刻度。论文构造 48N 阶行列式 Δ_N，条目是两个初等积分核的矩，每个矩都可写成”有理数 + 4G·(系数) + ζ(2)·(系数)”；归一化量 L_N=log | Δ_N | /(48N)²−½log2 则是两本账共同的记账单位。 |
第三级台阶
定理陈述的语境：奇数点 beta 值已知是 π 幂的有理倍，偶数点悬置；经典阿佩里路线要求整数线性形式趋于零，而 G 的全部已知逼近在通分后误差不衰亡——”分母代价”堵死直路。论文假设 G∈ℚ，配合行多项式的高阶泰勒”接触”设计使 ζ(2) 系数逐条目相消，于是每个 Δ_N 都是有理数；分母侧账本给出 liminf L_N>−2.29084（素数赋值加素数定理），非零性由取 N 为大素数、模 p 约化到三个 48×48 固定矩阵的显式证书补足；与假设无关的实数侧给出 limsup L_N≤−2.290939875。上界严格压过下界，两账不容，故 G 无理。
论文证明卡塔兰常数（Catalan’s constant）@@M@@G=\sum_{j\ge0}(-1)^j/(2j+1)^2@@ 是无理数（irrational）。做法是对一族 @@M@@48N@@ 阶行列式同时给出”素数赋值下界”与”实侧上界”，两条界随 @@M@@N@@ 增长必不相容，故 @@M@@G@@ 不可能是有理数。
卡塔兰常数是狄利克雷 beta 函数（Dirichlet beta function）@@M@@\beta(s)=\sum_{j\ge0}(-1)^j/(2j+1)^s@@ 在 @@M@@s=2@@ 处的值，即模 @@M@@4@@ 奇二次特征的 @@M@@L(2,\chi_{-4})@@。奇数点的 beta 值是 @@M@@\pi@@ 相应幂的有理倍，偶数点的算术性质却长期未知。Rivoal 与 Zudilin（2003）证明无穷多个偶 beta 值无理、且 @@M@@\beta(2),\ldots,\beta(14)@@ 中至少一个无理；Zudilin（2019）、Lai–Zhou（2022）又把范围缩到 @@M@@\beta(2),\ldots,\beta(10)@@ 中至少一个，但始终指不出具体是哪个。对单个值，经典阿佩里（Apéry）策略需要整数线性形式 @@M@@A_mG-B_m\to0@@：对 @@M@@G@@ 的既有构造（类阿佩里递推、连分数、二重积分，均属 Zudilin 2003）虽有收敛极快的有理逼近，通分后误差却不趋于零——这一”分母代价”障碍正是本文要绕开的困难。另注：Sun（2026）也独立宣布了同一结论，本文未使用其任何结果。
定理：@@M@@G@@ 是无理数。
证明骨架是构造 @@M@@n\times n@@（@@M@@n=48N@@）行列式 @@M@@\Delta_N@@：条目由两个初等积分核的矩组成，每个矩可写成”有理部分 @@M@@+\;4G\cdot(\cdots)+\zeta(2)\cdot(\cdots)@@“的组合；行多项式的设计使 @@M@@\zeta(2)@@ 项在所有条目中恰好相消，于是只要假设 @@M@@G\in\mathbb Q@@，@@M@@\Delta_N@@ 就是有理数。对归一化量
@@M@@D\mathcal L_N=\frac{\log|\Delta_N|}{(48N)^2}-\tfrac12\log2,@@
论文给出两条不相容的界：其一，在”@@M@@G@@ 有理”假设下，素数赋值给出 @@M@@\liminf\mathcal L_N>-2.29084@@（沿 @@M@@\Delta_N\ne0@@ 的序列，且可取 @@M@@N@@ 为素数）；其二，不依赖任何假设的实侧估计给出 @@M@@\limsup\mathcal L_N\le-2.290939875<-2.2909@@。矛盾，故 @@M@@G@@ 无理。引言还指出，结论一节由同一论证推出：恰有两个尖点（cusp）的可定向完备有限体积双曲三维流形（hyperbolic three-manifold）之最小体积无理，以及某些算术双曲体积无理。
全文逻辑是”先造行列式，再算下界与非零性，最后压上界”。
先看构造与有理化。作者经代换 @@M@@t=2w/(1+w^2)@@ 定义行多项式 @@M@@R_r=(1-t)^h t^{C-1}w^{r-g}@@ 及其对称化 @@M@@P_r@@、@@M@@D_r@@（皆为切比雪夫多项式 Chebyshev polynomials 的组合），关键是一条”接触”恒等式 @@M@@tP_r/f-D_r=O(t^L)@@。矩 @@M@@M(i,j),Z(i,j)@@ 满足递归，边界初值恰为 @@M@@K^-_0=K^+_0=4G@@ 与 @@M@@K^+_1=\pi^2/4=\tfrac32\zeta(2)@@——这正是 @@M@@G@@ 与 @@M@@\zeta(2)@@ 进入条目的通道；接触恒等式使每个条目中 @@M@@\zeta(2)@@ 的系数为零，故 @@M@@G\in\mathbb Q@@ 蕴含 @@M@@\Delta_N\in\mathbb Q@@。
再算下界。非零有理数的绝对值由其素数赋值（prime valuation）决定，故分母估计给出 @@M@@\log|\Delta_N|@@ 的下界。在 @@M@@p=2@@ 处，把矩级数 @@M@@2@@-adic 化并将每列拆成三类，用柯西–比内公式（Cauchy–Binet）与超度量不等式得 @@M@@v_2(\Delta_N)\ge-\tfrac{505}{4608}n^2-O_G(n\log n)@@。在奇素数处，”数字约减”引理借二项式系数同余把大矩阵逐层约化：配对列求和把分母 @@M@@p^2@@ 降为 @@M@@p@@，对 @@M@@p>H/2@@ 再用中心层消去引理清点剩余坏列；对损失函数分段积分并用素数定理（prime number theorem）@@M@@\theta(y)\sim y@@ 求和，得总损失 @@M@@\int_0^{65}d(x)\,dx=\tfrac{8609}{2}@@，从而下界 @@M@@>-2.29084@@。但下界只对非零行列式有效：作者取 @@M@@N=p@@ 为大素数，用弗罗贝尼乌斯（Frobenius）映射与两组回文多项式基，把矩阵模 @@M@@p@@ 约化成 @@M@@I_p\otimes\mathcal B_0+\Pi^T\otimes\mathcal B_1@@ 的克罗内克积（Kronecker product）结构，行列式分解为三个 @@M@@48\times48@@ 固定有理矩阵 @@M@@\mathcal B_0,\mathcal B_0\pm\mathcal B_1@@ 的乘积；后三者的非零性由模 @@M@@101@@ 的精确高斯消元主元表证明，于是 @@M@@v_p(\Delta_p)=-96p\ne\infty@@。
最后压上界，这一步不需要任何有理性假设：安德烈夫恒等式（Andréief identity）与柯西双交错行列式（Cauchy double alternant）把 @@M@@\Delta_N@@ 写成双行列式积分并分离出范德蒙德（Vandermonde）因子；在坐标 @@M@@x=t/(1+\sqrt{1-t^2})@@ 下，行按 @@M@@x<0@@、@@M@@x>0@@ 分成两个”叶”。混合求值行列式分两种情形：满足某能量条件时，用哈代空间（Hardy space @@M@@H^2@@）的压缩与有界解析插值函数 @@M@@h_*@@（以形如布拉斯克乘积 Blaschke product 的 @@M@@B(z)=\prod_i\frac{z-x_i}{1-x_iz}@@ 配合柯西积分粘合构造）得到 @@M@@(1+K_0n)^n@@ 型因子，且插值行列式被代数消去，避开了病态的逆范德蒙德估计；条件失效时改用哈达玛不等式（Hadamard’s inequality）。随后用切比雪夫展开把对数核写成负二次型，阻尼正则化控制对角与端点后，以显式有理试验系数把二次型换成两个单变量上确界；最终由有理数据证书穷举驻点得 @@M@@\limsup\mathcal L_N\le-2.290939875@@。两条界不相容，@@M@@G@@ 无理。
本批任务将本篇标注为 formalized: false，故验证状态为”暂无形式化证明，请以社区核验为准”；族元数据另附一份 Lean 说明文档（lean/docs/005.md），声称其形式化范围即标题断言并列出比较器文件 Catalan.lean，读者可自行核对两者出入。论文内部各环节互相支撑：非零性论证为下界补足”沿素数序列非零”的前提，第 7 节的有理数据证书支撑实侧上界（certificate 与 conclusion 两节不在本次精读范围内，其数值常数取自引言的陈述）。OpenAI 官方声明：未经形式化的结果可能有问题。
问 1：证明里最脆弱的一步是什么？
答：余量本身。两条界 −2.29084 与 −2.290939875 只差约 10⁻⁴，整个证明活在一根剃刀边上：奇素数处的分层约减（配对列把分母 p² 降到 p、中心层消去、损失函数分段积分到 ∫₀⁶⁵d(x)dx=8609/2）与实侧的能量正则化、驻点穷举中，任何一处的常数哪怕松掉万分之一，矛盾就翻转为相容。所有中间估计都顶着最优常数走，没有缓冲垫。
问 2：非零性问题是怎么解决的？为什么必须取 N 为素数？
答：下界只对非零行列式有效，而本文的行列式是混合带号的，Zudilin 判据里的正性保证不存在。取 N=p 为大素数后，Frobenius 映射加两组回文多项式基把矩阵模 p 约化成 I_p⊗B₀+Π^T⊗B₁ 的克罗内克积结构，行列式分解为三个 48×48 固定有理矩阵 B₀、B₀±B₁ 之积，其非零性由模 101 的精确高斯消元主元表证明，得 v_p(Δ_p)=−96p。素数 N 是让 Frobenius 约化闭合的钥匙。
问 3：与 Zudilin 2017 的行列式判据相比，真正的新意是什么？
答：三处：其一，ζ(2) 相消——实恒等式里多出的 π² 项正是 Calegari 的 2-进类似物搬不到实数域的原因，本文用行多项式的泰勒接触直接消掉它；其二，非零性靠算术（素数尺度约化+证书）而非正性；其三，实侧估计用哈代空间压缩与有界插值函数 h* 让插值行列式代数相消，避开病态的逆范德蒙德估计。混合带号行列式的两叶（x<0、x>0）分别用插值界与 Hadamard 界处理。
问 4：外部依赖与可核验性如何？
答：解析侧唯一素数分布输入是普通素数定理（局部自证）；数值侧靠两份”有理数据证书”——实侧证书穷举全部驻点并界定整个根区间，非零性证书是模 101 主元表，论文称补充程序可复现。常数允许依赖”假想赋给 G 的有理值”但不得依赖 N（约定一节明言）。这些设计明显为可核验性服务，但证书本身仍需独立复核。
问 5：AI 生成证明最可能出错的模式是什么？
答：本文 formalized=false（族元数据附的 Lean 文档与主文是否同一断言尚需比对）。最危险处是”证书与陈述的错位”：证书验证的是有理数据代入后的某个驻点集，若遗漏一个根区间或某分支的能量条件判断反了，上限 −2.290939875 便不再成立；其次是 48×48 矩阵模 101 消元若有一处主元取值有误，素数序列上的非零性断链。两处都是机器可查的，恰是最该立刻查的。
问 6：下游推论是什么？
答：结论一节：由 Agol 定理，4G 是恰有两尖点的可定向完备有限体积双曲三维流形的最小体积（Whitehead 链环与 (−2,3,8) 辫链补空间取到），故该最小体积及两个链体积均无理；更进一步，凡定义在 ℚ(i) 上的算术双曲三维轨形的体积都是 G 的正有理倍，从而无理（例：PSL₂(ℤ[i]) 商的体积恰为 G/3）。但注意结论是定性的，不给无理性度量。
总评
继 ζ(3) 之后”常数名单”上又划掉一个百年老户，且附赠双曲体积无理性的一串推论，方法上把行列式判据推到正性失效的地带，颇有分量；但其证据链绷在 10⁻⁴ 的余量上、依赖两份未广检的机器证书，在独立复核落地之前，”精彩但待证”是最稳妥的定位。