MathDB
A common ratio related to an acute triangle

Source: Korean junior mathematical olympiad 2019 december

November 17, 2019
Plane GeometrygeometryKJMOcircumcircleAngle Chasing

Problem Statement

Let OO be the circumcenter of an acute triangle ABCABC. Let DD be the intersection of the bisector of the angle AA and BCBC. Suppose that ODC=2DAO\angle ODC = 2 \angle DAO. The circumcircle of ABDABD meets the line segment OAOA and the line ODOD at E(A,O)E (\neq A,O), and F(D)F(\neq D), respectively. Let XX be the intersection of the line DEDE and the line segment ACAC. Let YY be the intersection of the bisector of the angle BAFBAF and the segment BEBE. Prove that AYBY=EXEO\frac{\overline{AY}}{\overline{BY}}= \frac{\overline{EX}}{\overline{EO}}.