Congruence criteria for triangles

1. Definition of congruence: corresponding parts of congruent triangles (CPCTC)

Definition of Congruence and CPCTC

Two triangles are congruent if and only if there exists a correspondence between their vertices such that all corresponding sides are equal in length and all corresponding angles are equal in measure. This means one triangle can be mapped onto the other through rigid motions (translations, rotations, reflections).

Congruent triangles are essentially identical in shape and size, differing only in position or orientation.

Core Properties:

• If $\triangle ABC \cong \triangle DEF$, then $AB = DE$, $BC = EF$, $CA = FD$
• Corresponding angles satisfy $\angle A = \angle D$, $\angle B = \angle E$, $\angle C = \angle F$
• CPCTC Principle: Corresponding Parts of Congruent Triangles are Congruent
• The congruence statement order matters: vertices must be listed in corresponding order

This principle allows us to conclude that any pair of corresponding parts (sides or angles) are equal once congruence is established.

Example: If $\triangle PQR \cong \triangle XYZ$, then $PQ = XY$ and $\angle Q = \angle Y$.

2. Side-Side-Side (SSS) and Side-Angle-Side (SAS) postulates

Side-Side-Side and Side-Angle-Side Postulates

The SSS Postulate states that if three sides of one triangle are congruent to three sides of another triangle, then the triangles are congruent. The SAS Postulate states that if two sides and the included angle of one triangle are congruent to two sides and the included angle of another triangle, then the triangles are congruent.

These are foundational postulates accepted without proof in Euclidean geometry.

SSS Requirements:

• All three pairs of corresponding sides must be equal
• No angle information is needed

SAS Requirements:

• Exactly two pairs of corresponding sides must be equal
• The angle between those two sides must be equal
• Critical: The angle must be the included angle, not any other angle

The included angle requirement in SAS is essential; two sides and a non-included angle do not guarantee congruence.

Example: If $AB = 7$, $BC = 5$, $CA = 6$ and $DE = 7$, $EF = 5$, $FD = 6$, then $\triangle ABC \cong \triangle DEF$ by SSS.

3. Angle-Side-Angle (ASA) and Angle-Angle-Side (AAS) theorems

Angle-Side-Angle and Angle-Angle-Side Theorems

The ASA Theorem states that if two angles and the included side of one triangle are congruent to two angles and the included side of another triangle, then the triangles are congruent. The AAS Theorem states that if two angles and a non-included side of one triangle are congruent to two angles and the corresponding non-included side of another triangle, then the triangles are congruent.

Both theorems can be proven from the postulates and are therefore theorems, not postulates.

ASA Requirements:

• Two pairs of corresponding angles must be equal
• The side between those angles must be equal

AAS Requirements:

• Two pairs of corresponding angles must be equal
• Any corresponding side (not necessarily between the angles) must be equal
• AAS works because the third angle is determined by the angle sum property

Both criteria guarantee unique triangle determination.

Example: If $\angle A = 50^\circ$, $AB = 8$, $\angle B = 60^\circ$ and $\angle D = 50^\circ$, $DE = 8$, $\angle E = 60^\circ$, then $\triangle ABC \cong \triangle DEF$ by ASA.

4. Hypotenuse-Leg (HL) criteria for right triangles

Hypotenuse-Leg Criterion for Right Triangles

The HL Theorem states that if the hypotenuse and one leg of a right triangle are congruent to the hypotenuse and one leg of another right triangle, then the triangles are congruent. This criterion applies exclusively to right triangles.

This theorem is a special case that exploits the Pythagorean relationship in right triangles.

HL Requirements:

• Both triangles must have a right angle
• The hypotenuses (sides opposite the right angles) must be equal
• Exactly one pair of corresponding legs must be equal
• The second leg is determined by the Pythagorean theorem

Why HL works: Given hypotenuse $c$ and leg $a$, the other leg $b$ is uniquely determined by $b = \sqrt{c^2 - a^2}$, ensuring congruence.

HL cannot be applied to non-right triangles.

Example: If right triangles have hypotenuses of length 10 and one leg of length 6, both triangles have the other leg equal to 8, so they are congruent by HL.

5. Constructing formal geometric proofs of congruence

Constructing Formal Geometric Proofs of Congruence

A formal congruence proof is a logical sequence of statements and reasons that establishes triangle congruence using definitions, postulates, and theorems. Each step must be justified by a previously established fact or given information.

Proofs require systematic reasoning and precise communication of geometric relationships.

Proof Structure:

• Given: State the initial conditions or known information
• Prove: State the congruence conclusion to be established
• Statements and Reasons: List each logical step with its justification
• Conclusion: State the final congruence using the appropriate criterion (SSS, SAS, ASA, AAS, or HL)

Common Justifications:

• Reflexive property: a segment or angle is congruent to itself
• Given information from the problem statement
• Definitions (e.g., midpoint, angle bisector)
• Previously proven statements within the same proof

Example: Given $M$ is the midpoint of $\overline{AC}$ and $\overline{BD}$, prove $\triangle ABM \cong \triangle CDM$ using $AM = CM$, $BM = DM$ (definition of midpoint), and vertical angles $\angle AMB \cong \angle CMD$ by SAS.