MathDB
Arcs are equal in construction involving altitude and angle bisector

Source: 2018 Pan-African Shortlist - G6

May 7, 2019
geometryangle bisector

Problem Statement

Let Γ\Gamma be the circumcircle of an acute triangle ABCABC. The perpendicular line to ABAB passing through CC cuts ABAB in DD and Γ\Gamma again in EE. The bisector of the angle CC cuts ABAB in FF and Γ\Gamma again in GG. The line GDGD meets Γ\Gamma again at HH and the line HFHF meets Γ\Gamma again at II. Prove that AI=EBAI = EB.