HL证明三角形全等是指两个直角三角形中，如果它们的斜边（hypotenuse，简写为H）和一条直角边（leg，简写为L）对应相等，那么这两个直角三角形全等。简记为“HL”定理
HL定理在直角三角形中的应用实例有哪些？
如何用HL定理证明非直角三角形全等？
HL证明三角形全等的推导过程是怎样的？
