MathLabs

第2問

9個の頂点 A1,A2,…,A9A_1,A_2,\ldots,A_9 をもつ凸多面体 P1P_1 を考える。PiP_i を、A1A_1 を AiA_i に移す平行移動による P1P_1 の像とする (i=2,3,…,9i=2,3,\ldots,9)。P1,P2,…,P9P_1,P_2,\ldots,P_9 の少なくとも2つが内部点を共有することを証明せよ。
ステップ 4/4: 体積を比較して重なりを導く
vol⁡(2P1)=23V=8V<9V=∑i=19vol⁡(Pi)\operatorname{vol}(2P_1)=2^3V=8V<9V=\sum_{i=1}^9\operatorname{vol}(P_i)
詳しい解説

V=vol⁡(P1)>0V=\operatorname{vol}(P_1)>0 とおく。3次元で倍率2の拡大体積は 8V8V、一方9個の平行移動体の体積総和は 9V9V である。内部が互いに素なら(境界の交わりは体積0)合併の体積は 9V9V だが、それは体積 8V8V の 2P12P_1 に含まれるので矛盾。従って少なくとも2つは共通の内部点をもつ。