Let be a square. The line segment is divided internally at so that . Let be the midpoint of and be the midpoint of . Let be the point on such that is perpendicular to . Prove that .
Solution
Let have side length and write . Then, by assumption
Because , Pythagoras gives .
Observe that and are similar. Hence, and so
This implies .
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.