MathLabs

Problem 2

Consider a convex polyhedron P1P_1 with nine vertices A1,A2,…,A9A_1,A_2,\ldots,A_9. Let PiP_i be obtained from P1P_1 by a translation that moves A1A_1 to AiA_i (i=2,3,…,9i=2,3,\ldots,9). Prove that at least two of P1,P2,…,P9P_1,P_2,\ldots,P_9 have an interior point in common.
Step 3 of 4: Contain every translate in 2P_1
Ai∈P1, x∈P1  ⟹  Ai+x∈2P1  ⟹  Pi⊆2P1A_i\in P_1,\ x\in P_1\implies A_i+x\in2P_1\implies P_i\subseteq2P_1
Detailed analysis

Each AiA_i is a vertex of P1P_1, hence Ai∈P1A_i\in P_1. For every x∈P1x\in P_1, the point Ai+xA_i+x is a sum of two points of P1P_1, so it lies in 2P12P_1. Since Pi=Ai+P1P_i=A_i+P_1, this proves Pi⊆2P1P_i\subseteq2P_1 for all nine translates.