HL 全等判定（直角三角形）

依赖：勾股定理、SSS 全等判定。

陈述

设 $\mathrm{Rt}\triangle ABC$、$\mathrm{Rt}\triangle A'B'C'$ 中

$$\angle C = \angle C' = 90^\circ,\qquad |AB| = |A'B'| = c,\qquad |BC| = |B'C'| = a.$$

也就是说，两个直角三角形的斜边对应相等、且有一条直角边对应相等。则

$$\triangle ABC \;\cong\; \triangle A'B'C'.$$

记号说明："HL"取自英文 Hypotenuse-Leg（斜边-直角边）。和一般三角形 SSS / SAS / ASA / AAS 四条全等判定并列，HL 全等判定 是直角三角形特有的第五条捷径——只用两条边就把全等锁死。

证明

证明只用一次 勾股定理 把第三边算出来，再调一次 SSS 全等判定 收官。

第一步：用 勾股定理 把两个三角形的第三边都求出来。

记 $|AC| = b$、$|A'C'| = b'$。在 $\mathrm{Rt}\triangle ABC$ 中 $\angle C = 90^\circ$，故 $AB$ 是斜边，$BC$、$AC$ 是两条直角边。勾股定理 给

$$b^2 \;=\; |AC|^2 \;=\; |AB|^2 - |BC|^2 \;=\; c^2 - a^2.$$

完全相同的论证套到 $\mathrm{Rt}\triangle A'B'C'$ 上：

$$(b')^2 \;=\; |A'C'|^2 \;=\; |A'B'|^2 - |B'C'|^2 \;=\; c^2 - a^2.$$

两边平方相等且都非负，开方即得 $b = b'$，也就是 $|AC| = |A'C'|$。

第二步：三对边相等 ⇒ SSS 全等判定 收官。

把第一步与题设拼起来：

$$|AB| = |A'B'|,\qquad |BC| = |B'C'|,\qquad |AC| = |A'C'|.$$

三对对应边分别相等，由 SSS 全等判定 立即

$$\triangle ABC \;\cong\; \triangle A'B'C'. \qquad\blacksquare$$

即时推论

• 解锁 角平分线 的逆命题入口：要证一点到一个角两边距离相等 ⇒ 它在角平分线上，标准做法就是从该点向两边作两条垂线，得到两个共享斜边的直角三角形——它们斜边公共、直角边相等，HL 全等判定 一步把两个直角三角形判全等，从而两个半角相等。这条思路把 HL 全等判定 直接接到 角平分线判定（角平分线的逆），再级联到 三角形内心存在性。

• 解锁 旁切圆存在性：内角平分线 + 两条外角平分线三线共点的"旁心"证明，在三个角平分线两两交点处都要做"到三边距离相等"这一步，反复调用 HL 全等判定。旁切圆存在性 因此直接落在本定理的 1-跳后继上。

• 直角三角形的"两边"立刻锁全等：一般三角形要"三边"或"两边一夹角"才能全等；直角三角形的 90° 把第三个量先记一笔账，HL 把这笔账兑现成一条"两边"的捷径——做题时凡看到两个直角三角形并且能凑出一对斜边等 + 一对直角边等，就直接报 HL 全等判定。

备注

为什么"两边等"中必须包含斜边？ 若题目改写成"两条直角边对应相等"——也就是 $|BC| = |B'C'|$ 与 $|AC| = |A'C'|$，外加 $\angle C = \angle C' = 90^\circ$——那么这其实就是 SAS 全等判定（两边及它们的夹角），跟 HL 全等判定 无关；它当然也能判全等，但走的是 SAS 通路。HL 这条名字真正捕获的是"斜边 + 一直角边"这一组，斜边的位置不可替换：把"斜边等"换成"另一直角边等"就回到了普通的 SAS。

为什么直角三角形比一般三角形多了一条全等捷径？ 一般三角形需要三条独立信息（SSS / SAS / ASA / AAS 都数得出三件事）才能锁住形状大小。直角三角形已经预先支付了一条信息——$\angle C = 90^\circ$——所以剩下只需要再两条独立信息即可。HL 全等判定 就是把这件事在"两条边"维度上明确写出来：斜边 $c$ + 一直角边 $a$ 两个数一旦锁定，由 勾股定理 第三边 $b = \sqrt{c^2 - a^2}$ 也被锁定，整个三角形完全确定。这种"用 勾股定理 把第三个量从代数上补齐、再切回 SSS 全等判定"的手法，与 AAS 全等判定 用 三角形内角和等于 $180^\circ$ 把第三个角补齐再切回 ASA 全等判定 是同一种封装套路——一次代数补全 + 一次已有判定。