In cyclic quadrilateral , diagonals and intersect at . Let and be the respective feet of the perpendiculars from to lines and . Segments and meet at . Prove that lines and are perpendicular to each other.



In cyclic quadrilateral , diagonals and intersect at . Let and be the respective feet of the perpendiculars from to lines and . Segments and meet at . Prove that lines and are perpendicular to each other.



Let , , and be the respective feet of the perpendiculars from to , , and . Note that and are cyclic quadrilaterals, so
Thus, is a cyclic quadrilateral. Note that and are also cyclic. The radical axes of the circumcircles of , , and with each other are , , and . Thus, by the radical axis theorem, , , and concur. Since is the intersection of and , by the construction of we have , so it follows that .
We adopt the notations of the previous solution. Define point on so that . Because , quadrilateral is cyclic. Hence, we have
Also note that by the definitions of and , we have
By (42) and (43), we know that , implying that . Defining to be the point on such that , we see in a similar manner that . Finally, triangles and in cyclic quadrilateral are similar with and being corresponding points, we have . Combining these equalities of ratios, we find that
hence the points and are the same point, which we call . We now see that is the orthocenter of triangle , so in particular . On the other hand, we have by definition, meaning that , and are collinear and .
Let and be the midpoints of and , respectively. We begin with a lemma.
Lemma 3 (Kvant 2007). Quadrilateral MFNE is a kite, meaning that MN and MN passes through the midpoint of .
Proof. Let and be the midpoints of and . We have that and ; further, because is a parallelogram and , we see that . Together, these show that , hence . Similarly, we obtain , which yields the desired result. 
By Lemma 3, it suffices for us to prove that . If , this is clear. Otherwise, define to be the intersection of and . Letting be the midpoint of , by Lemma 2 applied to , lies on line . Further, by Lemma 3, the midpoint of also lies on this line.
Now, let be the intersection of and . By Pappus' theorem on points (, , ) and (, , ), we find that lies on . By Lemma 2 on , we see that the midpoint of lies on , hence on . In particular, the lines and coincide.
Now consider the homothety about with ratio . It sends to and to , hence it sends line to . But and coincide and and coincide, so this shows that .