The Perpendicular Bisector Theorem

We have discussed this before, and now we will give a precise proof:

If a point is equidistant from the endpoints of a segment then it is on the perpendicular bisector of that segment, and conversely.

There are two things to prove here, a statement and its converse, so we will split the proof into two parts, using generic diagrams for each.

Statement:

If  then  is on the perpendicular bisector of .

Proof:

Let  be the midpoint of  and draw :

Then  by SSS.  Therefore  since these are corresponding parts of the congruent triangles.  But these angles are a linear pair, so their measures add to 180o.  Since they are congruent angles, each must measure half of 180o, which is 90o.  Therefore .  So  is on the perpendicular bisector of  (by definition of "perpendicular bisector").

Converse:

If  is the perpendicular bisector of  then .

Proof:

Because  is the perpendicular bisector of , , and  since both are right angles.   is a common side to  and , so these triangles are congruent by SAS.  Therefore  since they are corresponding parts of the congruent triangles.
The text passage provides a detailed proof of the Perpendicular Bisector Theorem and its converse, without posing any specific mathematical questions or providing answers to such questions.
no_question
Given a text passage, determine:
    1. If it contains a mathematical question (including word problems or calculations)
    2. If an answer to that mathematical question is provided in the text

First, describe the content structure you found in 1-2 sentences.

Then provide your analysis in the following format:
TYPE: <one of the following values>
- NO_QUESTION
- SINGLE_QUESTION
- SINGLE_QUESTION_WITH_ANSWER
- MULTIPLE_QUESTIONS
- MULTIPLE_QUESTIONS_WITH_ANSWERS
system
The Perpendicular Bisector Theorem

We have discussed this before, and now we will give a precise proof:

If a point is equidistant from the endpoints of a segment then it is on the perpendicular bisector of that segment, and conversely.

There are two things to prove here, a statement and its converse, so we will split the proof into two parts, using generic diagrams for each.

Statement:

If  then  is on the perpendicular bisector of .

Proof:

Let  be the midpoint of  and draw :

Then  by SSS.  Therefore  since these are corresponding parts of the congruent triangles.  But these angles are a linear pair, so their measures add to 180o.  Since they are congruent angles, each must measure half of 180o, which is 90o.  Therefore .  So  is on the perpendicular bisector of  (by definition of "perpendicular bisector").

Converse:

If  is the perpendicular bisector of  then .

Proof:

Because  is the perpendicular bisector of , , and  since both are right angles.   is a common side to  and , so these triangles are congruent by SAS.  Therefore  since they are corresponding parts of the congruent triangles.
user
The text passage provides a detailed proof of the Perpendicular Bisector Theorem and its converse, without posing any specific mathematical questions or providing answers to such questions.

TYPE: NO_QUESTION