8.1 Triangle Congruence (SSS, SAS, ASA, AAS, HL) & Similarity (AA, SAS, SSS)

8.1 Triangle Congruence (SSS, SAS, ASA, AAS, HL) & Similarity (AA, SAS, SSS)

1. Axiomatic Congruence vs. Similarity Foundations

In Euclidean geometry, geometric equivalence begins with distinguishing congruence from similarity. Two planar figures are congruent ($\cong$) if and only if an isometry (a distance-preserving rigid motion such as a translation, rotation, or reflection) maps one figure exactly onto the other. Under triangle congruence:

$\triangle ABC \cong \triangle DEF \iff \begin{cases} \overline{AB} \cong \overline{DE}, \; \overline{BC} \cong \overline{EF}, \; \overline{AC} \cong \overline{DF} \\ \angle A \cong \angle D, \; \angle B \cong \angle E, \; \angle C \cong \angle F \end{cases}$

This equivalence is summarized by CPCTC (Corresponding Parts of Congruent Triangles are Congruent).

Conversely, two figures are similar ($\sim$) if a similarity transformation—a composition of rigid motions and a dilation with positive scale factor $k$—maps one onto the other. Similarity preserves shape:

1. Equiangularity: All corresponding angles are congruent ($\angle A \cong \angle D$, $\angle B \cong \angle E$, $\angle C \cong \angle F$).
2. Proportionality: Corresponding side lengths have equal ratios: $\frac{DE}{AB} = \frac{EF}{BC} = \frac{DF}{AC} = k$.

When $k = 1$, similarity becomes congruence. Thus, all congruent triangles are similar, but similar triangles are congruent only when their scale factor is $1$.

---

2. Triangle Congruence Criteria & The Non-Criteria

Proving congruence does not require testing all six pairs of parts. Five sufficient criteria exist:

• SSS (Side-Side-Side): Three pairs of corresponding sides are congruent.
• SAS (Side-Angle-Side): Two pairs of sides and the included angle (the angle between them) are congruent.
• ASA (Angle-Side-Angle): Two pairs of angles and the included side are congruent.
• AAS (Angle-Angle-Side): Two pairs of angles and a non-included side are congruent. By the Triangle Angle Sum Theorem, the third angles must also be congruent ($180^\circ - (\alpha + \beta)$), making AAS equivalent to ASA.
• HL (Hypotenuse-Leg): In right triangles, a congruent hypotenuse and one congruent leg guarantee congruence. By the Pythagorean theorem, the third sides must equal $\sqrt{c^2 - a^2}$, ensuring SSS equivalence.

Why SSA and AAA Fail to Prove Congruence

Two prominent configurations fail to guarantee congruence:

1. Failure of SSA (The Ambiguous Case): Side-Side-Angle fails when the given angle is acute and the opposite side is shorter than the adjacent side. For acute angle $\angle A$, adjacent side $b$, and opposite side $a$, the altitude to the base is $h = b \sin A$. If $h < a < b$, swinging side $a$ intersects the base line at two distinct points ($B_1$ and $B_2$). This creates two non-congruent triangles: acute $\triangle AB_1C$ and obtuse $\triangle AB_2C$ (where $\angle AB_2C = 180^\circ - \angle AB_1C$). Because two different triangles satisfy the identical SSA data, SSA is invalid.
2. Failure of AAA (Scale Ambiguity): Three congruent angles guarantee identical shape and internal proportions, but zero information about size. Two equilateral triangles with side lengths $2$ and $20$ share three $60^\circ$ angles but are not congruent. AAA establishes similarity, never congruence.

---

3. Triangle Similarity Criteria & Criteria Comparison

Triangles are proven similar using three minimal criteria:

• AA (Angle-Angle) Similarity: Two pairs of corresponding angles are congruent. Since angles sum to $180^\circ$, the third pair is automatically congruent.
• SAS Similarity: One angle of a triangle is congruent to an angle of another, and the including sides are proportional ($\frac{a_1}{a_2} = \frac{b_1}{b_2}$).
• SSS Similarity: All three pairs of corresponding sides are proportional ($\frac{a_1}{a_2} = \frac{b_1}{b_2} = \frac{c_1}{c_2} = k$).

---

4. Overlapping Triangles & Indirect Measurement

Overlapping triangles frequently appear in geometric proofs. Candidates must identify shared elements using the Reflexive Property of Congruence:

• Shared angle: $\angle A \cong \angle A$.
• Shared segment: $\overline{BC} \cong \overline{BC}$.

When a line parallel to one side intersects the other two sides (Triangle Proportionality Theorem), corresponding angles are congruent, proving the overlapping triangles similar by AA.

Real-World Indirect Measurement Applications

1. Shadow Reckoning (Thales' Method): Because sunlight rays striking nearby objects are parallel, an upright pole and its shadow form a right triangle similar to a tall structure and its shadow by AA similarity: $\frac{\text{Height of Structure}}{\text{Shadow of Structure}} = \frac{\text{Height of Pole}}{\text{Shadow of Pole}}$
2. Mirror Reflection Systems: By the Law of Reflection, the angle of incidence equals the angle of reflection ($\theta_i = \theta_r$). An observer looking into a ground mirror at a building's top creates two right triangles sharing equal reflection angles, establishing similarity by AA: $\frac{\text{Height of Building}}{\text{Building-to-Mirror Distance}} = \frac{\text{Observer Eye Height}}{\text{Observer-to-Mirror Distance}}$

---

5. Geometric Mean Right Triangle Theorems

In right triangle $\triangle ABC$ with right angle at $C$, let altitude $\overline{CD}$ of length $h$ be perpendicular to hypotenuse $\overline{AB}$ (length $c$). The altitude splits the hypotenuse into segments $AD = x$ and $DB = y$ ($c = x + y$).

The altitude generates three mutually similar triangles: $\triangle ABC \sim \triangle ACD \sim \triangle CBD$. Their ratios establish two theorems:

1. Geometric Mean Altitude Theorem: The altitude is the geometric mean of the two hypotenuse segments: $\frac{x}{h} = \frac{h}{y} \implies h^2 = xy \implies h = \sqrt{xy}$
2. Geometric Mean Leg Theorem: Each leg is the geometric mean of the hypotenuse and the adjacent segment: $b^2 = c \cdot x \implies b = \sqrt{cx} \quad \text{and} \quad a^2 = c \cdot y \implies a = \sqrt{cy}$

Worked Exemplar

Let a right triangle have hypotenuse segments $x = 4$ and $y = 12$.

1. Hypotenuse: $c = 4 + 12 = 16$.
2. Altitude: $h = \sqrt{4 \cdot 12} = \sqrt{48} = 4\sqrt{3}$.
3. Legs: $b = \sqrt{16 \cdot 4} = \sqrt{64} = 8$, and $a = \sqrt{16 \cdot 12} = \sqrt{192} = 8\sqrt{3}$.
4. Pythagorean Check: $a^2 + b^2 = 192 + 64 = 256 = 16^2 = c^2$.