已知AB=AC,AB的垂直平分线DE交BC的延长线于E