MathDB
Circumcircle Intersections

Source: 2019 AIME I #13

March 14, 2019
AIMEAIME Igeometrycircumcircle2019 AIME Itrigonometrypower of a point

Problem Statement

Triangle ABCABC has side lengths AB=4AB=4, BC=5BC=5, and CA=6CA=6. Points DD and EE are on ray ABAB with AB<AD<AEAB<AD<AE. The point FCF \neq C is a point of intersection of the circumcircles of ACD\triangle ACD and EBC\triangle EBC satisfying DF=2DF=2 and EF=7EF=7. Then BEBE can be expressed as a+bcd\tfrac{a+b\sqrt{c}}{d}, where aa, bb, cc, and dd are positive integers such that aa and dd are relatively prime, and cc is not divisible by the square of any prime. Find a+b+c+da+b+c+d.