十大反直觉的数学结论

重磅干货，第一时间送达

   生日悖论

假设房间里有23人，那么两个人生日是同天的概率将大于50%。我们很容易得出，任何一个特定的日子里某人过生日的概率是1/365。所以这个理论看似是无法成立，但理论与现实差异正源自于：我们的唯一要求是两个人彼此拥有同一天生日即可，不限定在特定的一天。否则，如果换做某人在某特定日期生日，例如2月19日，那么23个人中概率便仅为6.12%。

另一方面如果你在有23个人的房间挑选一人问他：“有人和你同一天生日吗？”答案很可能是否定的。但如果重复询问其余22人，每问一次，你便会有更大机会得到肯定答复，最终这个概率是50.7%。

   巴拿赫-塔尔斯基悖论

这一定理指出在选择公理成立的情况下可以将一个三维实心球分成有限（不勒贝格可测的）部分，然后仅仅通过旋转和平移到其他地方重新组合，就可以组成两个半径和原来相同的完整的球。巴拿赫和塔斯基提出这一定理原意是想拒绝选择公理，但该证明很自然，因此数学家认为这仅意味着选择公理可以导致少数令人惊讶和反直觉的结果。并且它被许多数学家视作数学中最为反常的一个结果。在现实生活中我们没有任何办法能将一个物体凭空复制成两个。但事实上他却是成立的，这个结果似乎挑战了物理中的质量守恒定律，但似乎又是在说一个物体的质量可以凭空变为原来的两倍？

但如若原质量是无限的话，翻倍后还是无限大，那么从这一层面出发来看这一理论也并没有打破物理法则。

   蒙提霍尔问题

三门问题亦称为蒙提霍尔问题，大致出自美国的电视游戏节目Let's Make a Deal。问题名字来自该节目的主持人蒙提·霍尔。参赛者会看见三扇关闭了的门，其中一扇的后面有一辆汽车，选中后面有车的那扇门可赢得该汽车，另外两扇门后面则各藏有一只山羊。当参赛者选定了一扇门，但未去开启它的时候，节目主持人开启剩下两扇门的其中一扇，露出其中一只山羊。主持人其后会问参赛者要不要换另一扇仍然关上的门。问题是：换另一扇门会否增加参赛者赢得汽车的机会率？如果严格按照上述的条件，即主持人清楚地知道，哪扇门后是羊，那么答案是会。不换门的话，赢得汽车的几率是1/3。换门的话，赢得汽车的几率是2/3。

这个问题亦被叫做蒙提霍尔悖论：虽然该问题的答案在逻辑上并不自相矛盾，但十分违反直觉。这问题曾引起一阵热烈的讨论。

曾经问过很多人，几乎所有人都没有答对，换门的这一答案实在是太过反常识！

关于第一个解答这个问题的女士的经历也十分耐人寻味：

关于蒙提霍尔问题，玛丽莲·沃斯·莎凡特在她专栏的回答是改选会更有优势，这在美国引起了激烈的争议：人们寄来了数千封抱怨信，很多寄信人是科学老师或学者。一位来自佛罗里达大学的读者写道：“这个国家已经有够多的数学文盲了，我们不想再有个世界上智商最高的人来充数！真让人羞愧！”另一个人写道：“我看你就是那只山羊！”美国陆军研究所(US Army Research Institute)的埃弗雷特·哈曼(Everett Harman)写道，“如果连博士都要出错，我看这个国家马上要陷入严重的麻烦了。”但是莎凡特并没有错。最后她用整整4个专栏，数百个新闻故事及在小学生课堂模拟的测验来说服她的读者她是正确的。游戏秀的调查数据显示，那些改选的参赛选手赢的几率是那些没有改选的人的两倍，这证实了莎凡特在其第三篇专栏中的解释。

这一课告诉了我们，不要轻信自己的直觉。

   巴塞尔问题

将自然数各自平方取倒数加在一起等于π²/6。

一般人都会觉得，左边这一坨自然数似乎和π（圆的周长与直径的比值）不会存在任何联系！然而它就这么发生了！

   阿贝尔不可解定理

我们在中学都学过二次方程，也学过应该怎么解次数为2的多项式方程 ax² + bx + c = 0。

但在16世纪，数学家解出了一元三次方程，即ax³ + bx² + cx + d = 0。当然它对应的求根公式稍稍复杂：

看到这里你应该庆幸中学课本并没有要求你掌握这个，让我们再看看求一元四次方程的求根公式，这可更是不得了了：

好吧，反正小编是直接下拉，一个字都读不进去了。放心，小编不会再继续向你们展示之后的求根公式了。因为一元五次及以上方程的求根公式并不存在！这里指的并不是至今还没有找到它们的求根公式，而是数学家确确实实的证明了它们并不存在。

   有不同层次的无穷大

你可能从来想象不到，有一些无穷大比其他的无穷更大。无穷大应该被称为基数，并且一个无穷大如果比另一个无穷大拥有更大的基数，则说它比另一个无穷大要大。（无穷大的基数总是大于任何一个自然数的基数）

还有许多关于无穷大的基数大大出乎我们的意料。举一个非常经典的例子：整数比奇数多吗？你可能会毫不犹豫的回答，那是当然！因为整数多出了一系列的偶数。但答案是否定的，他们拥有相同的基数，因而整数并不比奇数多。知道了这个道理，就不难回答这个问题了吧：有理数多于整数吗？不，有理数与整数相同多。

然而康托发现事实上上实数比有理数还要多。实数通常被认为是连续统，并且至今并能完全知道，是否有介于整数基数和连续统基数的无穷大？这个猜想被称为连续统猜想。

   哥德尔不完备定理

我们证明了有一些东西是不能被证明的。

它的逻辑是这样的：

(1) 任何一个足够强的系统都存在一个命题，既不能被证明也不能被证伪（例如连续统假设）

(2) 任何一个足够强的系统都不能证明它自身是不推出矛盾，即便它不能被推出矛盾

以上两条定义即著名的哥德尔不完备定理。他的意义并不仅仅局限于数学，也给了我们深深地哲学启迪。

交流群

欢迎加入公众号读者群一起和同行交流，目前有SLAM、三维视觉、传感器、自动驾驶、计算摄影、检测、分割、识别、医学影像、GAN、算法竞赛等微信群（以后会逐渐细分），请扫描下面微信号加群，备注：”昵称+学校/公司+研究方向“，例如：”张三 + 上海交大 + 视觉SLAM“。请按照格式备注，否则不予通过。添加成功后会根据研究方向邀请进入相关微信群。请勿在群内发送广告，否则会请出群，谢谢理解~