DennyQi's Log

证明正多面体只有五个

方法一:欧拉公式

假设一个正多面体的顶点数为VV,边数为EE,面数为FF。那么假如该多面体为正nn面体,并且每个顶点有mm条边,那么E=mV/2E=m\cdot V/2F=mV/nF = m\cdot V/ n。由多面体的欧拉公式,V+FE=2V+F-E=2,代入可得(2n+2mnm)V=4n(2n+2m-nm)V=4n

所以,V=4n2n+2mnm,E=2nm2n+2mnm,F=4m2n+2mnmV=\dfrac{4n}{2n+2m-nm},E=\dfrac{2nm}{2n+2m-nm},F=\dfrac{4m}{2n+2m-nm}

于是,问题转化为了一个整数规划问题。首先,n3,m3n \geq 3, m\geq 3,并且由2n+2mnm>02n+2m-nm>0可得m<2nn2m<\dfrac{2n}{n-2}。可见当n>6n>6m<3m<3,因此n6n\leq 6。而当n3n\geq 3m<6m< 6,可见m5m\leq 5

那么对于3n6,3m53\leq n \leq 6,3\leq m \leq 5,枚举有序对(n,m)(n,m),可能的有序对有(3,3),(3,4),(3,5),(4,3),(5,3)(3,3),(3,4),(3,5),(4,3),(5,3)

对于(3,3)(3,3)F=4F=4,得正四面体;

对于(3,4)(3,4)F=8F=8​,得正八面体;

对于(3,5)(3,5)F=20F=20,得正二十面体;

对于(4,3)(4,3)F=8F=8,得正六面体;

对于(5,3)(5,3)F=12F=12,得正十二面体;

以上五个正多面体都可构造得到。综上,共有五个不同的正多面体。

方法二:内角和不等式

多面体共顶点的棱相邻夹角的和小于2π2\pi。设正多面体是正nn面体,每个顶点有mm条棱,那么m(π2πn)<2πm\cdot (\pi-\dfrac{2\pi}{n})< 2\pi,因此2m+2n>nm2m+2n> nm。其余同方法一。