In a triangle ABC, points D,E lie on sides AB,AC respectively. The lines BE and CD intersect at F. Prove that if\color{white}\ . \ \color{black}\ BC^2=BD\cdot BA+CE\cdot CA,then the points A,D,F,E lie on a circle. geometrycircumcirclegeometry proposed