如题所述
如图,连接CD
已知BD为直径,则CD⊥BF
所以,∠3+∠F=90°
已知DF为圆O切线,则DF⊥BD
所以,∠4+∠F=90°
所以,∠3=∠4
已知A是弧BC中点
所以,∠1=∠2
所以,∠1+∠3=∠2+∠4
即,∠FDE=∠FED
所以,DF=EF