求证一道中学几何题在三角形ABC中,AC>AB,D是AC上的一点,且AB=CD,E是BC的中点,F是AD的中点,连接EF