已知;如图,AD是三角形ABC的角平分线,AD的垂直平分线EF交CB的延长线于点F,求证:FD的平方=FB*FC