From a point outside a circle centred at , draw the two tangents to the circle touching it at . Let be a point on the segment and let be points on the circle with midpoint . Let the tangents to the circle at intersect at . Show that .
Solution
This is a simple corollary of Brokard's theorem. Alternatively, we provide an elementary proof as follows.
Note that , , are collinear since all of them lie on the perpendicular bisector of . By the property of tangents, we know that , , , are concyclic. This yields
Thus, , , , are concyclic, and hence , , , , are concyclic. Therefore, we obtain
This means .
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.