已知,AD平分角BAC,EF垂直平分AD交BC的延长线于F,试判断DF^2=BF*CF是否成立