Problem

Source: 2023 Thailand MO Day 1 P2

Tags: geometry, incenter, perpendicular bisector



Let $\triangle ABC$ which $\angle ABC$ are right angle, Let $D$ be point on $AB$ ( $D \neq A , B$ ), Let $E$ be point on line $AB$ which $B$ is the midpoint of $DE$, Let $I$ be incenter of $\triangle ACE$ and $J$ be $A$-excenter of $\triangle ACD$. Prove that perpendicular bisector of $BC$ bisects $IJ$