Problem:
Let be a circle centred at and a line tangent to at . Let be a circle inside also tangent to at . Let be a point on different from . The second tangent to through touches at . Let be the second intersection of and , and let be the second intersection of and . Show that is a cyclic quadrilateral.
, 2022
Solutions — 3
Solution 1
Solution:
First, observe that
(1) since lines and are tangent to circle .
(2) is tangent to both circles and by the problem condition.
(3) since both lines and are tangent to circle . Hence triangle is isosceles at .
By (1), lie on a circle of diameter . By using (2) and (3), one gets
so lie on a circle. Therefore, all lie on the circumcircle of . In particular, is a cyclic quadrilateral, as required.
Solution 2
Solution:
Let . Since is the perpendicular bisector of (as and ), we get that is in fact the midpoint of segment . Now, note that triangles and are similar. Therefore, we get . Hence, by power of a point and this identity, we get
so lie on a circle. Therefore, since , lie on a circle of diameter . Thus, . By (a), we conclude that lie on a circle of diameter .
Solution 3
Solution:
As before, we see that are a cyclic quadrilateral. Our aim is now to prove that . By the theorem of the radical center, we have that is tangent to , as the radical axes and intersect in a point. Then by the tangent angle theorem, we have , allowing us to conclude.