4.2.3 Triangle Congruence¶

Proving triangles are congruent using criteria (SSS, SAS, ASA, AAS, HL) and applying congruence properties.

定义¶

Triangle congruence is the geometric property that two triangles are congruent if and only if they have exactly the same shape and size. Two triangles \(\triangle ABC\) and \(\triangle DEF\) are congruent (written as \(\triangle ABC \cong \triangle DEF\)) if their corresponding sides are equal in length and their corresponding angles are equal in measure. Congruence can be established using five primary criteria: SSS (Side-Side-Side), SAS (Side-Angle-Side), ASA (Angle-Side-Angle), AAS (Angle-Angle-Side), and HL (Hypotenuse-Leg for right triangles). When two triangles are proven congruent, all corresponding parts (sides and angles) are equal, which is the foundation for solving many geometric problems and proofs.

核心公式¶

\(\text{SSS Criterion: If } AB = DE, BC = EF, \text{ and } CA = FD, \text{ then } \triangle ABC \cong \triangle DEF\)
\(\text{SAS Criterion: If } AB = DE, \angle ABC = \angle DEF, \text{ and } BC = EF, \text{ then } \triangle ABC \cong \triangle DEF\)
\(\text{ASA Criterion: If } \angle ABC = \angle DEF, BC = EF, \text{ and } \angle BCA = \angle EFD, \text{ then } \triangle ABC \cong \triangle DEF\)
\(\text{AAS Criterion: If } \angle ABC = \angle DEF, \angle BCA = \angle EFD, \text{ and } AB = DE, \text{ then } \triangle ABC \cong \triangle DEF\)
\(\text{HL Criterion (Right Triangles): If } AB = DE \text{ (hypotenuse) and } BC = EF \text{ (leg)}, \text{ then } \triangle ABC \cong \triangle DEF\)

易错点¶

⚠️ Confusing SSA (Side-Side-Angle) with a valid congruence criterion—SSA does NOT guarantee congruence except in the special case of HL for right triangles, as it can lead to the ambiguous case where two different triangles satisfy the condition
⚠️ Incorrectly identifying corresponding parts between two triangles, especially when the triangles are oriented differently or when vertices are not listed in corresponding order; the order of vertices in the congruence statement \(\triangle ABC \cong \triangle DEF\) matters because it indicates which parts correspond
⚠️ Assuming that two triangles with two equal sides and an included angle that is NOT between those sides are congruent (confusing SAS with SSA); the angle must be between the two given sides for SAS to apply
⚠️ Forgetting to verify that all conditions of a congruence criterion are met before concluding congruence; for example, in SAS, the angle must be the included angle, and in ASA, the side must be the included side between the two angles