过A作AG垂直BC,交BC与G
又因为AB=AC
所以AG平分角BAC,即角BAG=1/2角BAC
又角BAC为三角形ADE的外角,所以角E+角EDA=角BAC
因为AD=AE,所以角E=角EDA
所以角EDA=1/2角BAC
所以角EDA=角BAG
所以EF平行AG
所以EF垂直BC
过A作AG垂直BC,交BC与G
又因为AB=AC
所以AG平分角BAC,即角BAG=1/2角BAC
又角BAC为三角形ADE的外角,所以角E+角EDA=角BAC
因为AD=AE,所以角E=角EDA
所以角EDA=1/2角BAC
所以角EDA=角BAG
所以EF平行AG
所以EF垂直BC