Problem

Source: 2018 Belarusian National Olympiad 11.2

Tags: geometry



The altitudes $AA_1$, $BB_1$ and $CC_1$ are drawn in the acute triangle $ABC$. The bisector of the angle $AA_1C$ intersects the segments $CC_1$ and $CA$ at $E$ and $D$ respectively. The bisector of the angle $AA_1B$ intersects the segments $BB_1$ and $BA$ at $F$ and $G$ respectively. The circumcircles of the triangles $FA_1D$ and $EA_1G$ intersect at $A_1$ and $X$. Prove that $\angle BXC=90^{\circ}$.