用“HL”判定两个直角三角形全等
在直角三角形中，斜边和一条分别相等的两个直角三角形全等(可以简写成“”或“”).

直角边 斜边、直角边 HL

典例 如图，$AB=BC$，$∠ BAD=∠ BCD=90°$，$D$是$EF$上一点，$AE⊥ EF$于点$E$，$CF⊥ EF$于点$F$，$AE=CF$。求证$\mathrm{Rt}△ ADE≌\mathrm{Rt}△ CDF$。

规律方法 (1)“HL”只适用于判定两个直角三角形全等，不适用于判定一般三角形全等，因此在使用“HL”的过程中，要突出“直角三角形”这个条件。在书写证明过程时，

连接 BD，
∵∠BAD=∠BCD=90°,
在$\mathrm{Rt}△ ABD$和$\mathrm{Rt}△ CBD$中，$\begin{cases} AB=CB, \\ BD=BD, \end{cases}$
$\therefore\mathrm{Rt}△ ABD≌\mathrm{Rt}△ CBD(\mathrm{HL}),$
$\therefore AD=CD.$
$\because AE ⊥ EF$，$CF ⊥ EF$，$\therefore ∠ E = ∠ F=90°$. 在$\mathrm{Rt}△ ADE$和$\mathrm{Rt}△ CDF$中，$\begin{cases} AE=CF, \\ AD=CD, \end{cases}$
$\therefore\mathrm{Rt}△ ADE≌\mathrm{Rt}△ CDF(\mathrm{HL}).$

典例解析
典例
证明 连接 BD，

∵∠BAD=∠BCD=90°,
首先应明确指出在哪两个直角三角形中，然后寻找斜边和一条直角边分别相等，便可说明这两个直角三角形全等.
(2)判定一般三角形全等的所有方法对判定两个直角三角形全等同样适用.
举一反三 如图，在△ABC 和△DEF 中，∠A=∠D=90°,AC=DE,点 B,E,C,F 在同一条直线上，且 BE=FC.求证∠B=∠F.

证明 $\because BE=FC$,
$\therefore BE+EC=FC+EC$,
即 $BC=FE$.
$\because ∠ A=∠ D=90°$,
在 $\mathrm{Rt}△ ABC$ 和 $\mathrm{Rt}△ DFE$ 中, $\begin{cases} AC=DE, \\ BC=FE, \end{cases}$
$\therefore \mathrm{Rt}△ ABC≌\mathrm{Rt}△ DFE(\mathrm{HL})$,
$\therefore ∠ B=∠ F$.