问题
狄利克雷 β 函数 β(s) = Σn=0∞ (−1)n/(2n+1)s 是模 4 非平凡特征 χ₄（χ₄(1)=χ₄(−1)=1, χ₄(3)=−1）的 L 函数。卡塔兰常数 G = β(2) ≈ 0.915965… 的无理性悬置至今。结构性的尴尬（命题 2）：奇数点 β(2k+1) 全部是 π 的有理倍数——超越数；偶数点 β(2k) 一个的无理性都没证。这与 ζ 正好相反（ζ 偶值全知、奇值几乎全盲），两种盲区互为镜像，却没有任何已知方法能把一边的力量搬到另一边。
主要概念
χ₄ 与莱布尼茨级数
β(1) = 1 − 1/3 + 1/5 − 1/7 + ⋯ = π/4 是莱布尼茨 1674 年的级数。它暗示 β 的每个奇值点都可能 «携带 π 的幂»——事实如此（命题 2）。
为何 β(2) 是双盲区
（一）ζ 奇值的无理性靠 Apéry 型级数——序列结构来自 «分部求和的三次组合»，其机制对 β(2)（交错模 4 的二次和）不兼容。（二）β 奇值的无理性/超越性靠欧拉 «β(2k+1) ∈ π2k+1ℚ» 的公式——由欧拉数（secant 数）驱动，而偶值点没有对应公式。（三）Beukers 型积分（双变量，靠 «log 的卷积»）覆盖 ζ(3) 与 β(2) 的 «近邻»（如 β(1)），恰在 β(2) 处的收敛指数不达标。三条主流管线全部以 β(2) 为自然盲点。
主要命题与证明
命题 1（完整证明） β(1) = π/4。
证明 对 |x| ≤ 1 有 arctan x = Σn≥0 (−1)nx2n+1/(2n+1)（几何级数 1/(1+t²) 逐项积分）。在 x = 1 处级数条件收敛；由阿贝尔定理（幂级数在收敛端点的极限 = 和函数的极限），limx→1⁻ arctan x = π/4 等于级数和。故 β(1) = π/4。□
命题 2（欧拉公式，完整陈述与证明梗概） 对每个 k ≥ 0，β(2k+1) = |E2k|·π2k+1/(4k+1(2k)!)，其中 E2k 为欧拉数（sec x = Σ E2mx2m/(2m)! 的系数）。因此 β 的所有奇值都是 π 的幂乘有理数，全部超越（π 超越）。
梗概 对 β 的欧拉乘积 β(s) = ∏p 素 (1 − χ₄(p)p−s)−1 与广义伯努利数的特殊值公式做对比：χ₄ 是判别式 −4 的二次特征，其完整特殊值理论给出 L(2k+1, χ₄) = 常数·|E2k|·π2k+1/(4k+1(2k)!) 型公式——归一常数由高斯和 τ(χ₄) = 2 的显式值给出。另一条更初等的路：对 arctan 的欧拉部分分式恒等式在 x = 1 处展开，与 β(2k+1) 的交错和逐项对齐（欧拉 1740 年的原始推导）。两条路殊途同归于同一公式。□
命题 3（β 函数的函数方程） Λ(s) = (4/π)(s+1)/2Γ((s+1)/2)β(s) 满足 Λ(s) = Λ(1−s)。故 β(2) 与 β(−1) 成对：β(−1) = −E1…（«临界带另一半» 的值是初等数——但对 β(2) 的无理性毫无帮助，正如 ζ 的函数方程对 ζ(3) 无帮助）。
命题 4（与 ζ 盲区的精确对偶） ζ 与 β 的 «已知/未知» 分布互为镜像：ζ(2k) ∈ π2kℚ 全部超越（欧拉），ζ(2k+1) 除 ζ(3) 外全盲；β(2k+1) ∈ π2k+1ℚ 全部超越，β(2k) 全盲。两族函数通过 «偶/奇» 的对偶——但没有任何已知的变换把 ζ(3) 的无理性证明转译为 β(2) 的。
进展与文献
卡塔兰 1865 年引进该常数（得名于欧仁·卡塔兰，与卡塔兰猜想无关）；Finch 的数学常数手册给出最全的表示清单。计算：1.3 万亿位（2020 年代）。理论尝试：Rivoal 与 Fischler–Rivoal 的 «多值联立» 框架可以同时处理 ζ 与 β 值——他们证明了 «ζ 奇值与 β 偶值的联立族中至少有若干个无理» 类的集体结果，但集体结果永远不能指定 β(2) 本身（与问题 36 的 ζ(5) 处境完全平行）。最新的希望在 «周期理论»：G 是否为某个混合周期的周期尚不清楚——连 «用什么代数几何对象装载 G» 都没有候选。