Let the incenter of triangle be , and let line be the perpendicular bisector of segment . Let point lie on the circumcircle of triangle , and let line intersect at point . Point lies on , satisfying . Let line intersect the midline of triangle parallel to side at point .
(Note: In a triangle, the line connecting the midpoints of any two sides is called a midline.)
Solution
Let be the reflection of with respect to , and let be the reflection of with respect to . Then lies on , and is the circumcenter of , so is a right angle if and only if are concyclic.
Below we prove that (where denotes direct similarity): Take such that is a parallelogram, take such that , then
and from
we know that are collinear. Take such that ; from we obtain
that is, are concyclic. Therefore
hence are concyclic, so is the other intersection point of with , that is, .
From we easily obtain , so
that is, are concyclic, and thus the original proposition is proved.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.