Problem

Source: 2020 Dutch IMO TST 3.2

Tags: geometry, reflection, Fixed point, fixed, circumcircle, angle bisector



Given is a triangle $ABC$ with its circumscribed circle and $| AC | <| AB |$. On the short arc $AC$, there is a variable point $D\ne A$. Let $E$ be the reflection of $A$ wrt the inner bisector of $\angle BDC$. Prove that the line $DE$ passes through a fixed point, regardless of point $D$.