2-7 Proving Segment Relationships

Ms. Andrejko
Real World
Postulates/Theorems
Ruler postulate
Segment addition postulate
Reflexive property
Symmetric property
Transitive property
Examples
Justify each statement with a property of equality, a
property of congruence, or a postulate.

1. QA = QA

Reflexive property of equality

2. If AB ≅ BC and BC ≅ CE then AB ≅ CE
Transitive property of congruence
Examples
Justify each statement with a property of equality, a
property of congruence, or a postulate.

1. If Q is between P and R, then PR = PQ + QR.

Segment addition postulate

2. If AB + BC = EF + FG and AB + BC = AC, then EF +

FG = AC
Transitive property of equality
 Example- Complete the Proof
STATEMENTS REASONS

Given: SU  LR SU≅LR, TU≅LN

GIVEN
TU  LN Definition of congruent
SU =LR , TU=LN segments
Prove: ST  NR

.. . . ..
SU = ST+ TU
LR= LN+NR Segment + post.
S T U
ST+TU = LN+NR
N Substitution Prop.
 L R
ST+LN = LN+NR
Substitution prop.
ST+LN-LN=LN+NR-
LN Subtraction Prop.
Substitution Property
ST = NR
ST ≅ NR
Def. of congruent
Practice

STATEMENTS REASONS
AB ≅ CD Given
AB = CD Def. of congruent
CD = AB Symmetric
Definition of
CD ≅ AB
congruent segments
 Practice- Complete the Proof
STATEMENTS REASONS

Given: LK  NM LK ≅ NM, KJ ≅ MJ
GIVEN
KJ  MJ Definition of congruent
LK = NM, KJ = MJ segments
Prove: LJ  NJ
LK + KJ = NM + MJ
Add. Prop.
LJ = LK+KJ, Segment addition post.

 NJ=NM+MJ
LJ = NJ
Substitution prop.
LJ ≅ NJ
Def. of congruent
 Example: Fill in the proof
Given:WX  YZ W X Y Z
Prove:WY  XZ
STATEMENTS REASONS
 Given
WX ≅ YZ
 WX = YZ Def. of congruence
XY = XY Reflexive Prop.
WX +XY = YZ +XY Additive Prop.
WY= WX+XY Segment addition post.
XZ = YZ+XY
WY = XZ Substitution
WY ≅ XZ Def. of Congruence
 Practice: Fill in the proof F
Given: X is the midpoint of SYS
Z is the midpoint of YF X Z
XY = YZ
Prove: ZF ≅ SX Y
STATEMENTS REASONS
X is the midpoint of SY Given
Z is the midpoint of YF
XY = YZ
XY ≅ YZ Def. of Congruence
SX≅ XY ; YZ ≅ ZF Def. of Midpoint
SX ≅ YZ Substitution
SX ≅ ZF Transitive Prop.
ZF ≅ SX Symmetric