过B作BD//EF交CA延长线于D
因为AE=AF 所以AB=AD 角ABD=角BDA
因为AB=AC 角C=角ABC 在三角BCD中
角C+角DBA+角BDA+角ABC=180度
角ABC+角DBA=90度
DB垂直BC 因为BD//EF
EF垂直BC
过B作BD//EF交CA延长线于D
因为AE=AF 所以AB=AD 角ABD=角BDA
因为AB=AC 角C=角ABC 在三角BCD中
角C+角DBA+角BDA+角ABC=180度
角ABC+角DBA=90度
DB垂直BC 因为BD//EF
EF垂直BC