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 3 of 6: Compare PP with P′P' for the far pair C,DC,D
In plain words

This is the same reflection trick used to find the shortest path that touches a line: unfolding the broken path P→C→DP\to C\to D turns the inequality into an ordinary triangle inequality.

PC+PD≥P′C+P′DPC+PD\ge P'C+P'D
Detailed analysis

Because Π⊥CD\Pi\perp CD at XX, segment PP′PP' is parallel to CDCD, so P,P′,C,DP,P',C,D are coplanar. Reflecting CC across line PP′PP' to C′C' gives PC=PC′PC=PC'; the triangle inequality PC′+PD≥C′DPC'+PD\ge C'D is equality only when P,C′,DP,C',D are collinear (i.e. P=P′P=P'), and since P′∈ΠP'\in\Pi gives P′C=P′DP'C=P'D, we have C′D=P′C′+P′D=P′C+P′DC'D=P'C'+P'D=P'C+P'D, so PC+PD≥P′C+P′DPC+PD\ge P'C+P'D.