ABC es un triángulo isósceles con AB=AC. El punto D se encuentra en el lado BC. El punto F está dentro de $\triangle$ A BC y se encuentra en la circunferencia circunscrita del triángulo ADC. La circunferencia circunscrita del triángulo BDF interseca el lado AB en el punto E. Demuestre que $CD\cdot EF+DF\cdot AE=BD\cdot AF$ .