Problem

Source: Indonesia MO (INAMO) 2016 P1

Tags: geometry, perpendicular, angle bisector, projections



Let $ABCD$ be a cyclic quadrilateral wih both diagonals perpendicular to each other and intersecting at point $O$. Let $E,F,G,H$ be the orthogonal projections of $O$ on sides $AB,BC,CD,DA$ respectively. a. Prove that $\angle EFG + \angle GHE = 180^o$ b. Prove that $OE$ bisects angle $\angle FEH$ .