整个论证只给出 ≥\ge≥;严格不等号恰好出现在 PPP 被迫离开三个对称面之一的时候,而这对每个 P≠OP\ne OP=O 都成立。
对任意 P≠OP\ne OP=O,PPP 必定不在第5步中三个平面中的至少一个上,因此第4步中对应该平面的不等式严格成立。于是 OOO 到四个顶点的距离之和,严格小于任意其他点 PPP 到四个顶点的距离之和。