Niven 的无理数
Zeta的无理性之谜
Roger Apéry 1978年证明ζ(3)为无理数,终结两世纪悬案。Frits Beukers 1979年提出简化证明,将ζ(3)表为二重积分,引入Legendre多项式构造有理逼近,经变量代换转为三重积分,通过极值分析估计积分余项指数衰减,以分析方法替代复杂组合恒等式,开创积分 - 极值新范式。虽ζ(5)无理性仍未解决,但该方法为高阶ζ值研究奠定基础。
柯西方法
柯西方法是19世纪数学家柯西提出的问题解决范式,核心为将复杂问题分层分解,通过解决简单情形为一般情形提供归纳基础,在加性柯西方程求解中体现为依次证明整数、有理数和实数域上的解,最终得出线性函数形式。该方法也应用于柯西不等式证明,通过参数配方法和向量形式等途径,揭示代数结构与几何意义的联系,在优化问题和几何证明中展现应用价值,成为连接古典与现代数学的桥梁。