因E在BD的垂直平分线上,所以△BDE是等腰三角形且作EH垂直AF于H
因∠ACB＝90度,EH垂直AF
所以EH平行BD ,所以∠FED＝∠D、∠AEH＝∠B
又因∠D＝∠C,所以∠FED＝∠AEH
在△AEF中,有EH垂直AF、EH平分∠AEF
所以△AEF是等腰三角形（AE＝EF）
所以EF垂直平分AF.