MathNet 2025-part-02 — 186 problems (EN–VI) Question 16

Let $ABC$ be a triangle with $\angle BAC = 40^\circ$ and $\angle ABC = 80^\circ$. Denote by $I$ its incenter. Prove that $AI = BC$.