Consider three points , , on a circle , with . Let denote the line tangent to at . Points and are chosen on such that and .
Prove that is the midpoint of segment .
Solution
Let be the intersection point of and . Then is the incentre of triangle , because and are angle bisectors by definition of and . In particular, is the angle bisector of .

Because is tangent to , the Alternate Segment Theorem gives us
Hence also , which shows that is isosceles with . The angle bisector is therefore a median as well, hence is the midpoint of .
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.