HL公理是指直角三角形中斜边和一条直角变对应相等的三角形全等 我觉得不需要直角变 两条斜边相等就行