The bisector of the internal angle on vertex of a triangle intersects the side at point . The line tangent to the circumcircle of the triangle at point intersects the line at point . Prove that .
Solutions — 2
Solution 1
Assume w.l.o.g. that (Fig. 31; otherwise change the roles of points and ). Note that
By inscribed angle property, , whence
Consequently, , which implies .
Solution 2
Let be the circumcenter of the triangle , be the midpoint of the side , and be the point of intersection of the ray with the circumcircle of the triangle . Moreover, let be the point of intersection of the line perpendicular to the side and passing through point with the line (Fig. 32). As is the perpendicular bisector of the side , point bisects the arc of the circumcircle of the triangle , whence the line also passes through . As , we have . On the other hand, and together imply , whence . Thus , implying . Consequently, there exists a circle with center passing through both points and . As and , the lines and are tangent to this circle. By the property of tangent line segments, .