Let be a rectangle with . The bisector of the diagonal meets the side at . The circle with the centre at and the radius meets the segment again at . Let be the orthogonal projection of the point to the line . Show that lies on the diagonal .
Solution
Denote . Since the point lies on the bisector of the segment , its distances to the points and are the same. Hence, is the centre of the circle containing the points , and and we have . So, . Since and are parallel we get and .

The right triangles and are congruent because they have three common angles and the hypothenuses have the same length.
So, and . From here we can conclude that the triangle is isosceles and
By Pythagoras' theorem we have , so . Therefore, is an equilateral triangle and
We have shown that , so the points , and are congruent.
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.