这些意想不到的包含π的公式,给数学研究增添了很多乐趣

康托的天堂 2022-03-16 15:31:25

有些数字比其他数字更容易出现在公式中。有些人甚至会说,有些数字比其他数字更重要。但是为什么呢?在这篇文章中,我将展示一些美丽的公式,它们都包含π,并试图理解为什么π在数学中随处可见。

介绍

如果π只渗透到几何和三角学领域,而不是数学的其他子领域,就不足为奇了。然而,π存在于数学的许多领域,在某些情况下,我们很难理解为什么π会出现。

π存在于数论、微积分、代数、概率论和统计学等学科中,如果你有研究,会发现它非常神奇和有趣。

π以某种形式出现,应该意味着某个地方隐藏着一个圆,而在某些情况下,似乎并没有。

回忆一下,π就是任何圆的周长除以直径得到的精确数字。

下面的公式都会出现π。我将试图解释为什么会出现(π)?

莱布尼茨公式

让我们从结果开始:

这个交替级数收敛于π/4。π为什么会出现在这个级数中?它来自于一个三角函数。已知几何级数:

当|x| < 1时成立。我们在两边用-x^2替换x,得到:

两边从0到1积分会得到:

其中arctan是反正切函数。

布冯针问题

在18世纪,乔治-路易·勒克莱尔,布冯伯爵提出了以下问题:

假设有一张纸,在上面画等距的平行线,然后在纸上放一根针,针的长度与两线之间的距离相等。针与其中一条线相交的概率是多少?

这个问题的答案是2/π,但是“圆”藏在哪里呢?

假设针的中心落在两条线之间,我们可以不失一般性地假设针以及两条线之间的距离是2个单位长。

设针的中心为x,我们把这两条直线放在一个坐标系中,使得最接近x的垂直线在0处穿过x轴(因此,它就扮演了第二个轴的角色)。我们可以用下图来说明:

红蓝线说明了这个实验的两种不同结果。这个圆说明了当针的中心为x时所有可能的结果。请注意,针永远不能相交于两条线,所以我们可以假设x在两条直线的中心线的左边。两条直线的中心在x=1处。

从上图可以看出cos(θ) = x,因为我们需要让x变化,所以需要反余弦函数,也就是arccos。公式变成了θ = arccos(x)。

我们需要把所有的面积比加起来,有无穷个(面积比),因为x的每一个值都会给出一个这样的比值。但我们有微积分工具,可以对x从0到1积分得到所有比值的和。

现在我们可以用分部积分法对arccos(x)求导,来证明arccos(x)的不定积分是x arccos(x) - sqrt(1- x²) + C。

最后得到p = 2/π。这个公式中的圆来自于针的旋转对称。

欧拉恒等式

数学中最美丽的方程式当属欧拉恒等式,1748年,莱昂哈德·欧拉提出了这个方程:

正如威廉·德纳姆所说:

如果你想做加法,你需要0;如果你想做乘法,你需要1;;如果你想学微积分,你需要e;如果你想做几何,你需要π;如果你想做复分析,你需要i。这些数字都出现在了欧拉恒等式中。

它表达了两个对称之间的有趣关系。当我们用一个复数z乘以e^(πi),得到的数字是z沿着半径为|z|的圆旋转π弧度得到的数字。

欧拉恒等式表达了这样一个事实:通过原点反射一个复数(即乘以-1)相当于将该数旋转180度。

这个结果中的圆,源于与上面的复指数相乘时的半圆旋转。

巴赛尔问题

让欧拉名声大噪的一个发现是下面这个令人惊讶的结果:

左边的无穷级数是所有整数平方倒数的“和”。首先,欧拉回顾了正弦函数的麦克劳林级数展开式。正弦函数可以写成幂级数。

然后除以x得到:

欧拉认为上面的左边可以看成是一个无限多项式,我们都知道多项式可以被分解成线性因子的乘积形式

其中c是一个数字,上面分母中的r是多项式的根(也称为零点)。任何多项式都可以写成这样的事实叫做代数基本定理,这是一个非常重要的定理。

欧拉认为这个定理也适用于一些“无限”多项式,如上面的幂级数。由于上述幂级数的常数项为1,显然c = 1。我们现在有

欧拉问自己这个函数的零点是什么。它们是正弦函数的零点,因此是π的整数倍。所以:

第二个等式来自于将相邻项相乘。现在需要另一个绝妙的想法。欧拉意识到隐藏在上面的二次项分母中的平方数,并想把它们从乘积中“解放出来”。这听起来很可怕,但是我们只需要得到幂级数的前两项。

显然,常数项是1。第二项呢?对于相应的无穷幂级数中的每个系数,我们只需要选择一个非常数项然后从乘积中的其他项中选择所有的1。然后,我们得到

欧拉把它和泰勒级数表达式做了比较。也就是说:

欧拉得出,右边的两个级数必须相等,也就是:

或:

再一次,我们可以解释π是如何从正弦函数的零点来的,然而,如果真的想从几何上理解这个问题,这并不是很令人满意。

高斯积分

在统计学、数论和许多其他数学领域中,一个非常重要的积分结果是:

这真的很神奇。下面这个钟形曲线下的面积是π的平方根。

有很多不同的方法来证明这一点。我最喜欢也是最优雅的方法是把笛卡尔坐标系换成极坐标。具体来说,令

现在我们计算I^2,并将其转换为极坐标:

在上面的计算中,我们对最后一个积分做了替换:r^2= u => r dr = du/2。现在,因为我们知道I一定是一个正数,得到

那么这个圆在哪呢?当我们计算I^2时,我们实际上计算了一个(三维)体积,也就是在一个具有旋转对称的二维表面下的体积。

得到的二重积分把无限多的圆面积“加起来”。把所有这些面积相加,得到的表达式不仅包含π,而且实际上等于π。

结论

看来,当π出现在一个公式中,我们可以通过某种隐藏在公式中的旋转关系来解释它。即使我们不能一眼看到它,但它肯定就在那里。

关于π的讨论还可以有很多,例如为什么用几何方法解释这类问题这么难,而用代数和微积分就(相对)容易了呢?

29 阅读:9222

评论列表

用户10xxx00

用户10xxx00

14
2022-03-16 18:35

特别是欧拉总正弦函数展开式证明的那个无穷级数和,绝妙异常!

人面不知何处去桃花依旧笑春风

人面不知何处去桃花依旧笑春风

7
2022-03-18 13:29

[点赞][点赞][点赞][点赞][点赞][点赞][点赞]

水滴的梦

水滴的梦

7
2022-03-23 09:54

我进来干嘛的

爱提莫真是太好了 回复 04-06 14:31
已阅[呲牙笑]

tb_2681602 回复 04-25 22:48
不是看热闹吗?看大学生吹牛

深圳的辣不欢

深圳的辣不欢

6
2022-03-28 12:52

说实话,理解了这些数学,真的感觉很妙。

风轻云淡

风轻云淡

4
2022-03-23 08:00

[点赞][点赞][点赞]

墨九

墨九

4
2022-03-23 15:40

微积分,泰勒展开式,级数,概率论,数学里最重要的东西

北纬三十度

北纬三十度

4
2022-03-29 01:34

长见识了

优土乐土

优土乐土

4
2022-04-14 09:31

l66925250

l66925250

4
2022-05-16 08:28

大学高数挂科三次,看得我痛苦万分

李桂

李桂

4
2022-04-03 01:18

π是无理数,怎么能是圆的周长与半径的比值呢

虞彤桐 回复 05-19 11:10
你这回复很“大愚号”

   回复 06-02 08:20
说明大部分圆周长就不是有理数

小明

小明

3
2022-03-26 17:28

O二乙兀尺

深圳的辣不欢

深圳的辣不欢

3
2022-04-22 07:59

除了e和π,应该是有几个有价值的无理数未被挖出来

怀疑一切

怀疑一切

2
2022-04-20 10:39

先证明1+1=2吧

怀疑一切 回复 ⑨⑨⑨⑨⑨⑨ 04-23 22:45
瞎想瞎想[眯眼睛笑]

⑨⑨⑨⑨⑨⑨ 回复 04-23 22:10
原来是大佬?溜了溜了[不开心]

霸气男爵

霸气男爵

2
2022-05-29 17:43

知道人生,的所作所为把,,拿着钱,让人类,有得有失,搞出一系列东西出来,交易,换,,明白,,不管高楼大厦,科技,一系列的所作所为出来的东西,,全部是拿钱,有得有失,有舍有得,给出来的一系列,换一系列的交易,,,,同时这些命,就在有得有失,有舍有得,付出多少,,,

用户10xxx58

用户10xxx58

2
2022-06-05 12:10

谢谢老师!您所供得图例很有代表性。一位75老人敬上

用户11xxx06

用户11xxx06

1
2022-04-10 19:52

破毛线球怎么描述自由界把π和e连起来呢?

追沙逐雪

追沙逐雪

1
2022-05-11 08:10

一条数轴,所有确定的数都是极限数值的存在,现实中人类根本取不到这个固定的数值,无理数派也好,或者整数3也好,现实中能取到3这个长度吗?无论怎么取都有误差[得瑟]

用户10xxx58

用户10xxx58

2022-06-05 12:07

😁😁😁[点赞][点赞][点赞]π_π是一个有独立维度的空间,有本质才有現象。π_π也是一个量孑单位,我们看到的千变乃化的現象,只不过用π_π量子量度的结果。

康托的天堂

康托的天堂

科学如此美妙,我想让你知道