MathLabs

Problem 3

Prove that the sum of the distances of the vertices of a regular tetrahedron from the center of its circumscribed sphere is less than the sum of the distances of these vertices from any other point in space.
Step 6 of 6: Conclude the center is the strict minimizer
In plain words

The whole argument only ever produces ≥\ge; strictness appears exactly when PP is forced off one of the three symmetry planes, which happens for every P≠OP\ne O.

OA+OB+OC+OD<PA+PB+PC+PD(P≠O)OA+OB+OC+OD < PA+PB+PC+PD \quad (P\ne O)
Detailed analysis

For any P≠OP\ne O, PP fails to lie in at least one of the three planes from step 5, so the corresponding inequality from step 4 is strict for that plane. Hence the sum of distances from OO to the four vertices is strictly less than the sum from any other point PP.