数学里也能耍流氓

算法与数据结构 · 公众号 · 算法 · 2017-02-06 09:23

正文

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

欧拉的流氓证明法

在数学史上，很多漂亮的定理最初的证明都是错误的。最典型的例子可能就是 1735 年大数学家欧拉（Euler）的“证明”了。他曾经仔细研究过所有完全平方数的倒数和的极限值，并且给出了一个漂亮的解答：

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

最经典的“无字证明”

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