[论文解读] A One-Sentence and Truly Elementary Proof of the Basel Problem

Samuel G. Moreno|arXiv (Cornell University)|Feb 6, 2015

Mathematics and Applications参考文献 24被引用 6

一句话总结

本文利用三角恒等式与积分的中值定理，提供了一个简洁、初等的巴塞尔问题证明。通过将恒等式乘以 $x^2 - 2 au x$，在 $[0, au]$ 上积分，并应用积分中值性质，作者以单一、自洽的论证推导出 $rac{ au^2}{6}$，该证明简短且对高年级本科生而言易于理解。

ABSTRACT

By doing a slight change to a beautiful and widely unknown argument by E. L. Stark [E. L. Stark, Application of a Mean Value Theorem for Integrals to Series Summation, Amer. Math. Monthly 85 (1978) 481--483.] we get a candidate to be considered as one of the shortest and most elementary proofs of the celebrated Basel Problem. Furthermore, we give a comprehensive list of references on this topic, displayed in chronological order from Euler to present.

研究动机与目标

• 提供一个简洁、初等的巴塞尔问题证明，使高年级本科生能够理解。
• 通过最少的高级工具，呈现 $ olimits_{k=1}^{ olimits} \frac{1}{k^2} = \frac{\tau^2}{6}$ 的自洽推导。
• 将鲜为人知的 E. L. Stark 的论证加以优化与重构，形成一条简练而优美的证明。
• 提供一份全面的、按时间顺序排列的参考文献列表，涵盖从欧拉至今关于巴塞尔问题的关键著作。

提出的方法

• 利用三角恒等式 $\frac{1}{2} + \sum_{k=1}^{n} \cos(kx) = \frac{\sin((n+1/2)x)}{2\sin(x/2)}$ 对所有实数 $x$ 成立。
• 将该恒等式乘以 $x^2 - 2\pi x$，并在区间 $[0, \pi]$ 上积分。
• 应用分部积分法与积分中值定理，计算所得积分。
• 分析当 $n \to \infty$ 时，所得表达式的行为，利用余弦项的振荡性。
• 利用余弦函数的有界性与 $1/(n+1/2)$ 的衰减性，证明极限趋于零。
• 通过极限方程的代数变形，推导出最终结果 $\sum_{k=1}^{\infty} \frac{1}{k^2} = \frac{\pi^2}{6}$。

实验结果

研究问题

• RQ1 能否仅用标准微积分工具，在一句话内完成巴塞尔问题的初等证明？
• RQ2 如何有效应用积分中值定理于三角级数，以计算 zeta 函数的值？
• RQ3 在不使用复分析的前提下，推导 $ olimits_{k=1}^{\infty} \frac{1}{k^2} = \frac{\pi^2}{6}$ 所需的最小技术集合是什么？
• RQ4 与已知的其他初等证明相比，该证明在简洁性与优雅性方面如何？

主要发现

• 该证明通过基于积分与中值定理的单一连续论证，确立了 $\sum_{k=1}^{\infty} \frac{1}{k^2} = \frac{\pi^2}{6}$。
• 关键表达式的极限在 $n \to \infty$ 时趋于零，从而直接导出巴塞尔和。
• 函数 $u(x) = (x-2\pi)\frac{x/2}{\sin(x/2)}$ 在 $[0, \pi]$ 上的导数非负，支持了中值定理的应用。
• 尽管方法与 Stark 等人的前期工作相似，但该证明独立于其成果。
• 该方法被描述为“真正初等”，适合高年级本科生的课堂教学。
• 作者提供了从欧拉至 2014 年的 85 篇参考文献的全面、按时间顺序排列的列表。