已知 在三角形ABC中,AB=AC.在三角形DEF中,DE=DF,