请问是指全等判定中直角三角形HL的证明吗?
证明：由勾股定理可得a²+b²=c²
∵一直一条直角边c和另一边a对应相等
∴b=根号（c²-a²）
∵已知两个对应角等于90°
∴根据SAS可证两个三角形全等
故HL成立