Let and be two circles intersecting at and . The common tangent, closer to , of and touches at and at . The tangent of at meets at , which is different from and the extension of meets at . Prove that the circumcircle of triangle is tangent to and .
Solution
Let , and . Then, since is tangent to , we have . Thus are concyclic.
Since is a common tangent to and then and . Therefore, since are concyclic, and . Thus .
Since is an exterior angle of triangle , . We have
So circumcircle of is tangent to and .
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.