在三角形ABC中,D是BC上的靠近B点的三等分点,E是AB的中点,直线AC与DE交于点F,求证EF=3DE.