TUYMAADA 2022 J3

Junior

Bisectors of a right triangle $\triangle ABC$ with right angle $B$ meet at point $I.$ The perpendicular to $IC$ drawn from $B$ meets the line $IA$ at $D;$ the perpendicular to $IA$ drawn from $B$ meets the line $IC$ at $E.$ Prove that the circumcenter of the triangle $\triangle IDE$ lies on the line $AC.$ (A. Kuznetsov )

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Solutions

Similar problems