Let , , , be four points such that no three are collinear and is not the orthocenter of triangle . Let , , be the orthocenters of , , , respectively. Suppose that lines , , are pairwise distinct and are concurrent. Show that the four points , , , lie on a circle.
Solution

Proof. Note that , as both are perpendicular to . Since lines and are distinct, lines and are distinct.
By symmetric reasoning, we get that is a hexagon with opposite sides parallel and concurrent diagonals as , , meet at . This implies that the hexagon is centrally symmetric about ; indeed
so all the ratios are equal to .
Next, , so by symmetry we get is the orthocenter of . This means that is the midpoint of as well. □
Corollary
The configuration is now symmetric: we have four points , , , , and their reflections in are four orthocenters , , , .
Let be the centroid of , and let be the reflection of in . We are ready to conclude:
Claim — , , , are equidistant from .
Proof. Let , , , , be the projections of , , , , onto line .
Then is the midpoint of , so gives that is the midpoint of .
Thus and we're done. □