三角形ABC中,D是AB上一点,AD=AC,AE垂直CD于E,F是BC的中点,求证,EF=1/2(AB-AC) 三