巴塞尔问题，欧拉一战成名的无穷级数谜题究竟是什么？
巴塞尔问题是求自然数平方倒数之和的无穷级数收敛值，即1 + 1/4 + 1/9 + 1/16 + …的极限，这一问题曾长期困扰数学界，众多学者未能攻克，欧拉以创新思路，通过对比正弦函数泰勒展开式与多项式因式分解形式，推导出该级数和为π²/6，这一成果让他一战成名，展现了非凡的数学洞察力，推动了分析学发展，成为数学史上的经典突破之一。
想象一下，把所有正整数的平方倒数加起来：1 + 1/4 + 1/9 + 1/16 + ... 这个无穷无尽的和会趋向哪里？它会发散到无穷大吗？还是收敛到某个神秘的常数？这就是巴塞尔问题——17世纪末困扰数学界的难题,直到18世纪初被28岁的欧拉用一个惊艳的思路破解。
问题的起源：伯努利的挑战
巴塞尔问题由瑞士数学家雅各布·伯努利在1689年提出，作为伯努利家族的代表人物，雅各布一生致力于微积分和级数研究，但面对这个看似简单的级数，他却束手无策，他在著作中写道：“如果有人能找到这个级数的和，并把它告诉我们，我们将非常感激。”此后几十年，包括莱布尼茨在内的数学巨匠都尝试过,但都未能给出答案。
欧拉的巧妙解法：正弦函数的魔法
1735年，年轻的欧拉给出了令人震惊的结果：这个级数的和等于π²/6，他的思路融合了代数与分析,堪称数学史上的经典：
-
泰勒展开的启示：欧拉先写出正弦函数的泰勒展开式：
$$\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots$$
两边除以x，得到：
$$\frac{\sin x}{x} = 1 - \frac{x^2}{6} + \frac{x^4}{120} - \dots$$ -
无穷乘积的联想：正弦函数的根是$x = 0, \pm\pi, \pm2\pi, \pm3\pi, \dots$，\frac{\sin x}{x}$可以表示为无穷乘积（类似多项式因式分解）：
$$\frac{\sin x}{x} = \left(1 - \frac{x^2}{\pi^2}\right)\left(1 - \frac{x^2}{(2\pi)^2}\right)\left(1 - \frac{x^2}{(3\pi)^2}\right)\dots$$ -
系数对比的关键：将无穷乘积展开，关注$x^2$项的系数，左边泰勒展开中$x^2$的系数是$-\frac{1}{6}$；右边展开后$x^2$的系数是：
$$-\left(\frac{1}{\pi^2} + \frac{1}{(2\pi)^2} + \frac{1}{(3\pi)^2} + \dots\right)$$ -
等式求解：令两者相等：
$$-\frac{1}{6} = -\frac{1}{\pi^2}\left(1 + \frac{1}{4} + \frac{1}{9} + \dots\right)$$
两边乘以$-\pi^2$，得到：
$$1 + \frac{1}{4} + \frac{1}{9} + \dots = \frac{\pi^2}{6}$$
巴塞尔问题的深远影响
欧拉的解法虽然在当时缺乏严格性（后来被完善），但它的意义远超问题本身：
- 连接代数与分析：首次将无穷级数与三角函数的乘积形式结合，为数学分析开辟了新路径。
- 黎曼ζ函数的起点：巴塞尔问题的结果正是ζ函数在2处的值（$\zeta(2) = \pi^2/6$），而ζ函数后来成为数论的核心，与质数分布、黎曼猜想紧密相关。
- 欧拉的成名作：这个解法让欧拉从年轻学者一跃成为数学界的明星，奠定了他“数学之王”的地位。
巴塞尔问题的解决，向我们展示了数学的奇妙：看似无关的正弦函数与平方倒数和，竟能通过巧妙的思路交织在一起，直到今天，它仍是数学教育中的经典案例，激励着人们探索未知的数学世界——正如欧拉所说：“数学是上帝用来书写宇宙的语言。”
这篇文章以故事性的叙述，结合直观的数学思路，让读者理解巴塞尔问题的来龙去脉及其重要意义，既适合数学爱好者,也能让普通读者感受到数学的魅力。