Comprehensive Study Notes on Triangle Congruence Postulates, Theorems, and Two-Column Proofs

Triangle Congruence Fundamentals and Corresponding Parts

  • Definition of Triangle Congruence:

    • Two geometric figures are congruent if and only if all corresponding pairs of sides and all corresponding pairs of angles are congruent.

    • For two triangles to be proven congruent by definition, all three pairs of corresponding sides and all three pairs of corresponding angles must be established as congruent.

  • Corresponding Parts of Congruent Triangles are Congruent (CPCTC):

    • Definition: CPCTC is a fundamental geometric principle stating that once two triangles are proven congruent, every corresponding pair of sides and angles between them is also congruent.

    • Function in Proofs: CPCTC is used as a justification in two-column proofs after establishing triangle congruence to prove that specific individual segments or angles are congruent.

  • Properties of Triangle Congruence:

    • Reflexive Property of Triangle Congruence:

    • Any triangle is congruent to itself: △ABC≅△ABC\triangle ABC \cong \triangle ABC.

    • Symmetric Property of Triangle Congruence:

    • If one triangle is congruent to a second triangle, the second triangle is congruent to the first:

      • If △ABC≅△DEF\triangle ABC \cong \triangle DEF, then △DEF≅△ABC\triangle DEF \cong \triangle ABC.

    • Transitive Property of Triangle Congruence:

    • If two triangles are each congruent to a third triangle, they are congruent to each other:

      • If △ABC≅△DEF\triangle ABC \cong \triangle DEF and △DEF≅△XYZ\triangle DEF \cong \triangle XYZ, then △ABC≅△XYZ\triangle ABC \cong \triangle XYZ.

  • Worked Example: Applying Corresponding Parts to Solve for Algebraic Variables:

    • Problem: Given △ABC≅△DFE\triangle ABC \cong \triangle DFE, find the values of xx and yy.

    • Given Values from Diagram:

    • Angle measures in △ABC\triangle ABC: ∠A=45∘\angle A = 45^\circ, ∠B=99∘\angle B = 99^\circ, and side lengths AB=32.1AB = 32.1, BC=38.4BC = 38.4, AC=54AC = 54.

    • Corresponding parts in △DFE\triangle DFE: ∠D=45∘\angle D = 45^\circ, ∠F=(8y−5)∘\angle F = (8y - 5)^\circ, side lengths DF=32.1DF = 32.1, FE=2y+xFE = 2y + x.

    • Step 1: Solve for yy using corresponding angles:

    • Because △ABC≅△DFE\triangle ABC \cong \triangle DFE, corresponding angles are congruent: ∠B≅∠F\angle B \cong \angle F.

    • Set their measures equal:       8y−5=998y - 5 = 99

    • Add 55 to both sides:       8y=1048y = 104

    • Divide by 88:       y=13y = 13

    • Step 2: Solve for xx using corresponding sides:

    • Because △ABC≅△DFE\triangle ABC \cong \triangle DFE, corresponding sides are congruent: BC‾≅FE‾\overline{BC} \cong \overline{FE}.

    • Set their lengths equal:       2y+x=38.42y + x = 38.4

    • Substitute y=13y = 13 into the linear equation:       2(13)+x=38.42(13) + x = 38.4       26+x=38.426 + x = 38.4

    • Subtract 2626 from both sides:       x=12.4x = 12.4

The Third Angles Theorem and Proofs by Congruence Definition

  • Third Angles Theorem:

    • Statement: If two angles of one triangle are congruent to two angles of a second triangle, then the third angles are congruent.

    • Mathematical Formulation: If in △ABC\triangle ABC and △DEF\triangle DEF, ∠A≅∠D\angle A \cong \angle D and ∠B≅∠E\angle B \cong \angle E, then ∠C≅∠F\angle C \cong \angle F.

    • Underlying Rationale: Since the interior angles of any triangle in Euclidean geometry sum to 180∘180^\circ, having two pairs of congruent angles forces the remaining angle measure in both triangles to be equal to 180∘−(m∠A+m∠B)180^\circ - (m\angle A + m\angle B).

  • Worked Two-Column Proof 1: Proving Congruence Using the Third Angles Theorem:

    • Given: DE‾≅GE‾\overline{DE} \cong \overline{GE}, DF‾≅GF‾\overline{DF} \cong \overline{GF}, ∠D≅∠G\angle D \cong \angle G, and ∠DFE≅∠GFE\angle DFE \cong \angle GFE.

    • Prove: △DEF≅△GEF\triangle DEF \cong \triangle GEF.

    • Two-Column Proof Steps:

    • Statement 1: DE‾≅GE‾\overline{DE} \cong \overline{GE}, DF‾≅GF‾\overline{DF} \cong \overline{GF}, ∠D≅∠G\angle D \cong \angle G, ∠DFE≅∠GFE\angle DFE \cong \angle GFE

      • Reason 1: Given

    • Statement 2: ∠DEF≅∠GEF\angle DEF \cong \angle GEF

      • Reason 2: Third Angles Theorem

    • Statement 3: EF‾≅EF‾\overline{EF} \cong \overline{EF}

      • Reason 3: Reflexive Property

    • Statement 4: △DEF≅△GEF\triangle DEF \cong \triangle GEF

      • Reason 4: Definition of Congruent Polygons (all three pairs of corresponding sides and all three pairs of corresponding angles are congruent)

  • Worked Two-Column Proof 2: Using Bisectors, Vertical Angles, and Third Angles:

    • Given: JK‾≅PM‾\overline{JK} \cong \overline{PM}, JL‾≅PL‾\overline{JL} \cong \overline{PL}, ∠J≅∠P\angle J \cong \angle P, and point LL bisects KM‾\overline{KM}.

    • Prove: △JLK≅△PLM\triangle JLK \cong \triangle PLM.

    • Two-Column Proof Steps:

    • Statement 1: JK‾≅PM‾\overline{JK} \cong \overline{PM}, JL‾≅PL‾\overline{JL} \cong \overline{PL}, ∠J≅∠P\angle J \cong \angle P, and point LL bisects KM‾\overline{KM}

      • Reason 1: Given

    • Statement 2: KL‾≅ML‾\overline{KL} \cong \overline{ML}

      • Reason 2: Definition of Bisector

    • Statement 3: ∠PLM≅∠JLK\angle PLM \cong \angle JLK

      • Reason 3: Vertical Angles Theorem (VAT)

    • Statement 4: ∠K≅∠M\angle K \cong \angle M

      • Reason 4: Third Angles Theorem

    • Statement 5: △JLK≅△PLM\triangle JLK \cong \triangle PLM

      • Reason 5: Definition of Congruent Polygons

Side-Side-Side (SSS) Congruence Postulate

  • Statement of the SSS Postulate:

    • If three sides of one triangle are congruent to three sides of a second triangle, then the triangles are congruent.

    • Mathematical Formulation: If AB‾≅DE‾\overline{AB} \cong \overline{DE}, BC‾≅EF‾\overline{BC} \cong \overline{EF}, and AC‾≅DF‾\overline{AC} \cong \overline{DF}, then △ABC≅△DEF\triangle ABC \cong \triangle DEF.

  • Worked Two-Column Proof 1: Midpoints and the SSS Postulate:

    • Given: GH‾≅KJ‾\overline{GH} \cong \overline{KJ}, HL‾≅JL‾\overline{HL} \cong \overline{JL}, and LL is the midpoint of GK‾\overline{GK}.

    • Prove: △GHL≅△KJL\triangle GHL \cong \triangle KJL.

    • Two-Column Proof Steps:

    • Statement 1: GH‾≅KJ‾\overline{GH} \cong \overline{KJ}, HL‾≅JL‾\overline{HL} \cong \overline{JL}, and LL is the midpoint of GK‾\overline{GK}

      • Reason 1: Given

    • Statement 2: GL‾≅KL‾\overline{GL} \cong \overline{KL}

      • Reason 2: Definition of Midpoint

    • Statement 3: △GHL≅△KJL\triangle GHL \cong \triangle KJL

      • Reason 3: SSS Congruence Postulate

  • Worked Two-Column Proof 2: Isosceles Triangles, Segment Bisectors, and SSS:

    • Given: △QRS\triangle QRS is isosceles with QR‾≅SR‾\overline{QR} \cong \overline{SR}, and RT‾\overline{RT} bisects QS‾\overline{QS} at point TT.

    • Prove: △QRT≅△SRT\triangle QRT \cong \triangle SRT.

    • Two-Column Proof Steps:

    • Statement 1: △QRS\triangle QRS is isosceles with QR‾≅SR‾\overline{QR} \cong \overline{SR}, and RT‾\overline{RT} bisects QS‾\overline{QS} at point TT

      • Reason 1: Given

    • Statement 2: QT‾≅ST‾\overline{QT} \cong \overline{ST}

      • Reason 2: Definition of Bisector

    • Statement 3: RT‾≅RT‾\overline{RT} \cong \overline{RT}

      • Reason 3: Reflexive Property

    • Statement 4: △QRT≅△SRT\triangle QRT \cong \triangle SRT

      • Reason 4: SSS Congruence Postulate

Side-Angle-Side (SAS) Congruence Postulate and CPCTC

  • Statement of the SAS Postulate:

    • If two sides and the included angle of one triangle are congruent to two sides and the included angle of a second triangle, then the triangles are congruent.

    • Definition of Included Angle: The angle formed directly between the two specified congruent sides (i.e., the vertex of the angle is the common endpoint of the two sides).

  • Worked Two-Column Proof 1: Midpoints, Vertical Angles, and SAS:

    • Given: RR is the midpoint of QS‾\overline{QS} and PT‾\overline{PT}.

    • Prove: △PQR≅△TSR\triangle PQR \cong \triangle TSR.

    • Two-Column Proof Steps:

    • Statement 1: RR is the midpoint of QS‾\overline{QS} and PT‾\overline{PT}

      • Reason 1: Given

    • Statement 2: QR‾≅SR‾\overline{QR} \cong \overline{SR} and PR‾≅TR‾\overline{PR} \cong \overline{TR}

      • Reason 2: Definition of Midpoint

    • Statement 3: ∠PRQ≅∠TRS\angle PRQ \cong \angle TRS

      • Reason 3: Vertical Angles Theorem (VAT)

    • Statement 4: △PQR≅△TSR\triangle PQR \cong \triangle TSR

      • Reason 4: SAS Congruence Postulate

  • Worked Two-Column Proof 2: Equilateral Triangles, Angle Bisectors, SAS, and CPCTC:

    • Given: △XYZ\triangle XYZ is equilateral, and WY‾\overline{WY} bisects ∠XYZ\angle XYZ.

    • Prove: XW‾≅ZW‾\overline{XW} \cong \overline{ZW}.

    • Two-Column Proof Steps:

    • Statement 1: △XYZ\triangle XYZ is equilateral, and WY‾\overline{WY} bisects ∠XYZ\angle XYZ

      • Reason 1: Given

    • Statement 2: XY‾≅ZY‾\overline{XY} \cong \overline{ZY}

      • Reason 2: Definition of Equilateral Triangles

    • Statement 3: ∠XYW≅∠ZYW\angle XYW \cong \angle ZYW

      • Reason 3: Definition of Bisector

    • Statement 4: YW‾≅YW‾\overline{YW} \cong \overline{YW}

      • Reason 4: Reflexive Property

    • Statement 5: △XYW≅△ZYW\triangle XYW \cong \triangle ZYW

      • Reason 5: SAS Congruence Postulate

    • Statement 6: XW‾≅ZW‾\overline{XW} \cong \overline{ZW}

      • Reason 6: CPCTC (Corresponding Parts of Congruent Triangles are Congruent)

Angle-Side-Angle (ASA) and Angle-Angle-Side (AAS) Congruence Postulates

  • Statement of the ASA Congruence Postulate:

    • 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.

    • Definition of Included Side: The side that is situated directly between the two angles and shared by their vertices.

  • Overview of the AAS Congruence Postulate:

    • If two angles and a non-included side of one triangle are congruent to the corresponding two angles and non-included side of a second triangle, then the triangles are congruent.

  • Worked Two-Column Proof 1: Angle Bisectors, Reflexive Property, and ASA:

    • Given: QS‾\overline{QS} bisects ∠PQR\angle PQR, and ∠PSQ≅∠RSQ\angle PSQ \cong \angle RSQ.

    • Prove: △PQS≅△RQS\triangle PQS \cong \triangle RQS.

    • Two-Column Proof Steps:

    • Statement 1: QS‾\overline{QS} bisects ∠PQR\angle PQR, and ∠PSQ≅∠RSQ\angle PSQ \cong \angle RSQ

      • Reason 1: Given

    • Statement 2: ∠PQS≅∠RQS\angle PQS \cong \angle RQS

      • Reason 2: Definition of Bisector

    • Statement 3: QS‾≅QS‾\overline{QS} \cong \overline{QS}

      • Reason 3: Reflexive Property

    • Statement 4: △PQS≅△RQS\triangle PQS \cong \triangle RQS

      • Reason 4: ASA Congruence Postulate

  • Worked Two-Column Proof 2: Parallel Lines, Alternate Interior Angles, and ASA:

    • Given: WX‾∥YZ‾\overline{WX} \parallel \overline{YZ} and WZ‾∥YX‾\overline{WZ} \parallel \overline{YX}.

    • Prove: △WXZ≅△YZX\triangle WXZ \cong \triangle YZX.

    • Two-Column Proof Steps:

    • Statement 1: WX‾∥YZ‾\overline{WX} \parallel \overline{YZ} and WZ‾∥YX‾\overline{WZ} \parallel \overline{YX}

      • Reason 1: Given

    • Statement 2: XZ‾≅ZX‾\overline{XZ} \cong \overline{ZX}

      • Reason 2: Reflexive Property

    • Statement 3: ∠WXZ≅∠YZX\angle WXZ \cong \angle YZX and ∠WZX≅∠YXZ\angle WZX \cong \angle YXZ

      • Reason 3: Alternate Interior Angles Theorem (AIA Theorem: if two parallel lines are cut by a transversal, the alternate interior angles are congruent)

    • Statement 4: △WXZ≅△YZX\triangle WXZ \cong \triangle YZX

      • Reason 4: ASA Congruence Postulate


Here is a simpler way to think about triangle congruence without all the heavy textbook jargon: Congruent triangles are just identical twins. They have the exact same shape and size, meaning if you placed one right on top of the other, every corner and edge would match up perfectly. Normally, a triangle has six parts: three sides and three angles. Proving all six match takes too much work, so geometry gives us shortcuts where you only need three matching pieces to guarantee the triangles are identical: 1. SSS (Side-Side-Side): If you build a triangle with three rigid sticks, there is only one shape you can possibly make. If all three sides match, the triangles must be identical. 2. SAS (Side-Angle-Side): Picture opening a pair of scissors. The two blades are your sides, and the hinge is the angle trapped between them (the included angle). Once that angle and those two side lengths are fixed, the gap between the tips is locked, meaning the third side has to match. 3. ASA (Angle-Side-Angle): You have a flat base (the included side) with two angles pointing upward from each end. Because those two angles dictate the exact direction the sides travel, they can only meet at one specific point in space, locking in the triangle. 4. AAS (Angle-Angle-Side): You know two angles and a side not between them. Since the interior angles of every triangle add up to 180⊥180^\bot, knowing two angles automatically tells you the third angle (this is the Third Angles Theorem). Once you know that, AAS works just like ASA. 5. CPCTC: This stands for Corresponding Parts of Congruent Triangles are Congruent. Think of it as the payoff at the end: once you prove the two triangles are identical twins using a shortcut like SSS or SAS, you earn the right to say that any remaining matching angle or side must also be equal.