已知EB⊥AC于B,AB=EB,D是EB上一点 AD的延长线交EC于F,求证,AF⊥EC