JBMO-SL 2015 G4

CYP

Let $\triangle A B C$ be an acute triangle. The lines $\left(\varepsilon_{1}\right),\left(\varepsilon_{2}\right)$ are perpendicular to $A B$ at the points $A$, $B$, respectively. The perpendicular lines from the midpoint $M$ of $A B$ to the sides of the triangle $A C_{;} B C$ intersect the lines $\left(\varepsilon_{1}\right),\left(\xi_{2}\right)$ at the points $E, F$, respectively. If $I$ is the intersection point of $E F, M C$, prove that

$$\angle A I B=\angle E M F=\angle C A B+\angle C B A$$