在三角形ABC中,AB=AC,D是AB边上的一点,经过D作EF垂直于BC于E,并于CA的延长线交与F,求证AD=AF