数学之美——伟大的数学家欧拉及他对巴塞尔问题的精妙解法

翻译: 李星, 石婧仪, 校对: 点点 
英文: https://sourl.cn/2VJBuJ

德国数学家、天文学家和物理学家卡尔·弗里德里希·高斯,被许多人认为是"自古以来最伟大的数学家",但他却给出了如此赞誉献给欧拉本人。

本文将介绍瑞士数学家莱昂哈德·欧拉是如何解决著名的巴塞尔问题的。欧拉是历史上最伟大的数学家之一。他的多产被誉为传奇,且他的数学成果足以汇聚成 92 卷文集。

“读读欧拉吧, 他是我们所有人的老师。”——皮埃尔-西蒙·拉普拉斯

巴塞尔问题(Basel Problem)

巴塞尔问题于 1650 年由意大利数学家彼得罗·门戈利首次提出,1734 年由欧拉解决,这使他立即得到认可。这个问题是求自然数的平方的倒数之和:

等式 1:巴塞尔问题

许多有影响力的数学家试图找到一个公式,以求自然数平方的倒数之和。如微积分的两位共同发明者约翰·沃利斯和伟大的戈特弗里德·莱布尼兹就是尝试了这个问题但以失败告终的众多人中的两位。但年仅 28 岁欧拉在就解决了这个难题,并且他给出的答案的数学性质令数学界感到惊讶。尽管他给出第一个证明(他后来又提供了其他几个证明)并不是严谨的,但它的美、简单和原创性是都是令人难以置信的。

图 3: 巴塞尔是瑞士的第三大城市, 也是欧拉的故乡

欧拉的独到见解是将 函数写成了根式解的形式。

等式 2:sinc(πx)函数的定义
图 4: 在 x = −6π 到 6π 区间显示在同样尺度上的归一化 sinc(x)(蓝色)与非归一化 sinc 函数(红色)

为便于理解,来看个例子,下面的四次多项式写为根式解的形式:

将表达式相乘后展开,我们能够得到下面结果:

等式 4:乘开各因子之后的表达式

欧拉的策略是将同样的展开式应用到超越函数上。

超越函数(Transcendental Functions)

超越函数就是“超出”代数函数范围的函数,是指那些不满足任何以多项式方程的函数,也就是不能写成与“等式 4”类似的多项式相乘的形式。指数函数、三角函数和对数函数是三个众所周知的超越函数例子。

图 5:指数函数、对数函数和三角函数的图象(图自维基)

函数具有以下根:

等式 5:sinc(πx)函数的根

欧拉利用下面最基本的数学恒等式,将 函数写成了与等式 3 中 相同的格式

由于对于等式 5 中的每个根都有相应的负根,因此等式可以写成下列形式:

等式 6:sinc(πx)函数的零点式

下一步是将等式 6 中的因子相乘展开,但让我们只关注其二次项就可以了:

等式 7:等式 6 展开后其二次项系数

泰勒级数

泰勒级数是将函数表示为无限项连加式,这些相加的项由函数在某一点的导数求得。通过函数在自变量零点的导数求得的泰勒级数又叫做麦克劳林级数,以苏格兰数学家科林·麦克劳林的名字命名。

图 6:随着增加泰勒级数的项,它就越接近到准确的函数。黑色细线表示函数 sin(x),蓝色粗线是泰勒多项式

图 6 所示的七个泰勒级数代数形式如下:

等式 8:相应的次数的泰勒多项式。这些函数图象如图 6 所示

函数的泰勒展开式是:

等式 9:sinc(πx)的泰勒展开式

人们可以认为 「等式 8」 是具有无限项的"伪多项式",就像「等式 5」中所示它有无穷个根。

比较两个结果

对比「等式 7」「等式 9」,我们就能得出最终目标结论:

等式 10:欧拉给出的巴塞尔问题的答案

作为额外收获,欧拉的推导过程为我们提供了著名的沃利斯公式。只需在 代入「等式 6」中即可得到。

(0)

相关推荐

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

    1735年,著名数学家莱昂哈德·欧拉发表了论文"关于倒数级数的和",如下图1所示.在本文中,数学大师找到了求和的一般公式: 式1:整数的偶数次幂的倒数的和. 欧拉的方法吸引了无数的 ...

  • 论数学之美——欧拉及其对著名的巴塞尔问题的精确解

    被许多人认为是"自古以来最伟大的数学家"的德国数学家.天文学家和物理学家卡尔·弗里德里希·高斯曾经说过: 研究欧拉的著作将仍然是不同数学领域的最佳流派,没有任何东西可以取代它--卡 ...

  • 微积分与π

    原标题:微积分与π 数学教学研究由邵勇本人独创.每周推送两到三篇内容上有分量的数学文章,但在行文上力争做到深入浅出.几分钟便可读完,轻松学数学. 我们知道,π叫圆周率,它的定义很简单,就是:圆的周长与 ...

  • 如果我们对数学严刑拷打,会发生什么?

    这是一篇孤独的文章,没有同类 最近在看欧拉的时候,发现了一个挺有意思的地方.大家不要怕,跟着我一路走下去,其实并不难. 无穷级数的求和 这个好玩的东西是有关无穷级数的求和.首先我们来了解两个概念,什么 ...

  • 论数学之美,伟大数学家欧拉和他对巴塞尔问题的独创性见解

    德国数学家.天文学家和物理学家卡尔·弗里德里希·高斯被许多人认为是自古以来最伟大的数学家,他曾宣称: 对欧拉作品的研究仍然是不同数学领域的最佳学派,没有什么可以取代它.--高斯 图1:卡尔·弗里德里希 ...

  • 超越函数是指那些不满足任何以多项式作系数...

    超越函数是指那些不满足任何以多项式作系数的多项式方程的函数.说的更技术一些,单变量函数若为代数独立于其变量的话,即称此函数为越超函数.变量之间的关系不能用有限次加.减.乘.除.乘方.开方运算表示的函数 ...

  • 漫谈欧拉与(调和)级数求和 (1)

    序 网络上不时兴起与数学有关的争议,在某种意义上说,这是好事,至少吸引人关注数学.较早前所谓"中国雨人"计算开方的,也很有数学话题,我们将来找时间谈谈.今天我们先谈谈最近的一个话题 ...

  • 人类数学历史第一,数学家欧拉究竟有多厉害呢?

    今天我们要讨论一位历史级别的大人物,他对数学很痴迷,中小学这些数学,甚至高等数学,在他前面都是小儿科. 这位大神之神就是欧拉,很多专家学者把他视为自己的偶像,甚至将他排在人类数学历史第一的位置上,那么 ...

  • 数学里的自然底数e是怎么来的?数学家欧拉揭开了它的神秘面纱

    e (自然常数,也称为欧拉数)是自然对数函数的底数.它是数学中最重要的常数之一,是一个无理数,就是说跟 π 一样是无限不循环小数,在小数点后面无穷无尽,永不重复...... 下面就是 e 的 2999 ...

  • 数学里的自然底数e是怎么来的?数学家欧拉解开了它的神秘面纱

    #数学里的自然底数e是怎么来的# e (自然常数,也称为欧拉数)是自然对数函数的底数.它是数学中最重要的常数之一,是一个无理数,就是说跟 π 一样是无限不循环小数,在小数点后面无穷无尽,永不重复... ...

  • 世界上最短的数学论文之一:费马大定理与欧拉猜想

    这是世界上最短的数学论文之一,可以追溯到1966年.虽然它很短,但包含了很多东西!让我们从费马最后定理开始,它是由费马发现的,后来由安德鲁·怀尔斯博士在1993年证明.它指出,任何形式的方程: x y ...

  • 数学家欧拉,巧解哥尼斯堡七桥问题

    七桥问题 1736年29岁的欧拉向圣彼得堡科学院递交了<哥尼斯堡的七座桥>的论文,在解答问题的同时,开创了数学的一个新的分支--图论与几何拓扑,也由此展开了数学史上的新历程.七桥问题提出后 ...

  • 欧拉是神还是人?十分钟了解数学家欧拉的一生

    欧拉是神还是人?十分钟了解数学家欧拉的一生