Suppose is a triangle. Let be the reflection of in the perpendicular bisector of . Show that .
, 2014
Solution
Let , be the feet of the perpendiculars from , on . Then, is the reflection of and the right triangles and are congruent. Moreover, is parallel to and . There are various possibilities for the position of , some are shown below.

We let , and as usual. Let denote the signed distance from to the midpoint of . The sign is chosen such that if lies between and , and otherwise.
For all possible positions of on the line we then have
The Theorem of Pythagoras gives
The Cosine Theorem implies now
hence , as required.
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.