APMO 2017 Problem 2

Let $A B C$ be a triangle with $A B<A C$. Let $D$ be the intersection point of the internal bisector of angle $B A C$ and the circumcircle of $A B C$. Let $Z$ be the intersection point of the perpendicular bisector of $A C$ with the external bisector of angle $\angle B A C$. Prove that the midpoint of the segment $A B$ lies on the circumcircle of triangle $A D Z$.