定义 斜边和一条直角边分别相等的两个直角三角形全等。
从哪来 基于“直角三角形”的定义及“三角形全等判定”的基本逻辑（SSS, SAS, ASA, AAS）。
为什么 在直角三角形中，若斜边 $c$ 和一条直角边 $a$ 确定，根据勾股定理 $b = \sqrt{c^2 - a^2}$，另一条直角边 $b$ 的长度也被唯一确定。此时三边对应相等（SSS），故三角形全等。HL 是 SSS 在直角三角形中的特例简化。
几何直观法
适合空间想象力强、喜欢动手操作的学生。
让学生用硬纸板剪出两个直角三角形，固定斜边长度和一条直角边长度，尝试拼接。学生会发现无论怎么调整，第三个顶点的位置是唯一的，从而直观理解“形状大小被锁定”。
代数推导法
适合逻辑严密、擅长计算的学生。
直接引入勾股定理。设两直角三角形 $\triangle ABC$ 和 $\triangle A'B'C'$，$\angle C = \angle C' = 90^\circ$。已知 $AB=A'B'$ (斜边), $AC=A'C'$ (直角边)。由 $BC = \sqrt{AB^2 - AC^2}$ 和 $B'C' = \sqrt{A'B'^2 - A'C'^2}$ 可得 $BC=B'C'$。进而由 SSS 判定全等。
对比排除法
适合容易混淆判定定理的学生。
先列出 SSS, SAS, ASA, AAS，指出它们都涉及“边、角、边”或“角、边、角”的组合。强调 HL 的特殊性：它只涉及“边、边”，且必须是“斜边+直角边”。通过反例（如 SSA 不成立）对比，说明为什么直角三角形中 SSA 变成了 HL 且成立。