直角三角形全等计算器

直角三角形有四个专门的判定定理——HL、HA、LA 和 LL——它们简化了通用的 SSS / SAS / ASA / AAS 框架。原因很简单：每个直角三角形都已经知道了一个角（90°）。由于预先提供了一个元素，与一般三角形相比，确定整个三角形所需的测量值更少。本教程将解释这四个定理，何时使用每个定理，以及为什么 HL 是唯一不能从通用三角形公理中推导出来的特殊情况的定理。

为什么直角三角形有自己的规则

对于一般三角形，你需要三个独立的信息（三条边；或两条边加一个夹角；或两个角加一条夹边或非夹边）来证明全等。SSA 模式——两条边和一个其中一条边的对角——在一般三角形中众所周知是不足够的，因为它存在模糊情况（零个、一个或两个有效三角形）。

对于直角三角形，90° 角是内置的。模式简化为：你只需要指定另外两个能锁定其余部分的元素。这四个专门的定理描述了这些最小配对。

四个直角三角形全等定理

HL —— 独特的公理

斜边-直角边定理指出：如果一个直角三角形的斜边和一条直角边分别等于另一个直角三角形的斜边和一条直角边，那么这两个三角形全等。

为什么这很特别：HL 是 SSA 的直角三角形类比，而 SSA 通常不成立。SSA 可以产生零个、一个或两个三角形。但当 SSA 中的角是直角时，第三条边就被强制确定了（通过勾股定理）——因此，直角三角形中的 SSA 坍缩为 SSS，这是有效的。

HL 是这四个直角三角形定理中唯一不能在不使用勾股定理的情况下作为通用 SSS/SAS/ASA/AAS 规则的推论来证明的。其他定理则是带有隐含 90° 角的直接重述。

LL —— 直角边-直角边 (= SAS)

如果一个直角三角形的两条直角边都等于另一个直角三角形的两条直角边，则这两个三角形全等。这两条直角边是在直角处相交的两条边，因此直角是夹角——这只是 SAS，其中夹角预先指定为 90°。

LA —— 直角边-锐角

如果一个直角三角形的一条直角边和一个锐角（以及隐含的直角）等于另一个直角三角形的对应部分，则这两个三角形全等。如果直角边位于两个角之间，则为 ASA；如果锐角对着给定的直角边，则为 AAS。无论哪种情况，三个信息（直角边、直角、锐角）都能锁定三角形。

HA —— 斜边-锐角

如果两个直角三角形的斜边和一个锐角（加上隐含的直角）匹配，则它们全等。这是 AAS——斜边是对着直角的边，另一个角是锐角，所以我们拥有 AAS，其中斜边扮演“给定角的对边”的角色。

工作示例 —— 使用 HL

三角形 1：直角边 6 和 8，斜边 10（一个 6-8-10 直角三角形 = 2 × 3-4-5）。
三角形 2：直角边 6 和 ?，斜边 10。

根据 HL，这两个三角形必须全等——我们有斜边（10 = 10）和一条直角边（6 = 6）。因此，三角形 2 的未知直角边为 8，这是由全等得出的（或者等价地，由勾股定理得出：√(100 − 36) = 8）。

工作示例 —— 使用 LL

三角形 1：直角边 5 和 12。
三角形 2：直角边 5 和 12。

根据 LL（= 夹角为 90° 的 SAS），这两个三角形全等。斜边：√(25 + 144) = √169 = 13，两者均为 13。这是 5-12-13 直角三角形。

这对证明为何重要

在两栏证明中，每一步都需要理由。“HL”、“LL”、“LA” 和 “HA” 是被接受的理由，可以节省你写出完整的 SSS/SAS/ASA/AAS 链条的时间。许多教科书问题明确要求你使用这些缩写形式之一。

此计算器上的 AI 求解按钮会根据你的输入生成逐步证明，使用这四个定理中适当的一个——这对于检查你手写的证明或理解为什么你怀疑全等的两个三角形确实全等很有用。

常见错误

• 将 HL 命名为 "SSA"。 直角三角形的 HL 本质上是带有直角的 SSA，但正是直角三角形的上下文使其有效。仅仅称其为 "SSA" 而不加直角限定词是错误的。
• 未指定角度就处理 LA。 如果有两个锐角，“直角边-锐角” 是模棱两可的——请具体说明匹配的是哪个锐角。为了三角形全等，两个锐角都必须匹配（因为它们之和为 90°，知道其中一个就能确定另一个）。
• 忘记需要直角。 所有四个定理都要求两个三角形都是直角三角形。两个具有匹配直角边和斜边的非直角三角形不一定全等。
• 混淆全等与相似。 全等三角形是完全相同的（形状相同且大小相同）。相似三角形形状相同，但比例可能不同。HL/HA/LA/LL 证明全等；对于相似性，请使用 AA / SSS-相似 / SAS-相似。