5.2: Perpendicular Bisectors
What if an archeologist found three bones in Cairo, Egypt buried 4 meters, 7 meters, and 9 meters apart (to form a triangle)? The likelihood that more bones are in this area is very high. The archeologist wants to dig in an appropriate circle around these bones. If these bones are on the edge of the digging circle, where is the center of the circle? Can you determine how far apart each bone is from the center of the circle? What is this length? After completing this Concept, you'll be able to answer questions like these.
Watch This
CK12 Foundation: Chapter5PerpendicularBisectorsA
James Sousa: Constructing Perpendicular Bisectors
James Sousa: Proof of the Perpendicular Bisector Theorem
James Sousa: Proof of the Perpendicular Bisector Theorem Converse
James Sousa: Determining Values Using Perpendicular Bisectors
Guidance
Recall that a perpendicular bisector intersects a line segment at its midpoint and is perpendicular. Let’s analyze this figure.
Perpendicular Bisector Theorem: If a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of the segment.
In addition to the Perpendicular Bisector Theorem, we also know that its converse is true.
Perpendicular Bisector Theorem Converse: If a point is equidistant from the endpoints of a segment, then the point is on the perpendicular bisector of the segment.
Proof of the Perpendicular Bisector Theorem Converse:
Given:
Prove:
Statement  Reason 

1. 
Given 
2. 
Definition of an isosceles triangle 
3. 
Isosceles Triangle Theorem 
4. Draw point 
Every line segment has exactly one midpoint 
5. 
Definition of a midpoint 
6. 
SAS 
7. 
CPCTC 
8. 
Congruent Supplements Theorem 
9. 
Definition of perpendicular lines 
10. 
Definition of perpendicular bisector 
Two lines intersect at a point. If more than two lines intersect at the same point, it is called a point of concurrency.
Investigation: Constructing the Perpendicular Bisectors of the Sides of a Triangle
Tools Needed: paper, pencil, compass, ruler
1. Draw a scalene triangle.
2. Construct the perpendicular bisector for all three sides.
The three perpendicular bisectors all intersect at the same point, called the circumcenter.
Circumcenter: The point of concurrency for the perpendicular bisectors of the sides of a triangle.
3. Erase the arc marks to leave only the perpendicular bisectors. Put the pointer of your compass on the circumcenter. Open the compass so that the pencil is on one of the vertices. Draw a circle. What happens?
The circumcenter is the center of a circle that passes through all the vertices of the triangle. We say that this circle circumscribes the triangle. This means that the circumcenter is equidistant to the vertices.
Concurrency of Perpendicular Bisectors Theorem: The perpendicular bisectors of the sides of a triangle intersect in a point that is equidistant from the vertices.
If
Example A
Find
From the markings, we know that
To find the length of
Example B
a) Which segments are equal?
b) Find
c) Is
Answer:
a)
b)
c) Yes,
Example C
For further exploration, try the following:
 Cut out an acute triangle from a sheet of paper.
 Fold the triangle over one side so that the side is folded in half. Crease.
 Repeat for the other two sides. What do you notice?
The folds (blue dashed lines)are the perpendicular bisectors and cross at the circumcenter.
Watch this video for help with the Examples above.
CK12 Foundation: Chapter5PerpendicularBisectorsB
Concept Problem Revisited
The center of the circle will be the circumcenter of the triangle formed by the three bones. Construct the perpendicular bisector of at least two sides to find the circumcenter. After locating the circumcenter, the archeologist can measure the distance from each bone to it, which would be the radius of the circle. This length is approximately 4.7 meters.
Vocabulary
Perpendicular lines are lines that meet at right (
Guided Practice
1. Find the value of
2. Determine if \begin{align*}\overleftrightarrow{S T}\end{align*}
Answers:
1. By the Perpendicular Bisector Theorem, both segments are equal. Set up and solve an equation.
\begin{align*}x+6 &=22\\ x &=16\end{align*}
2. \begin{align*}\overleftrightarrow{S T}\end{align*}
Practice

\begin{align*}m\end{align*}
m is the perpendicular bisector of \begin{align*}\overline{AB}\end{align*}AB¯¯¯¯¯ . List all the congruent segments.
 Is \begin{align*}C\end{align*}
C on \begin{align*}\overline{AB}\end{align*}AB¯¯¯¯¯ ? Why or why not?  Is \begin{align*}D\end{align*}
D on \begin{align*}\overline{AB}\end{align*}AB¯¯¯¯¯ ? Why or why not?
For Question 2, determine if \begin{align*}\overleftrightarrow{ST}\end{align*}
For Questions 37, consider line segment \begin{align*}\overline{AB}\end{align*}
 Find the slope of \begin{align*}AB\end{align*}
AB .  Find the midpoint of \begin{align*}AB\end{align*}
AB .  Find the equation of the perpendicular bisector of \begin{align*}AB\end{align*}
AB .  Find \begin{align*}AB\end{align*}
AB . Simplify the radical, if needed.  Plot \begin{align*}A, B\end{align*}
A,B , and the perpendicular bisector. Label it \begin{align*}m\end{align*}m . How could you find a point \begin{align*}C\end{align*}C on \begin{align*}m\end{align*}m , such that \begin{align*}C\end{align*}C would be the third vertex of equilateral triangle \begin{align*}\triangle ABC\end{align*}△ABC ? You do not have to find the coordinates, just describe how you would do it.
For Questions 812, consider \begin{align*}\triangle ABC\end{align*}
 Find the midpoint and slope of \begin{align*}\overline{AB}\end{align*}
AB¯¯¯¯¯ and use them to draw the perpendicular bisector of \begin{align*}\overline{AB}\end{align*}AB¯¯¯¯¯ . You do not need to write the equation.  Find the midpoint and slope of \begin{align*}\overline{BC}\end{align*}
BC¯¯¯¯¯ and use them to draw the perpendicular bisector of \begin{align*}\overline{BC}\end{align*}BC¯¯¯¯¯ . You do not need to write the equation.  Find the midpoint and slope of \begin{align*}\overline{AC}\end{align*}
AC¯¯¯¯¯ and use them to draw the perpendicular bisector of \begin{align*}\overline{AC}\end{align*}AC¯¯¯¯¯ . You do not need to write the equation.  Are the three lines concurrent? What are the coordinates of their point of intersection (what is the circumcenter of the triangle)?
 Use your compass to draw the circumscribed circle about the triangle with your point found in question 11 as the center of your circle.
 Fill in the blanks: There is exactly _________ circle which contains any __________ points.
 Fill in the blanks of the proof of the Perpendicular Bisector Theorem.
Given: \begin{align*}\overleftrightarrow{CD}\end{align*}
Prove: \begin{align*}\overline{AC} \cong \overline{CB}\end{align*}
Statement  Reason 

1.  
2. \begin{align*}D\end{align*} is the midpoint of \begin{align*}\overline{AB}\end{align*}  
3.  Definition of a midpoint 
4. \begin{align*}\angle CDA\end{align*} and \begin{align*}\angle CDB\end{align*} are right angles  
5. \begin{align*}\angle CDA \cong \angle CDB\end{align*}  
6.  Reflexive PoC 
7. \begin{align*}\triangle CDA \cong \triangle CDB\end{align*}  
8. \begin{align*}\overline{AC} \cong \overline{CB}\end{align*} 
 Write a two column proof.
Given: \begin{align*}\triangle ABC\end{align*} is a right isosceles triangle and \begin{align*}\overline{BD}\end{align*} is the \begin{align*}\bot\end{align*} bisector of \begin{align*}\overline{AC}\end{align*}
Prove: \begin{align*}\triangle ABD\end{align*} and \begin{align*}\triangle CBD\end{align*} are congruent.
circumcenter
The circumcenter is the point of intersection of the perpendicular bisectors of the sides in a triangle.perpendicular bisector
A perpendicular bisector of a line segment passes through the midpoint of the line segment and intersects the line segment at .Perpendicular Bisector Theorem Converse
If a point is equidistant from the endpoints of a segment, then the point is on the perpendicular bisector of the segment.Image Attributions
Description
Learning Objectives
Here you'll learn what a perpendicular bisector is and the Perpendicular Bisector Theorem, which states that if a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of the segment.