如图，在△ABC中，∠ACB=90∘，D是BC延长线上一点，E是BD的垂直平分线与AB的交点，DE交AC于点F，求证：EA=EF.