在三角形ADC中,AD=AC,则三角形ADC为等腰三角形,AE垂直CD于E,E为DC中点,F是BC的中点,在三角形CDB中,EF为中位线,则EF=1/2DB,
DB=AB-AD=AB-AC,
EF=1/2(AB-AC)