Problem

Source: 2017 Saudi Arabia BMO TST II p4

Tags: trigonometry, geometry, Circumcenter, circumcircle



Let $ABC$ be a triangle with $A$ is an obtuse angle. Denote $BE$ as the internal angle bisector of triangle $ABC$ with $E \in AC$ and suppose that $\angle AEB = 45^o$. The altitude $AD$ of triangle $ABC$ intersects $BE$ at $F$. Let $O_1, O_2$ be the circumcenter of triangles $FED, EDC$. Suppose that $EO_1, EO_2$ meet $BC$ at $G, H$ respectively. Prove that $\frac{GH}{GB}= \tan \frac{a}{2}$