Let O be the circumcenter of an acute triangle ABC. Let D be the intersection of the bisector of the angle A and BC. Suppose that ∠ODC=2∠DAO. The circumcircle of ABD meets the line segment OA and the line OD at E(=A,O), and F(=D), respectively. Let X be the intersection of the line DE and the line segment AC. Let Y be the intersection of the bisector of the angle BAF and the segment BE. Prove that BYAY=EOEX. Plane GeometrygeometryKJMOcircumcircleAngle Chasing