伟大的数学家欧拉和他的奇妙发现——关于倒数级数的和

1735年，著名数学家莱昂哈德·欧拉发表了论文“关于倒数级数的和”，如下图1所示。在本文中，数学大师找到了求和的一般公式：

式1：整数的偶数次幂的倒数的和。

欧拉的方法吸引了无数的数学家。欧拉早在1734年就证明了巴塞尔问题。该结果将巴塞尔问题从指数2扩展到任何偶数指数。

图1：欧拉和他的里程碑式论文“关于倒数级数的和”。

前三个例子是：

式2：式1的第一个例子，k=1，2，3。第一个是巴塞尔问题，一年前由欧拉首次证明。

注意，式二2中的第一个例子是巴塞尔问题，欧拉在1734年就解决了这个问题。

图2：1712年日本的关孝一（ Seki Kōwas）列出了二项式系数和伯努利数。

但在进行欧拉的精彩证明之前，必须先解释伯努利数的概念。

图3：雅各布·伯努利（Jacob Bernoulli）是其家族中最著名的数学家之一，他发现了伯努利数。

伯努利数

这是证明的第一部分。我首先提醒读者泰勒级数的概念。泰勒级数可以定义为“函数关于一点的级数展开”。泰勒级数的主题非常广泛，所以我不打算在这里详细讨论它，我将只讨论一种情况，即指数函数e的展开式。它是由：

式3：指数函数的泰勒级数。它的收敛半径为∞，因此对于x∈ℝ的所有值它都收敛。

e^x的收敛半径R为R=∞。这意味着式3是一个幂级数，对于x∈ℝ的所有值都收敛。

图4：这个动画显示，当我们在式3中加入更多的项时，其值趋向于e^x。

现在，为了得到伯努利数我们需要两步。第一步很简单，等式3两边同时减去1，然后除以x，得到：

式4：对方程3进行简单处理，得到函数(e^x-1)/x的泰勒级数。

对x≠0有效。伯努利数的定义如下:

式5：伯努利数是如何（间接）定义的。

为了找到B，我们将使用一些数学技巧。因为式4和式5是彼此的倒数，它们的乘积是1。然后我们可以在等式的右边同时乘以n！

经过一些简单的代数运算，我们得到了一个很好的表达式，它允许我们确定伯努利数：

式6：可以快速计算出伯努利数的方程。

那么得到的第一个伯努利数是：

式7：由式6得到的第一个伯努利数。

正切函数及其幂级数

我们现在提供证明的第二部分。在这一节中，我们需要用伯努利数来表示tan x。让我们首先考虑以下特性：

得出：

式8：伯努利数的幂级数。

现在我们执行两个简单的步骤。用2ix（其中i为虚单位）替换式8中的x，得到：

对式8的左边做同样的替换，我们得到：

式9：用伯努利数表示的x cot x的幂级数。

然后我们用三角恒等式：

和式9，得出：

式10：tanx的幂级数用伯努利数表示。

余切函数及其部分分式

现在是证明的第三部分，也是最后一部分。利用部分分式，欧拉得到如下展开：

式11：对于非整数x，x cot πx的展开式同样由欧拉发现。

我们现在比较式9和式11，用πx代替前者中的x。经过一些简单的操作，我们得到了这个奇妙的表达式：

式12：我们想要的结果。注意指数总是偶数。奇指数没有等价的展开式。

有趣的是，奇指数没有类似的公式。当k=1时，立方的倒数的和等于一个数字—1.20，称为Apéry常数，但没有像式12那样的一般公式。