In triangle , altitudes , , and meet at . Line and the perpendicular bisector of intersect at point . Point is the center of the nine-point circle of triangle . Point is on the circumcircle of the triangle such that and points , are on opposite sides of line . Prove that the quadrilateral is cyclic.
Solution
Let , be the intersections of the perpendicular bisector of with , respectively.
Denote by , , the midpoints of , , , respectively. Since is the center of the circle , we have
Let the intersections of with the circumcircle of be , (where , are on opposite sides of ). We know that and quadrilateral is cyclic. We have
So triangles , are similar, and consequently, we have , resulting is cyclic.
Claim 2. If is the intersection of the line through parallel to with the circumcircle, then , , are collinear.
Proof. Let be the circumcenter of , and let the intersections of with the circumcircle be , (where is on the arc of that contains ). We know is the midpoint of , thus
On the other side,
Also, since and , then , , are collinear.
Let be the reflection of with respect to , it follows that this point is on the circumcircle and , , are collinear. We have , which means is indeed cyclic and the statement is proved.