Gauss-Bodenmiller Theorem
The Gauss-Bodenmiller Theorem is a theorem in geometry concerning complete quadrilaterals and the circles on its diagonals.
Contents
Statement
Consider quadrilateral with
and
. Then, the circles with diameters
,
, and
are coaxial. Their radical axis is a line passing through each of the four orthocenters of the triangles
,
,
, and
.
Proof Sketch
The theorem looks complicated, but the proof is quite simple. The idea is to just take every orthocenter and proves that it has the same power with respect to all three circles. Then, the orthocenters lie on the radical axes, which implies the conclusion.
Proof
Let ,
,
denote the circles with diameters
,
,
, respectively.
Let denote the orthocenter of triangle
. It is not hard to see that
is the radical center of
,
and the circle with diameter
: note that
,
, the foot of
-altitude, foot of
-altitude are concyclic with diamter
.
Also, and foot of
-altitude lie on
, and
and foot of
-altitude lie on
. Therefore,
lies on the radical axis of
and
. Similarly,
lies on the radical axes of all three pairs, so it is the radical center.
Similarly, the other three orthocenters also have the same properties, and this is only possible if the radical axes of all three pairs coincide, as desired. Therefore, all four orthocenters are collinear, and they lie on the so called Steiner line.
Note that this also proves the existence of the Gauss line, which is defined as the line passing through the midpoints of ,
, and
, which are just the centers of the three circles, which lies perpendicular to the Steiner Line.
See Also
This article is a stub. Help us out by expanding it.