10大反直觉的数学结论

亦凉 2022-03-25 05:40 218阅读 0赞

转载地址：[https://blog.csdn.net/stpeace/article/details/85016638][https_blog.csdn.net_stpeace_article_details_85016638]

# 10大反直觉的数学结论 #

![20181222084258405][]

**我是谁？**

**我在哪？**

反直觉的事实有时候甚至骗过了最好的数学家。有些数学结论，往往会跟我们生活中的经验背道而驰。

![20181222084258505][]

今天，超模君就来跟大家讲讲10个反直觉的数学结论吧。

**生日悖论**

假设房间里有23人，那么两个人生日是同天的概率将大于50%。我们很容易得出，任何一个特定的日子里某人过生日的概率是1/365。

所以这个理论看似是无法成立，但**理论与现实差异正源自于：我们的唯一要求是两个人彼此拥有同一天生日即可，不限定在特定的一天。**

否则，如果换做某人在某特定日期生日，例如2月19日，那么23个人中概率便仅为6.12%。

另一方面如果你在有23个人的房间挑选一人问他：“有人和你同一天生日吗？”答案很可能是否定的。

但如果重复询问其余22人，每问一次，你便会有更大机会得到肯定答复，最终**这个概率是50.7%。**

![20181222084258605][]

**巴拿赫-塔尔斯基悖论**

这一定理指出在选择公理成立的情况下可以将一个三维实心球分成有限（不勒贝格可测的）部分，然后仅仅通过旋转和平移到其他地方重新组合，就可以组成两个半径和原来相同的完整的球。

巴拿赫和塔斯基提出这一定理原意是想拒绝选择公理，但该证明很自然，因此数学家认为这仅意味着选择公理可以导致少数令人惊讶和反直觉的结果。并且它被许多数学家视作数学中最为反常的一个结果。

在现实生活中我们没有任何办法能将一个物体凭空复制成两个。但事实上他却是成立的，这个结果似乎挑战了物理中的质量守恒定律，但似乎又是在说一个物体的质量可以凭空变为原来的两倍？

![20181222084258622][]

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

**蒙提霍尔问题**

**三门问题亦称为蒙提霍尔问题**，大致出自美国的电视游戏节目Let's Make a Deal。问题名字来自该节目的主持人蒙提·霍尔。

参赛者会看见三扇关闭了的门，其中一扇的后面有一辆汽车，选中后面有车的那扇门可赢得该汽车，另外两扇门后面则各藏有一只山羊。

当参赛者选定了一扇门，但未去开启它的时候，节目主持人开启剩下两扇门的其中一扇，露出其中一只山羊。主持人其后会问参赛者要不要换另一扇仍然关上的门。

问题是：换另一扇门会否增加参赛者赢得汽车的机会率？

如果严格按照上述的条件，即主持人清楚地知道，哪扇门后是羊，那么答案是会。不换门的话，赢得汽车的几率是1/3。换门的话，赢得汽车的几率是2/3。

![20181222084258638][]

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

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

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

**巴塞尔问题**

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

![20181222084258656][]

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

**阿贝尔不可解定理**

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

![20181222084258769][]

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

![20181222084258879][]

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

![20181222084258992][]

好吧，反正小编是直接下拉，一个字都读不进去了。放心，小编不会再继续向你们展示之后的求根公式了。

**因为一元五次及以上方程的求根公式并不存在！**这里指的并不是至今还没有找到它们的求根公式，而是数学家确确实实的证明了它们并不存在。

**有不同层次的无穷大**

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

![20181222084259108][]

还有许多关于无穷大的基数大大出乎我们的意料。**举一个非常经典的例子：整数比奇数多吗？**你可能会毫不犹豫的回答，那是当然！

因为整数多出了一系列的偶数。但答案是否定的，他们拥有相同的基数，因而整数并不比奇数多。知道了这个道理，就不难回答这个问题了吧：有理数多于整数吗？不，有理数与整数相同多。

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

**哥德尔不完备定理**

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

**它的逻辑是这样的：**

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

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

![20181222084259222][]

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

**曼德勃罗集**

德勃罗集是一个复数集，考虑函数f(z)=z²+c，c为复常数，在这为参数。

若从z=0开始不断的利用f(z)进行迭代，则凡是使得迭代结果不会跑向无穷大的c组成的集合被称为曼德勃罗集。规则不复杂，但你可能没预料到会得到这么复杂的图像。

![20181222084259319][]

当你放大曼德勃罗集时，你会又发现无限个小的曼德勃罗集，其中每个又亦是如此...（这种性质是分形所特有的）

![20181222084259334][]

这真的很契合那句俗话“大中有大，小中有小”，下面有一个关于放大他的视频，我想这绝对令人兴奋不已。

如果你看了这些视频后仍然不觉得这些纯数学令人感到惊讶，那我也不知说什么好了。

**“加百列的号角”与油漆匠悖论**

了解微积分的学生或许熟悉，“加百列的号角”是一个体积有限表面积无穷大的物体（用微积分的知识可以清晰地发现这一点）。

![20181222084259445][]

而它若在现实中，如果试着去漆上它，则会导致一些问题。油漆匠佯谬是说，我们可以填满这个号角（体积有限），但是却不可能完完全全的漆上它（表面积无限）。

“科赫雪花”是一种奇特的形状，与上例类似，它具有有限面积无限周长。事实上，第二个提到的曼德勃罗集也具有一样的性质！

![20181222084259464][]

**费马大定理**

毕达哥拉斯定理声称，对于任何一个直角三角形，都有a²+b²=c²。现在假定这些变量都是正整数。那么显然有解a=3，b=4，c=5，但是a=1.5，b=2，c=2.5 就不对了，即便它也使得等式成立。可以发现，显然有无穷多对使得a，b，c都是整数的解。

![20181222084259555][]

但如果我们进一步考虑下面的问题呢，有多少对正整数解满足 a³+b³=c³？

答案是没有。就算再把指数3换成5也如出一辙，也无解。

事实上，费马大定理称，任何指数大于2的上述等式，没有任何一组正整数。

这个著名的问题在1637年作为猜想提出，花费了将近四个世纪才被解决，最终被安德鲁怀尔斯于1995年解决。

![20181222084259571][]

[https_blog.csdn.net_stpeace_article_details_85016638]: https://blog.csdn.net/stpeace/article/details/85016638
[20181222084258405]: /images/20220325/9b730ce5b3a743dc8b6d3d5652078ba6.png
[20181222084258505]: /images/20220325/e2024d2597fb4dcda76d2389ad2f5443.png
[20181222084258605]: /images/20220325/e5e172d1b9ba48859009137f50682425.png
[20181222084258622]: /images/20220325/215b41c18e1e4941a09aac1ec7617a5c.png
[20181222084258638]: /images/20220325/e21883609f2445b699c94f466775366f.png
[20181222084258656]: /images/20220325/ae6103de90ed41ce8ea3e0d788940cdb.png
[20181222084258769]: /images/20220325/63475ca427a84968a66c6b7b8afdf1fa.png
[20181222084258879]: /images/20220325/b1009c5401514ef2b476a0d187ba66d7.png
[20181222084258992]: /images/20220325/eac51cb8f5274f9d9c17800fb5af6860.png
[20181222084259108]: /images/20220325/2bc2e6ae40d14ed18516b4dd1cb7a426.png
[20181222084259222]: /images/20220325/3c94129e3eaf4e85b27ea5a191be6ecf.png
[20181222084259319]: /images/20220325/4b16405a423f42ea89ac5cdbdce20970.png
[20181222084259334]: /images/20220325/45829e99caea4d4eaa24bb551a985486.png
[20181222084259445]: /images/20220325/98e7abb0d1f24730912bd7f42a11cf57.png
[20181222084259464]: /images/20220325/340b622aded14da4811d1ebf2fdcbab8.png
[20181222084259555]: /images/20220325/0985208795074e5483ba37d9ce24f72c.png
[20181222084259571]: /images/20220325/9f1d28b4be7f4123b703b2b494d8174d.png