专栏名称: 程序猿

本微信公众号：imkuqin，为程序员提供最新最全的编程学习资料的查询。目前已经开通PHP、C/C++函数库、.NET Framework类库、J2SE API查询功能。

数学里也能耍流氓

程序猿 · 公众号 · 程序员 · 2017-04-21 21:41

正文

请到「今天看啥」查看全文

这是一个出人意料的答案，圆周率 π 毫无征兆地出现在了与几何完全没有关系的场合中。欧拉的证明另辟蹊径，采用了一种常人完全想不到的绝妙方法。他根据方程 sin(x)/x = 0 的解，对 sin(x)/x 的级数展开进行因式分解，再利用对比系数的方法神奇地得到了问题的答案。不过，利用方程的解进行因式分解的方法只适用于有限多项式，在当时的数学背景下，这种方法不能直接套用到无穷级数上。虽然如此，欧拉利用这种不严格的类比，却得出了正确的结果。欧拉大师耍了一个漂亮的流氓。

最经典的“无字证明”

一些定理的直观理解虽然毫无逻辑可言，完全算不上是数学证明，但这些精巧而欢乐的视角，依然让数学家们如痴如醉。

1989 年的《美国数学月刊》（American Mathematical Monthly）上有一个貌似非常困难的数学问题：下图是由一个个小三角形组成的正六边形棋盘，现在请你用右边的三种（仅朝向不同的）菱形把整个棋盘全部摆满（图中只摆了其中一部分），证明当你摆满整个棋盘后，你所使用的每种菱形数量一定相同。

文章末尾提供了一个非常帅的“证明”。把每种菱形涂上一种颜色，整个图形瞬间有了立体感，看上去就成了一个个立方体在墙角堆叠起来的样子。三种菱形分别是从左侧、右侧、上方观察整个立体图形能够看到的面，它们的数目显然应该相等。

严格地说，这个本来不算数学证明的。但它把一个纯组合数学问题和立体空间图形结合在了一起，实在让人拍案叫绝。因此，这个问题及其鬼斧神工般的“证明”流传甚广，深受数学家们的喜爱。《最迷人的数学趣题——一位数学名家精彩的趣题珍集》（Mathematical Puzzles: A Connoisseur's Collection）一书的封皮上就赫然印着这个经典图形。在数学中，类似的流氓证明数不胜数，不过上面这个可能算是最经典的了。