美国数学教师麦克·珀山(Michael Pershan)曾经在著名社交网站推特上说过一句话:“数学不是关于美感,或逻辑,或抽象,或解决问题等等。它是一个非常混乱的人类活动。”他的这段话引起了许多数学工作者的负面的回应。他最后修改了这句话,改成了“数学不仅是关于……”后才平息了争论。 我想,他的修改是必要的。正如我们中国数学科普作家所强调的那样,数学是美的化身。最典型的例子之一就是欧拉恒等式:。这个公式经美国物理学家费曼的推崇后被广为传播。 但在纯数学之外,应用数学家和计算数学家们可能更经常看到的是数学的“混乱”那部分。因为他们所做的是用数学工具去解决自然世界的实际问题的。在这里,从自然抽象出来的数学必须放下它的美丽身段而与自然界挂钩。我想,这正是珀山的初衷。 我曾经有些鲁莽地在科学网博客上发了一篇博文:“最丑的数学公式”。最可笑的是,我把求四次函数的根的通解公式当作了最丑的数学公式。意大利数学家洛多维科·费拉里(Lodovico Ferrari)在 1540 年发现了四次方程的解。据说更早的有西班牙数学家瓦尔梅斯(Valmes) 在 1486 年也声称得到了四次方程的解。而他竟然因此被处以火刑。以后的三百年中,多少人寻找五次方程的通解而无所获。直到 1824 年挪威数学家阿贝尔(Niels Henrik Abel)证明了这是不可能的,于是在追求多项式通解的道路上,“最丑数学公式”留给了四次方程的通解。但其实这个公式仔细看还是满有规律的,它具有着对称美。所以我的例子显然错了。 在我发出这篇博文的时候,我就预感到会有很多吐槽。果不其然,多数的评论是负面的,尽管还是客气的(谢谢!)。王国强老师指出:“有人说,垃圾是放错了地方的资源。我想,这些'丑’公式,大概是被放在了一个不恰当的变量空间中所导致的。如果放在一个合适的变量空间中,那么会跟欧拉公式一样美。实际上,从复变量的角度来看, 次方根公式跟欧拉公式,其实是一回事儿。” 赵柳老师说:“数学家才不在乎数学公式的美丑。对他们来说,美和丑都是无法量化的东西,谈不上'最’字。”赵老师所言极是!“说实话,我知道我的结论有些唐突。我应该在“最丑”两字上加上引号,因为只有更丑,没有最丑。其实我在那篇文章里也暗示过,我所谓丑的意思并不是真的丑。只是为了对应于“最美数学公式”而用了一个丑字。但话又说回来,四次多项式的通解已经超乎想像地烦长,有谁会记住它,用到它呢?它的意义仅在于结论:四次方程和二次方程一样有公式解。 感谢李泳老师写了一篇回应:“哪儿有丑数学?”。李老师写到:
四次多项式的通解已经超乎想像地烦长,似乎预示着哈代的话:丑数学尾巴长不了。果然到五次时就再也走不下去了。我在做事情的时候有时会这样,当我的处理越来越复杂的时候,可能就预示着应该有更好的办法。而事实往往如此。不过,用这种思想来给应用数学下论断是错误的。 李老师还写到:
我特地到互联网上去 Google 了一下,发现早就有人谈过“最丑数学公式”了。比如,在“知乎”上就有一个“数学史上你认为最丑陋的公式是什么?”的讨论。在《数学人文》杂志上有一篇“扫描数学家的脑 ── 看到数学之美”。阿蒂亚 (M. Atiyah) 爵士提供了 60 个包含许多领域的数学公式让 16 位数学家来评比。最美的当然是欧拉公式。最低分的丑公式则是拉马努金(Ramanujan)的 公式: 这个由拉马努金发现的公式确实比四次方程的通解要丑多了。但其实,它有一个更一般的形式(拉马努金-佐藤级数): 其中, 是一些满足一定递归关系的可以用二项式系数表达的已知数列,, , 则需用高阶模形式来表达。这方面的结果一直到近些年都还有新的进展。这样看来,拉马努金的 公式还是很美的。 还是李老师说得对:“要把数学内部的美丑问题推波助澜到'应用’领域,那儿常常没有美丑意识。'正所谓’不管白猫黑猫,能捉到老鼠就是好猫。”让我们也举一个例子: 我必须把这个截图缩小后才能放入我的这篇文章里。不过你可以在这里得到这个公式的 LaTeX 原本: 我不敢说这个标准模型公式是最丑的。但工程数学里的几乎所有公式都是像它一样看上去复杂无序。没有最丑,只有更丑。但只要它有用,那么它就丑得其所。让我们停止感叹,努力发现它的传统之美并把它展现给读者吧。 参考文献 http://devlinsangle./2018/09/is-math-really-beautiful.html https://en./wiki/Ramanujan%E2%80%93Sato_series http://nuclear./\textasciitilde{}tgutierr/files/stmL1.html http://blog.sciencenet.cn/blog-279992-1110777.html http://blog.sciencenet.cn/blog-677221-1166326.html https:///n/1071215752045 [9] 刘瑞祥,数学美在哪里,遇见数学公众号 |
|