在所有周长相等的长方形中,正方形拥有最大的面积;在所有周长相等的平面图形中,圆拥有最大的面积;在所有表面积相等的长方体中,正方体拥有最大的体积;在所有表面积相等的立体图形中,球拥有最大的体积。所有这类问题的答案都是越对称的图形越好吗? George Pólya 在 Mathematical Discovery 一书中的第 15 章里举了下面这个例子。
在给定圆周上选取四个点构成一个四边形,那么正方形的面积一定是最大的吗?答案是肯定的。只要有哪个点不在相邻两点之间的圆弧的中点处,我们都可以把它移动到这段圆弧的中点处,使得整个图形的面积变得更大。好了,我们现在的问题是,在球面上选取八个点构成一个顶点数为 8 的多面体,那么正方体一定是体积最大的吗?
答案居然是否定的。单位球中的内接正方体,体对角线将会等于球的直径 2 ,那么这个正方体的边长 x 就应该满足 x2 + x2 + x2 = 22 ,解得 x = 2 / √3 。因而,这个正方体的体积就是 (8 / 9) · √3 。现在,让我们再想象这样一种单位球中的内接多面体:作出赤道面上的内接正六边形,再把它的各个顶点与南北极相连,构成一种由两个正六棱锥拼接而成的立体图形。每一个正六棱锥的底面都是一个边长为 1 的正六边形,其面积为 (3 / 2) · √3 ;由于棱锥的高也是 1 ,因此棱锥的体积就是 (1 / 3) · (3 / 2) · √3 = (1 / 2) · √3 。两个这样的棱锥拼在一起,总体积就是 √3 ,这比单位球里的内接正方体体积更大。看来,在与几何图形相关的最值问题中,并不是最对称的那个图形就是最好的。
为什么会出现这种情况呢?其中一种原因是,立方体虽然非常对称,但它的面太少了。可以想象,如果两个多面体内接于同一个球里,并且它们的顶点数相同,那么谁的面更多一些,谁就有希望占据更大的空间。事实上,我们可以推出,对于顶点数目一定的多面体,如果面数达到最大,则每个面都将会是三角形。根据 Euler 公式,多面体的顶点数 V 、棱数 E 和面数 F 满足 E = F + V – 2 ,另外注意到多面体所有面的边数之和为 2 · E (因为每条棱都被算了两次),因而平均每个面的边数就可以表示为 2 · E / F = 2 · (F + V – 2) / F = 2 + (2 · V – 4) / F 。从这个式子中可以看出,当顶点数目一定时,随着面数的增加,多面体平均每个面的边数将会减少。面数最多的情况,也就是多面体平均每个面的边数最少的情况,也就是每个面都是三角形的情况。
其实,刚才那个双棱锥仍然不是最优解。下图所示的单位球内接多面体也拥有八个顶点,但它的体积更大,约为 1.8157161 。根据我能查到的资料显示,这应该就是体积最大的解了。
已阅。
那个解是用正五边形构造的?好奇怪
其实是正十二面体啦
不太严谨啊……
但是终究还是对称的
正方体才六面体 八面体肯定比六面体大
八面体完全可以想象成被吹大了两面的六面体
球面也可以理解成内接正方体吹大了六面的六面体
三维的情况,还按顶点数来分类就不合适了吧
估计立方体是6个面的多面体里体积最大的
好奇葩的形状
这就好像,吧N个单位圆全都圈在一个大圆内,所有小圆都不重叠,结果,最后排出来的最优解往往是丑陋的(对称性低的)
有无通解?
不知道这东西推广到 n 个顶点会有什么结果,9 个顶点的情况应该是对称的吧。
博主NB,十年如一日。。
其实,可以说成是各个点均匀分布时体积最大。
对啊,各点平均分布时体积最大……这就牵扯到非欧几何了吧
这个图形肯定是对称的,但是并不是越对称体积就越大吧,这应该是楼主要说的吧?
难道是我老啦,好多地方都没有看明白,这个到底有什么用?
在配位化学中,这个立体图形被称为十二面体,是八配位配合物比较常见的构型之一,还有四方反棱柱、六角双锥也比较常见,但立方体型配合物很少,就和这个有一定关系。
我只想问gif是怎么画出来的,用的啥软件啊
“根据我能查到的资料显示,这应该就是体积最大的解了”,看到这一句感觉有点不习惯,你的结论不都是证明出来的么:)
最后的结论不严谨啊,个人觉得应该还是对称体面积最大,只是在球内,立方体不是最对称的,这个方体应该是棱长为x,Vmax=14*(sqrt3)*x*x*sqrt(1-3*x*x/16)
看过了,学习一下
博主已经讲到所有面都应该是三角形了;当各个点均匀分布时不也就意味着多面体中所有边长相等么,在这种情况下,F、E、V和边长都确定了,图形是不是也就确定了,就像那个gif所示。
那是因为六边形是由等边组成的吧?
请教椭球内接多面体(面数为6及以上)的最大体积是多少?多面体体积和面数有何关系?多面体各面面积差异如何?谢谢!
最后一张图里的多面体(8V, 18E, 12F)叫什么名字呢?找了半天没找到……
根据这个网页上的数据,我发现原来最后那个多面体里有些面居然是不等边三角形!
这个多面体可以看成是由两个梯形 ABCD 和 EFGH 张成的,它的棱长有三种:
AB = BC = CD = EF = FG = GH 约为 1.138;
AF = AG = DF = DG = BE = CE = BH = CH 约为 1.265;
AE = AH = DE = DH 约为 1.455。
啊,忘了贴链接了:
https://math.stackexchange.com/questions/979660/largest-n-vertex-polyhedron-that-fits-into-a-unit-sphere