已知：Rt△ABC和Rt△DEF中，∠B=∠E=90°，AC=DF，AB=DE.求证：△ABC≌△DEF.证明：在Rt△ABC中，BC=在Rt△DEF中，EF=,∵AC=DF，AB=DE，∴BC=EF∵AC=DF,BC=EF,AB=DE.∴△ABC≌△DEF（SSS）。

hl定理是通过证明两个直角三角形直角边和斜边对应相等来证明两个三角形全等。

其判定定理为，如果两个直角三角形的斜边和一条直角边对应相等，那么这两个直角三角形全等（简记为HL），这是一种特殊判定方法，可转换为ASA。