Let A' be the second intersection between the A-bisector and the circumcircle, A" the intersection between BC and the parallel to the A-bisector from the circumcenter O, A* the midpoint of the A-side of the tangential triangle. The points A', A", A* are collinear.