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
.