提到数学之美，你会想到哪些关键词？可能每个人对数学及美的了解都不尽相同。中国科学院院士、中国科学院数学与系统科学研讨院研讨员袁亚湘所著《数学漫谈》一书记载了这位数学家关于数学之美的了解和诠释，今天我们推送这本书的第二章，让袁院士带我们领略数学之美的所在——对称、简约、极致 撰文 | 袁亚湘 简直一切的数学家都以为数学是漂亮的。学过泛函剖析的学生都知道著名的Han-Banach定理。这个定理的提出者巴拿赫曾说过，“数学是人类最美及最有力的发明”。
巴拿赫（1892~1945） 数学的美体往常很多方面，其中之一是对称美。对称是自然界之美的一种表示方式，在动物、植物以及自然景观中，对称的现象随处可见：美丽的蝴蝶、灵动的蜻蜓、开屏的孔雀都是左右对称的；宽大的荷叶、火红的枫叶等许多植物叶片也是对称的；晶莹的雪花、横空的彩虹同样是对称的。
自然界中对称的例子亘古未有 对称在数学中随处可见。古希腊著名哲学家亚里士多德曾说过：“数学科学特别表示次序、对称和限制，这些是美的最高方式”。
亚里士多德（约384BC-322BC） 几何中很多图形具有对称性，好比平面上的长方形、圆形、等腰三角形，平面图形中的立方体、圆柱体、球体等。平面上的对称图形有一条或多条对称轴，而对称平面图形则有一个或多个对称面。高维空间中人们所研讨的汇合不少也有对称性。 在理想生活中，直线是一维、平面是二维、平面是三维，假如把时间思索进来，就有四维空间。在数学中，能够思索恣意高维的空间。更有意义的是，还有分数维空间。分形作为欧氏空间中的自相似子集，其维数通常都不是整数。大多数分形的图形都十分冷傲，下面给出一些例子。
代数中也有大量的对称，从小学的a乘b等于b乘a，到中学的对称多项式，乃至大学的对称矩阵、对称群等等都是对称的例子。对称性还为数学中的许多剖析技巧、证明措施提供了思绪。
对称多项式 上述亚里士多德在谈对称时，还提到了次序。“序”是数学中重要的概念，有序的事情是调和的、美好的。德国数学家、哲学家莱布尼茨曾说过：“次序、对称、调和让我们陶醉，……上帝是地道有序的，他是宇宙调和的缔造者。”
莱布尼茨（1646-1746） 莱布尼茨与牛顿独立创建了微积分，往常我们微积分所用的数学符号均源自于他。莱布尼茨的职业是律师，他发明及完善了二进制。听说这一发明与中国密切相关：相传法国数学家、传教士白晋把中国外圆内方的易经八卦图送给过莱布尼茨，这对他发明二进制有启示作用。
白晋（1662-1732） 数学的另一种美是比例美。中小学教授的几何都属于欧氏几何，是源于古希腊数学家欧几里得对欧式空间中的几何性质的系统研讨。欧几里得在其《几何原本》中给出了一个称为“中末比”的比例，它的定义是源于：一条线段上的点把其分为两段，使得长段的长度与短段长度的比值正好等于整个线段的长度与长段长度的比值，这个比值就是所谓的“中末比”。
欧几里得（约公元前330-公元前275）与《几何原本》 设线段分长大短两段，其中长段之长为a，短段之长为b，则经过解一个一元二次方程就能够把中末比a/b（用希腊字母φ作为记号）求出来，它约等于1.618。
很多科学家十分推崇“中末比”。德国的天文学家、物理学家、数学家开普勒曾说过：“几何学有两大珍宝：一个是毕达哥拉斯定理（勾股定理），另外一个是中末比。前者可比金子，后者可称宝玉”，可见他对“中末比”这个比例的推崇水平。
开普勒 （1571-1630） 文艺复兴时期，人们喜欢把美好的东西形容为“如金子般闪闪发光”。因而中末比这一比例被德国数学家马丁·欧姆命名为“黄金分割”比例。这里需求提示读者留意，这里的数学家马丁·欧姆并非物理学中电阻的单位欧姆指代的人。电阻单位是用物理学家乔治·欧姆命名的，而马丁·欧姆是乔治的弟弟。
马丁·欧姆（1792-1872）与乔治·欧姆（1789-1854） 意大利全才科学家、画家达芬奇也十分喜欢黄金分割比例。他在名画《蒙娜丽莎》、《最后的晚餐》、素描《维特鲁威人》等多处采用了黄金分割比例。依照达芬奇的观念，美人的肚脐应该处于整个身高的黄金分割点；同样，眼睛应该位于头部的黄金分割点等等。
达芬奇（1452-1519）的名作《蒙娜丽莎》及《维特鲁威人》 古埃及金字塔、希腊雅典的帕特农神庙等建筑中黄金分割也四处可见。自然界中很多动植物上也有黄金分割比例的表示。
黄金分割点在线段中的相对位置是中末比的倒数，它等于中末比减去1。我们把它记为Φ。 上个世纪六十年代，我国著名数学家华罗庚带领小分队在全国各地推行优选法，主要就是提高应用黄金分割的单要素优化措施。该措施俗称“0.618措施”。正由于如此，在我国，黄金分割比例通常是指中末比的倒数0.618。 简约美也是数学的美之一。很多数学公式十分简约。譬如欧拉公式： 一个短短的公式就把数学中的几个最重要的量：欧拉常数 e , 虚数 i ，圆周率 π ，以及1和0都联络在了一同。 另一个简约而又巧妙的公式是欧拉点线面公式。它描写了多面体的顶点数 V 、棱数 E 以及面数 F 的内在关系：顶点数减去棱数，再加上面数之和等于2。
牛顿定律F= ma同样也是一个简约的公式。它论述了经典力学中的基本运动规律，其意义是物体遭到的作用力F等于其质量m乘以加速度a。 漂亮数学公式体往常物理中的例子还有麦克斯韦电磁场方程（组）： 麦克斯韦（1831-1879）及其电磁场方程（组） 简单的四个方程就给出了电磁场理论的精确数学表白，展示了电场与磁场相互转化中产生的对称美。 数学的美还体往常数的巧妙。让我们先从勾股定理谈起：设直角三角形的三条边分别是3、4、5，三条边长满足3的平方加上4的平方等于5的平方。我国东汉末年至三国时期的东吴数学家赵爽在《周髀算经注》中明白给出了勾股定理的描画：“勾股各自乘，并之，为弦实。开方除之，即弦。”他还应用弦图给出了勾股定理的证明：“按弦图，又能够勾股相乘为朱实二，倍之为朱实四，以勾股之差自相乘为中黄实，加差实，亦成弦实。”2002年在北京召开了第24届国际数学家大会，会议的会标就是基于弦图设计的。中国科学院数学与系统科学研讨院的院徽也是这个图案。
《周髀算经》与2002年国际数学家大会会标 勾股定理在西方被称为毕达哥拉斯定理，是由于有人以为该定理是古希腊哲学家、数学家毕达哥拉斯所发现，而且把如下的证明归功于他。该证明把四个勾股弦分别为a、b、c的三角形围成一个边长为a+b的大正方形。中间的空隙是一个边长为c的小正方形。应用大正方形面积等于小正方形加上四个三角形面积这一关系，就能够推导出勾股定理。留意，弦图是把同样的四个三角形围成一个边长为 c的正方形。这两种证明勾股定理的几何措施异曲同工。实质上，它们一个应用了(a+b) 2 、另一个应用了 (a-b) 2 的展开公式。
毕达哥拉斯（约571BC-495BC）及其定理证明的表示图 其实，没有任何证据能够认证毕达哥拉斯曾证明过勾股定理。但史料表明，毕达哥拉斯显然知道勾股定理，很可能他是从古巴比伦人那儿得知这一美好的结论。相似于（3，4，5）这种能构成直角三角形三个边长的数组称为毕达哥拉斯数。能够证明，存在无量多组毕达哥拉斯数，如（5，12，13），（9，40，41），（11，60，61），（13，84，85）等等。
古巴比伦关于勾股定理的证明 有趣的是，假如我们把勾股定理中的平方换成三次方，就找不到这样的整数组满足规律了。费马大定理描画的就是这个结论：x的N次方加上y的N次方等于z的N次方这个等式在N大于2时不存在正整数解。费马是法国业余数学家，他大学是学法律的，30岁时出任图卢兹议会议员，之后还担任图卢兹法院法官。他经常应用业余时间研讨数学问题，和笛卡尔（1596-1650）、梅森（1588-1648）通讯讨论数论问题。费马在他珍藏的丢番图《算术》一书的书眉上写下了费马大定理的描画，但未给出证明，而是留下了一句话：“我确信已发现一种绝妙的证明，可惜此处空白太小写不下”。殊不知这句话背地的定理证明让无数数学家为之冥思苦想，直到三个半世纪后的1994年才由英国数学家安德鲁·怀尔斯（Andrew Wiles）给出完好证明。
费马（1601-1665）及《算术》一书（1621） 另外一个神奇的数论例子是哥德巴赫猜测。哥德巴赫出生于普鲁士的哥尼斯堡（今俄罗斯加里宁格勒），也就是欧拉七桥问题的所在地。歌德巴赫35岁起担任圣彼得堡皇家科学院的数学和历史学教授。三年后赴莫斯科任沙皇的私人教员。42岁起不时在俄国外交部任职。可见，他也是应用业余时间研讨数学。 1742年，哥德巴赫在给欧拉的信中提出了哥德巴赫猜测：任何大于2的数能够写成三个素数（编者注：也称质数，只能被1和其自身整除）之和。由于在哥德巴赫那个时期，1也是一个素数，所以哥德巴赫猜测在往常的表述是：任何大于2的偶数能够写成两个素数之和。假如用“1”来代表一个素数，哥德巴赫猜测就能够简称为“1+1”。这个猜测的描画固然简单，但却是世界级难题，被称为数学皇冠上的明珠。近300年，经过了无数知名数学家的努力，至今依然还没有被彻底证明。
哥德巴赫（1690-1764） 针对哥德巴赫猜测这一世界难题，我国先后有几位数学家做出了庞大的贡献，包含王元、潘承洞、陈景润。特别值得一提的是，陈景润于1966年证明了“1+2”，这一结果至今仍是哥德巴赫猜测问题的最佳停顿。“1+2”就是指：一切充沛大的偶数都能够写成一个素数及一个不超越两个素数的乘积之和。
陈景润（1933-1996） 洁净、整洁也是美的重要要素。打个好比，假如一个人的脸上、身上四处都脏兮兮的，无论长相如何，大家都不会以为这有多美。而数学之所以被以为是漂亮的，与它的整洁之美不无关系。众所周知，数学证明必须干洁净净，经得起揣摩，没有任何瑕疵。 英国哲学家、医生、自由主义之父约翰·洛克将数学证明的坚实、洁净和无暇比作钻石，可见他对数学证明的观赏。洛克有很多著名的论著，包含《人类了解论》和《政府论》。能够说，他的理论鼓舞了美国反动和法国大反动，对美国宪法和《独立宣言》都有极大的影响。这么一位出名于世的哲学家和思想家把数学的证明比作钻石，可见数学的确是美不可言。
洛克（1632-1704） 数学的美是极致之美，它就像一个高高在上、冰肌玉骨的冰山美人。这种说法能够追溯到英国数学家、逻辑学家罗素。罗素是一位出名遐迩的哲学家、文学家，他曾取得过诺贝尔文学奖。罗素说过，数学不需修饰、高冷得像座雕塑。在他眼里，其他的艺术，包含舞蹈和音乐等都不如数学美丽，只需雕塑才干与数学媲美。
罗素（1872-1970）及米开朗基罗的雕塑《大卫》 文至此处，读者或许会有疑问，数学如此美好，为何很多人并未感同身受呢？事实上，观赏美需求了解的过程和鉴别的才干。正所谓，盲人不会以为眼前的景色值得流连，动听的音乐不会掀起聋人的波澜心情，一个从小到大不吃辣的人无法了解我这个湖南人口中的辣椒美味。观赏数学也是一个道理。假如你从不曾走进数学的世界，用心体会和感悟那数字、图形、逻辑的出神入化，又怎样会觉得它美好呢？ 注：本文节选自《数学漫谈》一书，作者袁亚湘，赛先生获受权转载，略作编辑。 制版编辑｜Livan 欢送关注我们，投稿、受权等请联络 saixiansheng@zhishifenzi.com |
名表回收网手机版
