Properties of Segment Congruence

Properties of Segment Congruence — Moosa Academy

Congruence of segments behaves in three predictable ways, mirroring the properties of equality you already know from algebra. These three properties — reflexive, symmetric, and transitive — appear in almost every geometric proof that compares lengths.

Concept Reflexive property

AB \cong AB

Every segment is congruent to itself. This sounds almost too obvious to state, but it is exactly the tool needed whenever a proof requires comparing a shared segment to itself across two figures.

Concept Symmetric property

\text{If } AB \cong CD, \text{ then } CD \cong AB

The order in which a congruence is written does not matter. Whichever segment you happen to write first, the statement can always be flipped without changing its meaning.

Concept Transitive property

\text{If } AB \cong CD \text{ and } CD \cong EF, \text{ then } AB \cong EF

CD

is the link segment — it is congruent to both of the others, so those other two must also be congruent to each other.

Example Proving the transitive property

Given: $AB \cong CD$ and $CD \cong EF$ . Prove that $AB \cong EF$ .

Statement	Reason
AB ≅ CD, CD ≅ EF	Given
AB = CD, CD = EF	Definition of congruent segments
AB = EF	Transitive property of equality
AB ≅ EF	Definition of congruent segments

The proof relies on switching between congruence and equality: the definition of congruent segments converts $\cong$ into $=$ , the transitive property of equality (from algebra) does the actual work, and the definition converts back to $\cong$ at the end.

Example Applying all three properties

1. Is

MN \cong MN

true? — Yes, by the reflexive property; every segment is congruent to itself.

2. If

PQ \cong RS

, what can you say about

RS

and

PQ

? — By the symmetric property,

RS \cong PQ

3. If

JK \cong LM

and

LM \cong NP

, what is the relationship between

JK

and

NP

? — By the transitive property, using

LM

as the link,

JK \cong NP

Summary

Reflexive property: a segment is always congruent to itself, AB ≅ AB.
Symmetric property: if AB ≅ CD, then CD ≅ AB — the order can be reversed.
Transitive property: if AB ≅ CD and CD ≅ EF, then AB ≅ EF — the shared middle segment links the two outer ones.
Proofs using these properties typically switch to equality via the definition of congruent segments, apply the matching algebraic property, then switch back.