最近在reddit上看到了这么一个有趣的问题:下图是一个单位立方体,黑色实线分别是立方体相邻两个面的两条对角线。你觉得这两条对角线之间的最短距离是多少?
可以提前告诉你,答案不是√2/2。
这是一个非常有趣的问题。许多快递公司都依据物件的长、宽、高三边之和来收费,一些航空公司也要求托运行李的三边长相加不能超过某个限制。那么是否有人想过,有没有可能把一个三边之和较大的盒子装进一个三边之和较小的盒子里,从而骗取更低的费用呢?有人会说,恐怕不行吧,长宽高之和更大的盒子体积不也应该更大一些吗?不见得。比方说,盒子A的长宽高分别是10、10、10,盒子B的长宽高分别是9、9、12.1。盒子B的三边长之和显然比盒子A要大,但体积只有980.1,比前者要小近20个单位。那么,为什么就不能把盒子B沿斜线方向塞进盒子A呢?有人会敏锐地发现,在上面的例子中,盒子A的体对角线长为17.3205,但盒子B的对角线长度达到17.5616,显然无法完全放进盒子A里。不过且慢,我也能举出这样的例子,三边和更大的盒子其体积和对角线都比小的盒子的要小。盒子A的长宽高分别为10、10、20,盒子B的长宽高分别为7.1、16.5、16.5。盒子B的长宽高之和比盒子A大,体积为1932.98,对角线长度比前者小大约0.1。看来,为了解决这个问题,我们还需要从一些更巧妙的方面入手。
今天看到一本巨爽的电子书,里面介绍了很多离散几何的神奇结论和美妙证明。我一口气看了将近十个小节,期间不停地被那些天才的数学证明所震撼。电子书的第一节介绍了一个非常初等的东西——Helly定理。从这里大家足以领略到凸集理论的奇妙。
Helly定理是说,如果一组凸图形中任意三个都有公共区域,那么所有这些凸图形也一定有一个公共区域。注意,这个结论并不是显然的。如果把“任意三个”改为“任意两个”的话结论就不成立了,反例很容易找。另外,“凸图形”这个条件也是必需的——下图中的四块区域满足任意三个都有交集,但它们却没有一块公共的部分。因此,要想证明这个结论,我们必须充分利用“凸图形”这一条件。
说勾股定理是一切科学的基础恐怕一点也不夸张。一些最基本的物理定律就与勾股定理之间产生了完美的对应。在我初三学到动能的公式时,我就想到,动能与速度的平方成正比是有内在原因的,这正是由数理科学中最基本的定理——勾股定理——决定的。考虑一个质量为1的物体向正北方向运动,如果它的速度为a,那么所需要的能量就是(a^2)/2;类似地,让同一个物体以b的速度向正东方向运动,所需要的能量应该为(b^2)/2。如果把这两个力叠加在一起,我们就得到了这样一个事实:用(a^2)/2 + (b^2)/2的能量可以让物体往大致东北的方向运动,其速度正好就是一个以a和b为边的矩形的对角线长。因此,(a^2)/2 + (b^2)/2正好也就是对角线长度的平方的一半,这恰好与勾股定理的内容一致。可以说,我们用数学定理验证了一个物理定律;也可以说,我们用物理定律证明了一个数学定理。