透过60个公式体验数学之美
透过60个公式体验数学之美
数学公式中的数字、字母与算符可以唤起人们欣赏最伟大作曲家的艺术作品或音乐一样的美感。
在 2014 年《人类神经科学前沿》杂志上发表的一篇新论文中，研究人员为十余位数学家提供了 60 个公式来评分。
在数学家查看方程式时，脑部扫描显示许多区域都会参与其中，但当一个人看到某个美丽的公式时，大脑眶额叶皮层区域更活跃——就像看人们欣赏一幅伟大的画作或聆听曼妙音乐一样。
笔者将把参与评选的 60 个数学公式整理出并附上简单的介绍，一起来欣赏一下吧！(限于水平有限, 个别公式不到标准对应译名, 暂留英文, 还请各位朋友留言指正)
1. 欧拉恒等式
其中 e 是自然对数函数的底，i 是虚数单位，π 是圆周率。
中国好声音中的歌曲
美国物理学家理查德·费曼称欧拉恒等式为“数学最美公式”，因为包含了数学中 5 个最重要的数学常数：0、1、e、π 和 i。并且包含了三种最基本的算术运算：加法、乘法和幂运算。绝对令人惊讶的是，这些看似无关的数和运算都被这个简洁的公式联系起来。
欧拉恒等式是欧拉公式的一种特殊形式，后者如上图右侧所示。
2. 毕达哥拉斯三角恒等式
毕达哥拉斯三角恒等式(Pythagorean trigonometric identity)，正弦和余弦函数之间的基本关系之一。另外两个相关公式如下所示：
3. 欧拉示性数/欧拉公式(图论)
代数拓扑中的一个公式。而在平面图，当图是单连通图的时候，公式简化为上式。其中，V 是顶点的数目，E 是边的数目，F 是面的数目。
4. 高斯-博內定理
在微分几何中，高斯-博内定理（亦称高斯-博内公式）是关于曲面的图形（由曲率表征）
和拓扑（由欧拉示性数表征）间联系的一项重要表述。
5. 欧拉公式
欧拉公式是复分析领域的公式，它将三角函数与复指数函数关联起来，因其提出者莱昂哈德·欧拉而得名。当 x=π 时，欧拉公式即欧拉恒等式，从上面图形中也可以观察得出。
6. 高斯积分
高斯积分，有时也被称为概率积分，是高斯函数 e^{−x²} 在整个实数线上的积分。
7. 黎曼ζ函数的倒数
8. 指数函数
指数函数 e^x 可以用各种等价的方式定义，特别是它可以定义为幂级数的形式。
9. 高斯函数的傅里叶变换
10. e 的极限值定义式
11. 连续统的势大于自然数集的势
12. 曼德博集合定义式
曼德博集合是一种在复平面上组成分形的点的集合，它的定义归功于法国数学家阿德里安·杜阿迪，以分形几何先驱数学家本华·曼德博的名字所命名。
曼德博集合可以用复二次多项式来定义，其中 c 是一个复数参数。不同的参数 c 可能使序列的绝对值逐渐发散到无限大，也可能收敛在有限的区域内。
曼德博集合 M 就是使序列不延伸至无限大的所有复数 c 的集合。
13. 狄克拉函数恒等式
14. 拉马努金圆周率公式
印度数学家斯里尼瓦瑟·拉马努金曾发表很多关于圆周率 π 表示方式。这个公式因为收敛的速度异常地快，常用来计算其精确值。
15. 能写成两个正整数的立方和的最小数
数学上，1729 是一个可以用两种方式写成两个正整数的立方和的数字，而且是有这种特性的数字中最小的一个。
16. 勾股定理
平面几何中一个基本而重要的定理，且是人类早期发现并证明的重要数学定理之一。
17. 微积分基本定理
微积分基本定理（Fundamental theorem of calculus）描述了微积分的两个主要运算──微分和积分之间的关系。
18. 留数定理
三国战记2攻略在复分析中，留数定理（residue theorem，又叫残数定理）是用来计算解析函数沿着闭曲线的路径积分的一个有力的工具，也可以用来计算实函数的积分。它是柯西积分定理和柯西积分公式的推论。
19. 掠食者—猎物方程
洛特卡－沃尔泰拉方程（Lotka-Volterra equation）别称掠食者—猎物方程。是一个二元一阶非线性微分方程组成。经常用来描述生物系统中，掠食者与猎物进行互动时的动态模型，也就是两者族规模的消长。
20. 扩散方程
扩散方程是一类偏微分方程，用来描述扩散现象中的物质密度的变化。通常也用来和扩散类似的现象，例如在体遗传学中等位基因在体中的扩散。
21. 圆周率的定义
线椒圆周率 π 是一个数学常数，为一个圆的周长和其直径的比率。
22. 指数函数与自身的导数恒等
很多增长过程的问题都可以用指数函数 e^x 来模拟。
23. 麦克劳林级数
泰勒级数（Taylor series）用无限项连加式——级数来表示一个函数，这些相加的项由函数在某一点的导数求得。泰勒级数是以于1715年发表了泰勒公式的英国数学家布鲁克·泰勒（Sir Brook Taylor）来命名的。通过函数在自变量零点的导数求得的泰勒级数又叫做麦克劳林级数，以苏格兰数学家科林·麦克劳林的名字命名。
24. 特征值和特征向量
线性代数中，对于一个给定的方阵 A，它的特征向量（eigenvector）x 经过这个线性变换之后，得到的新向量仍然与原来的 x 保持在同一条直线上，但其长度或方向也许会改变。
λ 为纯量，即特征向量的长度在该线性变换下缩放的比例，称 λ 为其特征值（eigenvalue）。如果特征值为正，则表示 x 在经过线性变换的作用后方向也不变；如果特征值为负，说明方向会反转；如果特征值为 0，则是表示缩回零点。爱死你我
25. 三角不等式
三角不等式是数学上的一个不等式，表示两条边的长度之和总是大于第三边。它除了适用于三角形之外，还适用于其他数学范畴及日常生活中。
26. 素数计数函数的第一个估计定义
素数的出现规律一直困惑著数学家。一个个地看，素数在正整数中的出现没有什么规律。可是总体地看，素数的个数竟然有规可循。对正实数 x，定义 π 为素数计数函数，亦即不大于 x 的素数个数。数学家到了一些函数来估计 π 的增长。上面就是第一个这样的估计。
27. 黎曼ζ函数的欧拉乘积形式
欧拉在1737年发现了欧拉乘积公式，这是ζ函数与素数的联系的朦胧征兆。
28. 最小的勾股数
勾股数的发现时间较早，例如埃及的纸草书里面就有 (3,4,5) 这一组勾股数，而巴比伦泥板涉及的最大的一个勾股数组是 (13500,12709,18541)。在中国，《周髀算经》中也记述了 (3,4,5) 这一组勾股数。
29. 柯西积分公式
柯西积分公式是数学中复分析的一个重要结论，以十九世纪法国数学家奥古斯丁·路易·柯西命名。柯西积分公式说明了任何一个闭合区域上的全纯函数在区域内部的值完全取决于它在区域边界上的值，并且给出了区域内每一点的任意阶导数的积分计算方式。
30. π 的莱布尼茨公式表示
π 的莱布尼茨公式右边的展式是一个无穷级数，被称为莱布尼茨级数，这个级数收敛到 π/4。使用求和符号可记作下式：
31. 巴塞尔问题
巴塞尔问题是一个著名的数论问题，要求的是精确计算所有平方数的倒数之和。该问题最初由皮耶特罗·门戈利在1644年提出，由莱昂哈德·欧拉在1735年解决。由于这个问题之前难倒了以前许多的数学家，所以年仅 28 岁的欧拉一解出这个问题立马扬名于天下。
32. 等比数列和
厄运之槌一个等比数列的首 n 项之和，称为等比数列和（sum of geometric sequence）或几何级数（geometric series），记作 Sn$。
等比数列求和的公式如下：
当 -1 < r <1 时，几何级数会收敛到一个如上式的固定值。
33. 伯克霍夫遍历定理
伯克霍夫遍历定理(Birkhoff ergodic theorem)是遍历论的第一个重要结果。
34. 斯托克斯定理
斯托克斯定理(Stokes' theorem)是微分几何中关于微分形式的积分的定理，该公式可以在对坐标的曲线积分和对面积的面积积分之间相互转换。
35. 泊松求和的一个特例
36. 一维布朗运动的二次变差
37. 欧拉提出的另一个等式
等式左手是一个无穷乘积，在右手则为一个幂级数，其中 p(n) 表示 n 作为自然数之和的所
有可能表示的数。奢侈品品牌排行
38. 算术-几何平均值不等式
算术-几何平均值不等式是一个常见而基本的不等式，表现算术平均数和几何平均数之间恒定的不等关系。
39. 空集的势
40. Cartan structural equations
41. 史特灵公式

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。