Let be the midpoint of side of acute-angled triangle , and let and be the feet of the perpendiculars from to sides and , respectively. Points and are such that and (the corresponding vertices of the triangles are in the same order as written), and points and are not located on line . Prove that .
Solution
We begin the proof with a lemma.
Lemma 1. Triangle and point are given such that and doesn't lie on line . The reflection of with respect to lies on the circumcircle of .
Proof. We denote by the circumcenter of and by the midpoints of , respectively. It is enough to show that . Observe that points and are on different sides of line , otherwise from it follows that would lie on . Therefore, based on the given similarity we can conclude that . This implies that the circumcircle of passes through and , as evident. Thus, we have , which is equivalent to the desired result.
---
Now, we proceed our proof. Let's denote the reflections of points and with respect to points and as and , respectively. It is evident that and are the feet of the altitudes from vertices and in triangle , and the quadrilateral is cyclic. Moreover, according to the lemma, the quadrilaterals and are also cyclic. If these three circles are not congruent, their pairwise radical axes must be concurrent. These radical axes are , , and . Therefore, must pass through point . However, this is not possible since and lie on different sides of the line , and considering the fact that is cyclic, line must intersect line . Furthermore, since is an acute triangle, point lies on the extension of the line from point . Therefore, cannot pass through point . The resulting contradiction shows that the six points , and are concyclic; i.e., lie on a circle with center .
Note that points and are on the same side of (the segment intersects the segments and ). Thus, is an acute angle. This implies that point is inside , as otherwise we would have
which is a contradiction. Therefore, we can write:
Thus, quadrilateral XEMY is cyclic. Similarly, it can be proven that quadrilateral FMXY is also cyclic. Moreover, it is evident that points A, F, M, and E lie on a circle. So, the hexagon FMEXAY is cyclic. Since AM passes through the center of this circle and MY = MX, it follows that AX is also equal to AY. Finally, we conclude that .