Browse · MathNet
PrintUSA TSTST
United States geometry
Problem
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. □
Techniques
Cyclic quadrilateralsTriangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleRotationConcurrency and CollinearityAngle chasingVectors