Let be a triangle such that , and let , and be the midpoints of the sides , and , respectively. A circle through and tangent to at meets the segments and at and , respectively. Reflect and across and , respectively, to obtain and , respectively. The line meets the lines and at and , respectively, and the line meets again at . Prove that the triangle is isosceles.
IMO 2015 Shortlist
Solution
Letting and meet again at and , respectively, we claim that and both lie on the line .


Notice that and to deduce that and are pairs of similar triangles, so .
Finally, invert from with radius (Figure 2) and notice that and are mapped to and , respectively, to infer that , the circumcircle of the triangle , is mapped to , the circumcircle of the triangle . Since and both lie on either circle, and the latter is fixed under the inversion, so is the former. Consequently, , i.e., .
Looking for a route rather than an archive? The track puts 2,000
problems in a working order, from AMC 10 level to the IMO shortlist.