如图,在三角形ABC中,AB=AC,以AB为直径的圆O交BC于点D,过点D作EF垂直AC于点E交AB的延长线于点F