∵E是BD垂直平分线与AB的交点
∴BE=DE
∴∠B=∠D
∵角ACB=90度,D是BC延长线上一点
∴∠ACB=∠DCF=90°
∴∠A=∠CFD
∵∠CFD=∠AFE
∴∠A=∠AFE
∴AE=EF
∴点E在AF的垂直平分线上