Let denote the circumcentre of , and the midpoint of . The line perpendicular to passing through the point intersects line (extended) at , and intersects the circumcircle of for the second time at . Let denote a point on the line (extended) such that is the angle bisector of . Lines and intersect at . Prove that the lines and are tangent to the circumcircle of .
Solutions — 3
Solution 1
Because is cyclic,
hence quadrilateral ACLT is cyclic. This implies
(by the central angle theorem), and so OCLP is also a cyclic quadrilateral.
Hence , i.e. is tangent to circumcircle (ABC). As is the perpendicular bisector of ( is the midpoint of the chord of circle centre ), and by SAS, . This shows that is also tangent to circumcircle (ABC).
Solution 2
As , is a diameter of circle (ABC) and so as well. Let (extended) intersect line (extended) at . Then , the intersection point of and , is the orthocentre of . Like in Solution 1, from we see that is cyclic and find . It follows that lies on .

Because is a diameter of circle (ABC), is the midpoint of . Therefore, the points , , , are all on the 9-point circle of . Because is the perpendicular bisector of the chord of this circle, it contains the centre of it. Since , we now see that is on this 9-point circle as well and is a diameter of it. This shows that , i.e. and are tangents to (ABC).
Solution 3
As in the other solutions, we first establish that the quadrilateral ACLT is cyclic and . Let AL intersect BC at N.

Since CD is the internal angle bisector of and , then is the external angle bisector of and thus , , , form a harmonic range (i.e. cross-ratio ; or , are harmonic conjugates with respect to and ), hence is on the polar line of with respect to the circumcircle (ABC). Moreover, so is the polar line of . Since is on , is on the polar line of , which is perpendicular to , hence must be the line . It follows that and are both tangent to circumcircle (ABC).