问题
欧拉解决了偶值：ζ(2k) = |B2k|·(2π)2k/(2(2k)!) ∈ π2kℚ，全部超越。奇值却顽固异常：ζ(3) = 1.2020569… 直到 1978 年才被阿佩里（Apéry）证明无理——轰动一时、也留下一个 «Apéry 之后还有什么» 的悬案。答案至今是：什么都没有。ζ(5), ζ(7), ζ(9), … 无没有一个的无理性被单独证明。已知最强结果（命题 3）：ζ(5), ζ(7), ζ(9), ζ(11) 中至少一个无理（Zudilin 2001）。
主要概念
无理性判据（Apéry 引擎的核心齿轮）
要证实数 α 无理，只需构造两列整数（an），（bn），使（一）bn | lcm(1,…,n)N（分母增长慢），（二）|an − αbn| < cn 且 c < exp(N)（误差衰减快）。两条件挤压出：若 α = p/q 则 |q·an − p·bn| 是非零整数却 < 1，矛盾。
Apéry 序列与三项递推
Apéry 对 ζ(3) 的序列 an = Σk C(n,k)²C(n+k,k)² 满足一个三项递推，其特征方程的两根比 ≈ (1−√2)⁴ ≈ 0.0294——这个 «小根比» 正是使判据的（二）成立的原因；而分母界（一）靠二项系数的组合恒等式。对 ζ(5) 的推广序列，根比只降到 ≈ 0.0814…，而所需的阈值更严——根比打不进阈值，这就是 47 年僵局的定量核心。
主要命题与证明
命题 1（Apéry 判据，完整证明） 设 α ∈ ℝ，且存在整数列 an、bn 与常数 c, C, N 使 0 < |an − αbn| < C·cn，bn | lcm(1,…,n)N，且 c < e−N。则 α 无理。
证明 反设 α = p/q（整数，q > 0）。则 q·an − p·bn = q(an − αbn) 是非零整数（非零由第一个不等式），故 ≥ 1。另一方面 lcm(1,…,n) = eψ(n) 且切比雪夫估计 ψ(n) ~ n，故 qbn ≤ q·eNn(1+o(1))。于是 1 ≤ q|an − αbn| ≤ qC·(ceN)n(1+o(1)) → 0（因 ceN < 1）——对足够大的 n 右边 < 1，与 ≥ 1 矛盾。□
命题 2（Apéry 定理的机制，完整陈述与证明梗概） 序列 an = Σk C(n,k)²C(n+k,k)² 满足三项递推 (n+1)³un+1 = (34n³+51n²+27n+5)un − n³un−1；其两解的比值收敛于 −ζ(3)，且特征根比 = (1−√2)⁴ ≈ 0.0294，配合 «an 的分母整除 lcm(1..n)³ 与误差因子的联合配平»，判据两条件同时满足。
梗概 三个零件：①二项系数恒等式给出分母界（C(n,k) | lcm(1..n) 型）；②递推的存在性由 «超几何求和的 Riccati 结构» 保证，验证只需把递推两边对 k 求和后做仿射变换消项；③误差 «小根» 行为来自递推特征方程的庞加莱定理：解的渐近由特征根支配。□
命题 3（集体无理性，完整陈述） （Rivoal 2000）ζ(2n+1) 的无穷多个无理。（Ball–Rivoal 2001）前若干奇值中无理者至少 ~ (1/(3+ε))·log n 个（维数下界）。（Zudilin 2001）ζ(5), ζ(7), ζ(9), ζ(11) 中至少一个无理。证明骨架：构造联立线性型 Σ rjζ(2j+1) + s 的整数逼近族，其中 «小分母» 的维数由判据（一）给出、线性型空间的维数由联立个数给出——用命题 1 的多维版本：若线性型空间维数超过 «小分母维数»，则必有无理成员。所有已知参数化都填不满 ζ(5) 单独所需的窗口。
进展与文献
Apéry 原始讲义与 van der Poorten 的著名综述〈A proof that Euler missed…〉；Beukers 的积分证明（双变量 Γ 函数积分，1981）；Zudilin 2001 的四值定理见 Mat. Sb.。最新的结构化尝试：Brown 的 «单值化（unipotent） motive» 框架把 ζ 值组织成德拉姆同调——它给出 ζ 值之间深刻的代数关系预期（如 ζ(2)ζ(3) 与 ζ(5) 的关系已被 Goncharov 证明：ζ(5) 不在 «深度 ≤ 2» 的乘积空间内），但对 «无理性» 这一 «算术» 属性依旧无力。诚实结论：ζ(5) 的无理性需要一次新的 Apéry——不是更好的技术，而是新的 «小分母» 恒等式来源。