FJ ≅ GH Given
<JFH ≅ < GHF Given
FH ≅ FH Reflexive Segments
Δ JFH ≅ ΔGHF Side Angle Side
Theorem
FG ≅ JH CPCTC
AB is parallel to DC Given
<BAC ≅ <DCA Alternate Interior
Angles Theorem
<B ≅ <D Given
AC ≅ AC Reflexive Property
ΔABC ≅ ΔCDA Angle Angle Side
Theorem
BC ≅ DA CPCTC
AD is parallel to BC Parallel Postulate
P is the midpoint of both Given
LO and MN
LP ≅ PO Definition of midpoint
MP ≅ PN
<NPO ≅ <LPM Vertical Angles are
Congruent
ΔLPM ≅ ΔOPN Side Angle Side
Theorem
< MLP ≅ <NOP CPCTC
LM is parallel to NO Converse of Alternate
Interior Angles
Theorem
D bisects AC Given
AD ≅ DC Definition of
perpendicular bisector
BD is perpendicular to AC Given
<ADB ≅ <CDB = 90° Definition of
perpendicular lines
< ADB ≅ <CDB All right angles are
congruent
BD ≅ BD Reflexive Segments
ΔADB ≅ ΔCDB Side Angle Side
Theorem
AB ≅ CB CPCTC
G is the midpoint of FH Given
FG ≅ GH Definition of midpoint
EF ≅ EH Given
EG ≅ EG Reflexive Segments
ΔEFG ≅ ΔEHG Side Side Side Theorem
< EFG ≅ <EHG CPCTC
<1 Supplementary to <EFG Supplementary Angles
<2 Supplementary to <EHG make a straight, 180-
degree line
<1≅<2 Transitive property
(If a = b and b = c, then
a = c.)
MN ≅ MP Given
NO ≅ PO Given
MO ≅ MO Reflexive Property
ΔMNO ≅ ΔMPO Side Side Side Theorem
<N ≅ <P CPCTC