作者,Sean Li 。原文《10 Mind Blowing Mathematical Equations》
翻译,小米,哆嗒数学网翻译组成员。
很多时候,人们认为数学公式只是为了记忆来应付考试的。但有些时候,数学公式的价值却远超于此——它们本身就是艺术品,为纯粹的享受而生。今天我就收集了以此为目的的10个最惊人、眩目和疯狂的数学公式。这些方程应该能向任何人说明,数学不仅仅只是公式的记忆。
1. 欧拉恒等式
这是一个非常著名的恒等式。它给出了3个看似随机的量之间的联系:π、e和-1的平方根。许多人认为这是数学中最漂亮的公式。
一个更一般的公式是e^(ix) =cosx+isinx (a^b表示a的b次方,下同)。当x=π,cosx取值为-1,而isinx取值为0。由-1+1=0,我们得到了欧拉恒等式。
2. 欧拉乘积公式
等式左边的符号是无穷求和,而右边的符号则是无穷乘积。这个公式也是欧拉首先发现的。它联系了出现在等式左边的自然数(如n=1,2,3,4,5等等)与出现在等式右边的素数(如p=2,3,5,7,11等等)。而且我们可以选取s为任意大于1的数,并保证等式成立。
欧拉乘积公式的左边是黎曼ζ函数最常见的一种表示形式。
3. 高斯积分
函数e^(-x?2;)本身在积分中是很难对付的。可是当我们对它在整个实数轴上积分,也就是说从负 无穷到正无穷时,我们却得到了一个十分干净的答案。至于为什么曲线下面的面积是π的平方根,这可不是一眼就能看出来的。
由于这个公式代表了正态分布,它在统计中也十分重要。
4. 连续统的基数
上面的公式说明了实数集的基数与自然数全体子集的基数相同。这首先是被集合论的建立者康托尔证明的。值得注意的是,这也说明了连续统是不可数,因为2^N > N。
一个相关的假设是连续统假设。这个假设是说,在N和R之间不存在其它的基数。有趣的是,这个假设有一个奇怪的性质:它既不能被证明也不能被证伪。
5. 阶乘函数的解析延拓
阶乘函数通常被定义为n!=n(n-1)(n-2)……1。但是这个定义只对n是正整数时有效,而上面积分方程则对分数和小数也有效,而且还可以用于负数、复数等等……
同样的积分式中我们把n换成n-1就定义了伽马函数。
6. 勾股定理
勾股定理恐怕是这个清单中最熟悉的公式了。它给出了直角三角形三边的联系,其中a和b是直角边长,而c是斜边长。这个公式还将三角形和正方形联系了起来。
7. 斐波那契数列的通项
这里,注意到φ这个数字是黄金分割比例。很多人可能听说过斐波那契数列(0,1,1,2,3,5,8,13,21,34,55…,数列中每一项是前两项的和),却很少人知道有一个公式能够计算出任意某一项斐波那契数:这就是上面我们给出的公式,公式里面F(n)代表第n个斐波那契数。也就是说,为了得到第100个斐波那契数,你不需要去计算前99个,而只需要把100代入公式。
值得注意的是,即便在计算过程中出现了许多根号和除法,最后的答案总是一个精确的正整数。
8. 巴塞尔问题
这个公式告诉我们,如果你取所有完全平方数并将它们的倒数和相加,你将会得到\pi^2/6。这是欧拉首先证明的。注意到这个式子只是在前面的第二个方程(欧拉乘积公式)中令s=2。后者是黎曼ζ方程,因此我们可以说ζ(2)的值是π?2;/6。
9. 调和级数
这个公式有点反直觉,因为它告诉我们,如果你把一些不断变小的数(最终趋向0)加起来,最后将会得到无穷。可是如果你是取它们的平方,和却是一个有限的值(答案是π?2;/6)。如果仔细观察调和级数,你会发现它正是ζ(1)。
10. 素数计数公式的显式表达
这个方程的重要性体现在:
素数是那些除了1和它本身以外没有其它因子的数。小于100的素数有2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97 。 由此可知,素数的出现没有显然的规律:对于一串连续正整数,有时候你会找到许多素数,有时候你会一个也找不到。找到很多或一个找不到似乎是完全随机的。
很长时间以来,数学家都在尝试给出素数分布的规律。上面的公式正是不大于一个给定数素数个数的显式表达。
以下是各个符号的意义:
π(x): 素数计数函数。它给出了不大于一个给定数的素数个数。例如,π(6)=3,因为有3个素数不大于6:2,3,5。
μ(n): 莫比乌斯函数。它依据n的质因数分解而取值为0, -1或1。
Li(x): 对数积分函数。它被定义为函数1/lnt从2到x的积分。
ρ: 黎曼ζ函数的任意非平凡零点。
令人吃惊的是,整个公式的结果总是一个精确的正整数!这说明,给定一个实数,我们可以把它代入公式并得到不大于它的素数个数。存在着这样一个公式的事实说明,素数的分布存在某些规律,只是我们现在还不能理解罢了。