Problem

Source: Sharygin 2010 Final 8.1

Tags: geometry, circumcircle, angle bisector, tangent



For a nonisosceles triangle $ABC$, consider the altitude from vertex $A$ and two bisectrices from remaining vertices. Prove that the circumcircle of the triangle formed by these three lines touches the bisectrix from vertex $A$.