Y by
Let be a scalene acute triangle, where is the internal bisector of and is the midpoint of . Let the internal bisectors of and intersect and in and , respectively. Prove that the circumcircle of is tangent to if and only if belongs to it.