仅凭一个垂直平分面,就足以排除其外的所有点作为最小值候选点。
把第2、3步的不等式相加,可知用 PPP 在 Π\PiΠ 上的投影 P′P'P′ 代替 P,到四个顶点的距离总和绝不会增大,等号当且仅当 P∈ΠP\in\PiP∈Π。