In Exercises 27 to 35, complete the formal proof of each theorem.
If two line segments are congruent, then their midpoints separate these segments into four congruent segments.
Given: 
M is midpoint of N is midpoint of 
Prove: 

To find:
The complete formal proof of the given theorem.
If two line segments are congruent, then their midpoints separate these segments into four congruent segments.
Given:
The statement of given theorem is,
If two line segments are congruent, then their midpoints separate these segments into four congruent segments.
Given:
Prove:
The given figure is,
Approach:
The formal proof of given theorem is shown in the following table.
Statements  Reasons 
1. M is midpoint of 
1. Given 
2. 
2. If a midpoint separates the line segment into two parts, then two parts are congruent. 
3. 
3. The length of two congruent line segments is same. 
4. 
4 
Statistics for The Behavioral Sciences (MindTap Course List)
Intermediate Algebra
Applied Calculus for the Managerial, Life, and Social Sciences: A Brief Approach
Calculus: Early Transcendental Functions
Elementary Technical Mathematics
Single Variable Calculus
Mathematical Excursions (MindTap Course List)
Finite Mathematics and Applied Calculus (MindTap Course List)
Multivariable Calculus
Precalculus: Mathematics for Calculus (Standalone Book)
Essentials of Statistics for The Behavioral Sciences (MindTap Course List)
Single Variable Calculus: Early Transcendentals, Volume I
Calculus: An Applied Approach (MindTap Course List)
Essentials Of Statistics
Calculus (MindTap Course List)
Understanding Basic Statistics
Mathematical Applications for the Management, Life, and Social Sciences
Probability and Statistics for Engineering and the Sciences
Calculus: Early Transcendentals
Applied Calculus
Finite Mathematics
Trigonometry (MindTap Course List)
Calculus of a Single Variable
Elements Of Modern Algebra
Contemporary Mathematics for Business & Consumers
Single Variable Calculus: Early Transcendentals
Study Guide for Stewart's Multivariable Calculus, 8th
Finite Mathematics for the Managerial, Life, and Social Sciences
Calculus: Early Transcendental Functions (MindTap Course List)
Study Guide for Stewart's Single Variable Calculus: Early Transcendentals, 8th
STATISTICS F/BUSINESS+ECONOMICSTEXT
Research Methods for the Behavioral Sciences (MindTap Course List)
College Algebra (MindTap Course List)
Statistics for Business & Economics, Revised (MindTap Course List)
Multivariable Calculus
Mathematics For Machine Technology
Calculus (MindTap Course List)
Introduction To Statistics And Data Analysis
Research Methods for the Behavioral Sciences (MindTap Course List)