Problem

Source: Romanian TST 2011

Tags: geometry, circumcircle, incenter, perpendicular bisector, geometric transformation, angle bisector



Let $ABC$ be a triangle such that $AB<AC$. The perpendicular bisector of the side $BC$ meets the side $AC$ at the point $D$, and the (interior) bisectrix of the angle $ADB$ meets the circumcircle $ABC$ at the point $E$. Prove that the (interior) bisectrix of the angle $AEB$ and the line through the incentres of the triangles $ADE$ and $BDE$ are perpendicular.