MathDB
Problem 4 -- Problematic Parallel and Perpendicular Proofs

Source: 46th Austrian Mathematical Olympiad Regional Competition Problem 4

July 14, 2018
Austriageometry

Problem Statement

Let ABCABC be an isosceles triangle with AC=BCAC = BC and ACB<60\angle ACB < 60^\circ. We denote the incenter and circumcenter by II and OO, respectively. The circumcircle of triangle BIOBIO intersects the leg BCBC also at point DBD \ne B.
(a) Prove that the lines ACAC and DIDI are parallel. (b) Prove that the lines ODOD and IBIB are mutually perpendicular.
(Walther Janous)