MathNet 2026 — Part 09 Question 69

Let $ABCD$ be a convex quadrilateral. Let $I_{A}$ be the incenter of $BCD$ and define $I_{B}, I_{C}, I_{D}$ similarly. Show that $AC \perp I_{B}I_{D}$ if and only if $I_{A}I_{C} \perp BD$.