在三角形ABC中,AD平分角BAC.AB大于AC,BF垂直AD于F,E为BC中点.求证:EF=二分之一(AB-AC)