In a triangle , and are the mid-points of and respectively. On there is a point , which is not the mid-point of . Prove that implies .
Solution
Let be the mid-point of . Because , , are mid-points, we have , and . Therefore and . The latter, together with the assumption implies , hence , , , are concyclic.
From this we obtain and so . This shows that , , are on the circle with diameter and so, by Thales' Theorem, .
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.