EightPointCircle

Eight-Point Circle

Consider a convex [Orthodiagonal] quadrangle. This is characterized by having its diagonals orthogonal. Then the 4 side-middles E, F, G, H and the 4 feet K, L, J, I of the perpendiculars from these to the opposite sides are on a circle.

The proof is a consequence of the fact that the parallelogram p = EFGH, with vertices at the middles of the sides is a rectangle. Then the feet, as for example L, view a diagonal [FH] of p under a right angle etc.
Notice that these perpendiculars intersect mutually on the diagonals of the initial quadrilateral. This is seen, for example at P, from the fact that angle(PAK) = angle(PIK) = angle(DGH), pursuing the cyclic quadrilaterals AKPI and KGHI. Thus, by parallelity AP is perpendicular to FG and must pass through M. See the file Orthodiagonal.html for a further discussion of the subject.

http://users.math.uoc.gr/~pamfilos/