如题所述
∵ AD平分∠BAC
∴∠1=∠2
∵ EF垂直平分AD
∴∠D=∠2+∠3
又∵∠D=∠1+∠B(外角=另两内角之和)
∴∠3=∠B
连接AF,则在△ABF和△ACF
∠3=∠B ∠F公共
∴ △ABF ~△ACF
∴ AF/FB=FC/AF
∴ AF²=FC*FB AF=DF
∴ DF²=FC*FB