角角边定理的证明

什么是角角边定理（AAS）？

如果两个三角形的两个角及其其中一个角的对边分别对应相等，那么这两个三角形全等。

用符号语言表示：在△ABC和△DEF中，

∠A = ∠D
∠B = ∠E
BC = EF
∴ △ABC ≌ △DEF (AAS)
                

注意：这里的边BC必须是∠A的对边，EF是∠D的对边。如果边不是对应角的对边，则不能直接使用AAS，而应检查是否符合ASA。

证明过程详解

已知：在△ABC和△DEF中，∠A=∠D，∠B=∠E，BC=EF。

求证：△ABC≌△DEF。

证明：

1. 根据三角形内角和定理，三角形的三个内角之和等于180°。
2. 在△ABC中，∠C = 180° - ∠A - ∠B。
3. 在△DEF中，∠F = 180° - ∠D - ∠E。
4. 因为已知∠A=∠D且∠B=∠E，所以代入上式可得：∠C = ∠F。
5. 现在，我们在两个三角形中拥有了：
• ∠B = ∠E (已知)
• BC = EF (已知)
• ∠C = ∠F (已证)
6. 这完全符合角边角定理（ASA）的条件（两角及其夹边对应相等）。
7. 因此，△ABC ≌ △DEF (ASA)。

结论：通过转化思想，AAS定理得证。这说明了数学定理之间的内在联系性。

例题一：基础证明题

题目：如图，点D在AB上，点E在AC上，AB=AC，∠B=∠C。求证：△ABE ≌ △ACD。

分析：

• 已知：∠B=∠C，AB=AC。
• 隐含：∠A=∠A（公共角）。
• 观察：在△ABE和△ACD中，我们有∠A=∠A，∠B=∠C，且AB=AC。注意，AB是∠AEB的对边吗？不是。AB是∠C的对边吗？在△ACD中，AC是∠ADC的对边。让我们重新审视对应关系。

修正分析：在△ABE和△ACD中：

• ∠A = ∠A (公共角)
• AB = AC (已知)
• ∠B = ∠C (已知)

这里，AB是△ABE中∠AEB的对边吗？不是。AB是∠C的对边吗？在△ACD中，AC是∠ADC的对边。等等，AB和AC是∠C和∠B的邻边，但不是夹边（夹边应为AB和AC夹∠A，那是SAS）。这里AB是∠AEB的对边吗？不，AB是∠AEB的邻边。让我们看对应角。

在△ABE中，角为∠A, ∠B, ∠AEB。边为AB, BE, AE。

在△ACD中，角为∠A, ∠C, ∠ADC。边为AC, CD, AD。

已知已知∠A=∠A, ∠B=∠C, AB=AC。AB是∠AEB的对边吗？不是。AB是∠C的对边吗？在△ACD中，AC是∠ADC的对边。这里AB和AC是对应边。∠B和∠C是对应角。∠A和∠A是对应角。

AB是∠AEB的对边吗？不是。AB是∠C的对边吗？不，AB在△ABE中，对应的是∠AEB。AC在△ACD中，对应的是∠ADC。我们需要证明∠AEB=∠ADC吗？不需要，直接用AAS。

在△ABE和△ACD中：

• ∠A = ∠A (角)
• ∠B = ∠C (角)
• AB = AC (边，且是∠AEB和∠ADC的对边吗？不，AB是∠AEB的对边吗？不是。AB是∠C的对边吗？不是。AB是∠AEB的邻边。AC是∠ADC的邻边。等等，AAS要求边是其中一个角的对边。

让我们找一个更标准的AAS例子。

标准AAS例题

题目：已知：在△ABC和△DEF中，∠A=∠D，∠B=∠E，BC=EF。求证：△ABC≌△DEF。

证明：

在△ABC和△DEF中，

∵ ∠A = ∠D, ∠B = ∠E (已知)
∴ ∠C = 180° - ∠A - ∠B = 180° - ∠D - ∠E = ∠F (三角形内角和定理)
在△ABC和△DEF中：
{ ∠B = ∠E
{ BC = EF (已知)
{ ∠C = ∠F
∴ △ABC ≌ △DEF (ASA)
∴ 原命题得证 (或直接写 AAS)
                

例题二：实际应用

场景：小明想测量池塘两岸A、B两点的距离，但无法直接到达。他在岸上选取一点C，使得∠ACB=90°，并测得∠CAB=30°，AC=10米。能否求出AB？

解析：这实际上是利用直角三角形性质。但如果我们要构造全等三角形来测量，可以这样做：

在池塘外找一点D，使得△ABC ≌ △DEC。若已知∠A=∠D，∠B=∠E，BC=EC，则可通过测量DE得到AB。这就是AAS在实际测量中的应用——通过构造全等三角形，将不可测距离转化为可测距离。

Q1: 角角边定理（AAS）和角边角定理（ASA）有什么区别？

A: 主要区别在于已知边的位置。ASA（角边角）是指两个角及其夹边对应相等；而AAS（角角边）是指两个角及其中一角的对边对应相等。在证明过程中，AAS通常需要先通过三角形内角和定理推导出第三个角相等，从而转化为ASA来证明。

Q2: 为什么SSA（边边角）不能作为全等三角形的判定定理？

A: SSA（边边角）不能保证三角形唯一。当已知两边和其中一边的对角时，可能存在两个不同的三角形满足条件（即“模糊情况”），除非该角是直角或钝角，或者对边大于邻边等特定条件下。因此，SSA不是通用的全等判定依据。

Q3: 在直角三角形中，AAS定理是否依然适用？

A: 是的，依然适用。实际上，直角三角形特有的HL（斜边直角边）定理可以看作是AAS的一种特例。因为直角三角形已知一个角为90°，若再知道一个锐角相等，则第三个角必然相等，此时若有一条边对应相等，即可通过AAS或ASA证明全等。

Q4: 学习AAS定理对解决几何难题有什么帮助？

A: 掌握AAS定理可以简化证明过程。在某些题目中，直接找到夹边（ASA）可能比较困难，但找到对边（AAS）却很容易。灵活运用AAS可以避免繁琐的角转换步骤，提高解题效率。同时，它有助于培养“转化”的数学思想。