Question 140
In triangle $ABC$, $AB = AC \ne BC$, and $I$ is its incenter. Line $BI$ meets $AC$ at $D$. The line through $D$ perpendicular to $AC$ meets $AI$ at $E$. Prove that the reflection of $I$ in line $AC$ lies on the circumcircle of triangle $BDE$.