已知三角形ABC全等于ADE,BC的延长线交DE与F