切换深浅主题
第 2 章:两条路线为何得到同一限制
2.1 从局部角度出发
正 边形的每个内角是
。凸多面体的真正顶点处,相邻面的面内角之和严格小于
,其证明见第 10 章。因此
先约去正数 ,再乘以正数
,得到
,即
。两边加
并因式分解:
2.2 从整体计数出发
每个面有 条棱,但每条棱被两个面共享;每个顶点有
条棱,但每条棱有两个端点。所以
将 、
代入将于第 9 章证明的欧拉公式
:
由于 ,两边除以
并移项:
乘以正数 ,得到
,再整理就得到同一不等式。严格大于来自
,没有额外的几何假设藏在这一代数步骤中。
两条路线可以分别成立:欧拉公式的证明不需要预先知道顶点角和;顶点角和的证明也不需要欧拉公式。