13.2.4 探索直角三角形全等的条件(HL)