Lesson 6.2 · Relationships in Triangles
Perpendicular and angle bisectors
Where should three towns build a shared water tower so it's the same distance from each? Where can you place the largest circular fountain inside a triangular plaza? Both questions are answered by bisectors: lines that cut a segment or an angle exactly in half. In this lesson you'll learn what makes the points on a bisector special, and where the bisectors of a triangle meet.
Perpendicular bisectors
A perpendicular bisector of a segment is a line (or ray or segment) that is perpendicular to the segment at its midpoint. Every point on it has a special property.
Why is ? Triangles and share side , have right angles at , and because is the midpoint. So by SAS, and because corresponding parts of congruent triangles are congruent.
Perpendicular Bisector Theorem and its converse
- Theorem: If a point is on the perpendicular bisector of a segment, then it is equidistant from the segment's endpoints.
- Converse: If a point is equidistant from the endpoints of a segment, then it is on the segment's perpendicular bisector.
So the perpendicular bisector of is exactly the set of all points that are the same distance from and .
Worked example: Equal distances with algebra
Point lies on the perpendicular bisector of . If and , find .
Solution. Points on the perpendicular bisector are equidistant from and , so :
. Check: .
Angle bisectors
An angle bisector is a ray that divides an angle into two congruent angles. The distance from a point to a line (or side) is always measured along the perpendicular segment, since that's the shortest path.
Here by AAS: both have a right angle, because is a bisector, and they share the hypotenuse . So .
Angle Bisector Theorem and its converse
- Theorem: If a point is on the bisector of an angle, then it is equidistant from the two sides of the angle.
- Converse: If a point in the interior of an angle is equidistant from the two sides, then it is on the angle's bisector.
Worked example: Distance to the sides
Point is in the interior of . The perpendicular distance from to is , and the perpendicular distance from to is . If bisects , how far is from each side?
Solution. By the Angle Bisector Theorem, the distances are equal:
The distance is units to each side.
Common mistake
"Distance to a side" always means the perpendicular distance. A slanted segment from to a side is longer than the perpendicular one, and the Angle Bisector Theorem says nothing about it. Look for the right-angle marks before you set two lengths equal.
Where the bisectors of a triangle meet
When three or more lines pass through one point, they are concurrent, and that point is the point of concurrency. A triangle's three perpendicular bisectors are always concurrent, and so are its three angle bisectors.
The circumcenter
Let be the point where the perpendicular bisectors of and cross. Then (from the first bisector) and (from the second). So , which puts on the third perpendicular bisector too. Because is the same distance from all three vertices, a circle centered at passes through , and .
Definition
Circumcenter
The circumcenter of a triangle is the point where its three perpendicular bisectors meet. It is equidistant from the three vertices, so it is the center of the circle that passes through all three vertices (the circumscribed circle).
The circumcenter is inside an acute triangle, at the midpoint of the hypotenuse of a right triangle, and outside an obtuse triangle.
Worked example: Finding a circumcenter with coordinates
Find the circumcenter of the triangle with vertices , and .
Solution. You only need two perpendicular bisectors.
- is horizontal with midpoint , so its perpendicular bisector is the vertical line .
- has midpoint and slope . The perpendicular slope is , so its bisector is .
Substitute : , so . The circumcenter is .
Check with the Distance Formula: , and . All equal.
The incenter
The same reasoning works for angle bisectors. The point where two angle bisectors meet is equidistant from all three sides, so it lies on the third bisector as well.
Definition
Incenter
The incenter of a triangle is the point where its three angle bisectors meet. It is equidistant from the three sides, so it is the center of the largest circle that fits inside the triangle (the inscribed circle). The incenter is always inside the triangle.
Worked example: Distances from the incenter
is the incenter of . The perpendicular from to meets it at , and . If , find . How far is from side ?
Solution. has a right angle at , with hypotenuse . By the Pythagorean Theorem,
The incenter is equidistant from all three sides, so its distance to is also .
Tip
Keep the two centers straight with their names: the circumcenter is tied to the circle around the triangle (through the vertices), and the incenter is tied to the circle inside (touching the sides).
Practice
Point lies on the perpendicular bisector of , and . What is ?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
A city wants to build a fire station that is the same distance from three neighborhoods, located at the vertices of a triangle. Which point should it use?
Point lies on the perpendicular bisector of . If and , what is ?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
bisects . If and , what is , in degrees?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
A right triangle has vertices , and . What are the coordinates of its circumcenter?
Enter a point like (2, -3)
is the incenter of . The perpendicular from to meets at . If and , what is ?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Where is the circumcenter of an obtuse triangle?
Find the circumcenter of the triangle with vertices , and .
Enter a point like (2, -3)