Problem:
Let be an acute triangle. Let be the midpoint of the segment . Let be the incenters of triangles , , , respectively. Let be points on the lines , , respectively, such that and . Let be the intersection of the lines and . Prove that the lines and are perpendicular.
Solutions — 3
Solution 1
Solution:
Note that . By simple angle chasing we get that
Let be the reflection of over . Note that as . Then
hence is concyclic and as , point is the -excenter of triangle by the incenter-excenter lemma. Let be the reflection of over . Analogously, we get that is the -excenter of triangle .
Let be the intersection of lines and . Note that is the -excenter of triangle . Point is the reflection of over as by reflecting lines , over we get lines , . It is well-known that distance of incenter and the distance of -excenter from the perpendicular bisector of is the same, thus by reflecting over we get a point () that lies on the line through perpendicular to .

Comment. Another way to finish the problem is by using and to show that is the orthocenter of triangle , as and .
Solution 2
Solution:
Let and be the reflections of and in , and let us denote by .
First we show that and are collinear. Obviously, , which implies that . Simple angle chasing shows that . Since , we obtain , and by the reflection it follows that and . This yields that , and are collinear.
Now we observe that is the intersection of two angle bisectors, thus is the -excenter of . It follows that and are two perpendicular angle bisectors. One can show similarly that , hence is the orthocenter of , and the statement follows.

Solution 3
Solution:
It is enough to show that is the orthocenter of triangle . By symmetry, it suffices to prove that . Denote the midpoints of sides by and , respectively. The famous Iran lemma tells us that the projection of onto line lies on . Thus, we need to prove that lines are concurrent. This is the same as saying that triangles are perspective, which - by Desargues's theorem - is equivalent to the points being collinear.
Now let us define some new points. Let the circumcircle of intersect lines for the second time at and , respectively. Since this circle is symmetric with respect to , and so are the lines , we have that is an isosceles trapezoid. Notice that the angle condition of the problem tells us
thus are collinear. Now observe that . Also, as is the perpendicular bisector of and , we have that lines are all perpendicular to , so they are all parallel.
Let be the midpoint of and be the point at infinity of line . As we saw previously, lies on and lies on . Now, , , . We wish to show that these points are collinear, which now becomes same as saying that triangles are perspective. By Desargues's theorem, it suffices to prove that lines are concurrent.
Suppose that lines intersect at . Notice that all lie on a midline of triangle and . It follows that triangles are homothetic, so it is enough to prove our goal for triangle . That is, we need to show that if is the reflection of in , then is parallel to . However, this is fairly trivial, as lies on the midline of the isosceles trapezoid (since it is the midpoint of diagonal ), so must lie on . We are finally done.
