In fact, the three circles pass from the end-points of the altitudes of triangle ABC. The same is true for the altitudes of triangle EBD. Thus (see Orthocenter2.html ), the orthocenters G, H of these two triangles belong to the radical axis of any two circles of the three. This proves the theorem. The argument uses the fact that the orthocenters of the four triangles ABC, EBD, FCD, FAE cannot be all identical. It implies also that these four orthocenters are on line e, the common radical axis of the bundle defined by the three circles.

The theorem has as a consequence the theorem of Newton (see Newton.html ). It can be also formulated in another way:

Given a triangle ABC and a line DEF intersecting its sides. The three circles having diameters the vertices of the triangle and the opposite intersection points BF, AD, CE are coaxal.

Miquel_Point.html

Orthocenter.html

Orthocenter2.html

OrthoRectangular.html

RectHypeCircumscribed.html

RectHypeThroughFourPts.html

Produced with EucliDraw© |