ABC is an isosceles triangle with AB=AC. Point D lies on side BC. Point F is inside △ABC and lies on the circumcircle of triangle ADC. The circumcircle of triangle BDF intersects side AB at point E. Prove that CD⋅EF+DF⋅AE=BD⋅AF. geometrycircumcircletrigonometrycyclic quadrilateralgeometry unsolved