如图所示,已知AD平分∠BAC,EF垂直平分AD,交BC的延长线于点F,连接AF,求证DF²=BF×CF