User talk:1=2
1966 IMO Problem 3 Progress
Let the tetrahedron be , and let the circumcenter be . Therefore . It's not hard to see that is the intersection of the planes that perpendicularly bisect the six sides of the tetrahedron. Label the plane that bisects as , and define , , , , and similarly. Now consider , , and . They perpendicularly bisect three coplanar segments, so their intersection is a line perpendicular to the plane containing . Note that the circumcenter of is on this line.
- solving easier version**
I shall prove that given triangle , the minimum value of is given when is the circumcenter of . It's easy to see that, from the Pythagorean Theorem, that if is not on the plane containing , then the projection of onto said plane satisfies
so it suffices to consider all points that are coplanar with .