Олимпиада имени Леонарда Эйлера 2024-2025 учебный год, III тур дистанционного этапа

Сторона $BC$ выпуклого четырехугольника $ABCD$ видна из середины $M$ его стороны $AD$ под углом $90^\circ$. Биссектрисы треугольника $BMC$ пересекаются в точке $I$. Известно, что $\angle ABM = \angle MIC$ и $\angle BIM = \angle MCD$. Докажите, что $AI = DI$. ( А. Кузнецов )

Комментарий/решение

Допустим это неверно. Но по условию это надо доказать, что значит, что это является верным утверждением. А значит это противоречие предположению. Поэтому это верно => доказано

Эмм

Что Эмм? Я доказал очевидное