如图,AD是三角形ABC的角平方线,DE、DF分别是三角形ABD和三角形ACD的高,求证,AD平方EF