MathDB
an isosceles triangle problem

Source: China south east mathematical olympiad 2004 day2 problem 6

June 29, 2013
geometrycircumcircletrigonometrycyclic quadrilateralgeometry unsolved

Problem Statement

ABC is an isosceles triangle with AB=AC. Point D lies on side BC. Point F is inside \triangleABC and lies on the circumcircle of triangle ADC. The circumcircle of triangle BDF intersects side AB at point E. Prove that CDEF+DFAE=BDAFCD\cdot EF+DF\cdot AE=BD\cdot AF.