已知三角形abc全等于三角形def