Midsegments, Bisectors & Triangle Inequalities
Master triangle midsegments, perpendicular and angle bisector equidistance, the centroid 2:1 median ratio, and the triangle inequality with side-angle ordering.
What you'll do in this lesson
A voice-first session with the Crimsora tutor on Midsegments, Bisectors & Triangle Inequalities, then targeted practice and FRQs — with the tutor adapting to where you get stuck.
What this lesson covers
A triangle has a surprising amount of hidden structure inside it. Connect two midpoints and you get a segment that is automatically parallel to the third side and exactly half as long. Draw the perpendicular bisector of a side and every point on it is the same distance from the two endpoints. Draw all three medians and they cross at one point that always sits two-thirds of the way from each vertex. And before any of that, the three side lengths have to cooperate at all — not every trio of numbers can close into a triangle.
This lesson pulls those facts together into one toolkit. You will learn what each theorem actually claims, how to set up the equation it gives you, and how to decide quickly whether a described triangle can exist and how to rank its sides and angles from smallest to largest.
This lesson pulls those facts together into one toolkit. You will learn what each theorem actually claims, how to set up the equation it gives you, and how to decide quickly whether a described triangle can exist and how to rank its sides and angles from smallest to largest.
The Triangle Midsegment Theorem
A midsegment of a triangle is a segment whose endpoints are the midpoints of two sides. Every triangle has exactly three of them.
The Triangle Midsegment Theorem makes two claims at once. If is the midpoint of and is the midpoint of , then and .
The parallel part is often the more useful half. Because , any transversal creates corresponding angles you can use in a proof — for example . The length part gives you an equation whenever the problem labels both segments with expressions.
A very common mistake is setting the two expressions equal to each other. The midsegment is the short one, so write either or, to avoid fractions, . Before you write it, identify which segment connects the midpoints — that one is half.
Drawing all three midsegments splits the triangle into four congruent smaller triangles, each similar to the original with ratio . That means the midsegment triangle has half the perimeter of the original and one-fourth its area.
The Triangle Midsegment Theorem makes two claims at once. If is the midpoint of and is the midpoint of , then and .
The parallel part is often the more useful half. Because , any transversal creates corresponding angles you can use in a proof — for example . The length part gives you an equation whenever the problem labels both segments with expressions.
A very common mistake is setting the two expressions equal to each other. The midsegment is the short one, so write either or, to avoid fractions, . Before you write it, identify which segment connects the midpoints — that one is half.
Drawing all three midsegments splits the triangle into four congruent smaller triangles, each similar to the original with ratio . That means the midsegment triangle has half the perimeter of the original and one-fourth its area.
| Situation | Equation to write |
|---|---|
| Midsegment , third side | |
| Midsegment , third side | |
| Third side , find midsegment |
Equidistance: Perpendicular Bisectors and Angle Bisectors
Two different bisectors give two different kinds of "equally far away."
The Perpendicular Bisector Theorem says that if a point lies on the perpendicular bisector of a segment, it is equidistant from the segment's endpoints. The converse is also true: if a point is equidistant from the endpoints, it lies on the perpendicular bisector. So if is on the perpendicular bisector of , then , and you can set two expressions equal.
The Angle Bisector Theorem (the equidistance version) says that a point on the bisector of an angle is equidistant from the two sides of the angle. Distance to a side means the perpendicular distance, so the picture always shows two little right angles. Its converse holds too: a point inside the angle equidistant from both sides lies on the bisector.
Where students go wrong is mixing up what is being measured. Perpendicular bisector: distance from a point to two points. Angle bisector: distance from a point to two lines, measured perpendicular.
Each type is concurrent — all three meet at a single point.
The circumcenter can fall outside the triangle when the triangle is obtuse; the incenter is always inside. Because the circumcenter is the same distance from all three vertices, it is the center of the circle through them, and the incenter is the center of the circle tangent to all three sides.
The Perpendicular Bisector Theorem says that if a point lies on the perpendicular bisector of a segment, it is equidistant from the segment's endpoints. The converse is also true: if a point is equidistant from the endpoints, it lies on the perpendicular bisector. So if is on the perpendicular bisector of , then , and you can set two expressions equal.
The Angle Bisector Theorem (the equidistance version) says that a point on the bisector of an angle is equidistant from the two sides of the angle. Distance to a side means the perpendicular distance, so the picture always shows two little right angles. Its converse holds too: a point inside the angle equidistant from both sides lies on the bisector.
Where students go wrong is mixing up what is being measured. Perpendicular bisector: distance from a point to two points. Angle bisector: distance from a point to two lines, measured perpendicular.
Each type is concurrent — all three meet at a single point.
| Three of these... | Meet at the... | That point is equidistant from... |
|---|---|---|
| Perpendicular bisectors of the sides | Circumcenter | The three vertices |
| Angle bisectors | Incenter | The three sides |
| Medians | Centroid | (balance point, not equidistant) |
Medians and the Centroid 2:1 Ratio
A median joins a vertex to the midpoint of the opposite side. Do not confuse it with a midsegment: a median touches a vertex, a midsegment touches two midpoints and no vertex. Do not confuse it with an altitude either — a median hits the midpoint, an altitude hits perpendicularly, and those are the same segment only in special cases like the legs of an isosceles triangle drawn to the base.
The three medians are concurrent at the centroid, and the centroid cuts each median in a ratio measured from the vertex. If is the centroid on median , thenThe two errors that show up over and over: using instead of , and measuring the long piece from the midpoint instead of from the vertex. Say it out loud each time — the long piece is next to the vertex.
A quick check: if a median is 18 units long, the pieces are 12 and 6. Notice and . Any answer you get should pass both of those tests.
In coordinate geometry, the centroid is the average of the vertices:Physically, the centroid is the balance point of a triangular sheet of uniform material, which is why it is sometimes called the center of gravity.
The three medians are concurrent at the centroid, and the centroid cuts each median in a ratio measured from the vertex. If is the centroid on median , thenThe two errors that show up over and over: using instead of , and measuring the long piece from the midpoint instead of from the vertex. Say it out loud each time — the long piece is next to the vertex.
A quick check: if a median is 18 units long, the pieces are 12 and 6. Notice and . Any answer you get should pass both of those tests.
In coordinate geometry, the centroid is the average of the vertices:Physically, the centroid is the balance point of a triangular sheet of uniform material, which is why it is sometimes called the center of gravity.
Triangle Inequality and Ordering Sides and Angles
The Triangle Inequality Theorem says the sum of the lengths of any two sides must be greater than the third side. For sides , , all three statements must hold:In practice you only need to check one: add the two smallest lengths and compare to the largest. If that works, the other two are automatic. For 8, 9, and 16, check , so the triangle exists. For 4, 5, and 10, , so no triangle is possible — the two short sides cannot reach across.
When two sides are known and the third is unknown, the possible values form a range:So with sides 7 and 12, the third side satisfies . The inequalities are strict; or would flatten the triangle into a straight segment.
The side-angle relationship connects size to position: the longest side is opposite the largest angle, and the shortest side is opposite the smallest angle. The converse holds as well. To order angles when you know the sides, list the sides in order and then name the angle across from each. A frequent slip is pairing a side with the angle that touches it instead of the angle facing it. Mark the triangle: draw an arrow from each side straight across to the opposite vertex before you rank anything.
When two sides are known and the third is unknown, the possible values form a range:So with sides 7 and 12, the third side satisfies . The inequalities are strict; or would flatten the triangle into a straight segment.
The side-angle relationship connects size to position: the longest side is opposite the largest angle, and the shortest side is opposite the smallest angle. The converse holds as well. To order angles when you know the sides, list the sides in order and then name the angle across from each. A frequent slip is pairing a side with the angle that touches it instead of the angle facing it. Mark the triangle: draw an arrow from each side straight across to the opposite vertex before you rank anything.
Key terms
- Midsegment.
- A segment connecting the midpoints of two sides of a triangle; it is parallel to the third side and half its length.
- Median of a triangle.
- A segment from a vertex to the midpoint of the opposite side. Every triangle has three.
- Centroid.
- The point where the three medians meet. It divides each median in a 2:1 ratio, with the longer piece touching the vertex.
- Perpendicular bisector.
- A line perpendicular to a segment through its midpoint. Every point on it is equidistant from the segment's endpoints.
- Circumcenter.
- The concurrency point of the three perpendicular bisectors; it is equidistant from the triangle's three vertices.
- Incenter.
- The concurrency point of the three angle bisectors; it is equidistant from the triangle's three sides.
- Triangle Inequality Theorem.
- The sum of any two side lengths of a triangle must be greater than the remaining side length.
- Equidistant.
- The same distance from two objects. Distance to a point is measured directly; distance to a line is measured along a perpendicular.
Worked example
In triangle , is the midpoint of and is the midpoint of , with and . (a) Find and the length of . (b) Median has length 27 and meets the other medians at centroid . Find and . (c) If and , list the sides of triangle from shortest to longest.
Part (a). Because and are midpoints of two sides, is a midsegment, so . Substitute: . Distribute to get . Subtract : , so . Then , and as a check , which is indeed half of 42.
Part (b). The centroid splits each median in a ratio from the vertex, so and . Check both conditions: and . Correct.
Part (c). First find the missing angle using the angle sum: . Order the angles from smallest to largest: , , . Now name the side opposite each. Opposite is ; opposite is ; opposite is . So from shortest to longest: , , .
Notice the answers stay consistent — is the longest side and it faces the largest angle.
Part (b). The centroid splits each median in a ratio from the vertex, so and . Check both conditions: and . Correct.
Part (c). First find the missing angle using the angle sum: . Order the angles from smallest to largest: , , . Now name the side opposite each. Opposite is ; opposite is ; opposite is . So from shortest to longest: , , .
Notice the answers stay consistent — is the longest side and it faces the largest angle.
Practice questions
Which set of lengths can be the three sides of a triangle?
- 4, 5, 10
- 6, 7, 13
- 8, 9, 16
- 3, 3, 7
Answer: 8, 9, 16
Add the two smaller lengths and compare with the largest. For 8, 9, 16: , so a triangle is possible. The others fail: ; , which only equals 13 and would collapse into a straight segment (the inequality must be strict); . Equality cases like 6, 7, 13 are a common wrong answer because the numbers look close enough — but a degenerate 'triangle' with zero height is not a triangle.
In triangle , , , and . List the angles of the triangle from smallest to largest, and explain your reasoning.
Answer: , then , then .
The smallest angle sits opposite the shortest side. Match each side with the vertex it faces: is opposite , is opposite , and is opposite . Ordering the sides gives the angle order . The frequent error is pairing a side with an angle at one of its own endpoints; always trace from the side straight across to the opposite vertex.
In triangle , point is the centroid and is the median from to side . If , find and . Then, if and are the midpoints of and and , find .
Answer: , , and .
The centroid divides the median in a ratio with the long piece touching the vertex, so . The whole median is , which matches . For the second part, joins the midpoints of two sides, so it is a midsegment parallel to with . Watch that you halve for the midsegment but use thirds for the centroid — swapping those fractions is the most common slip in this type of problem.
FAQ
- What is the difference between a midsegment and a median?
- A midsegment connects the midpoints of two sides and never touches a vertex; it is parallel to the third side and half as long. A median goes from a vertex to the midpoint of the opposite side. Midsegments give you the relationship; medians give you the centroid's ratio.
- Do I have to check all three inequalities to see if a triangle exists?
- No. Add the two shortest sides and compare their sum to the longest side. If the sum is greater, all three inequalities hold automatically, since the longest side plus anything positive already exceeds either shorter side. Just remember the comparison must be strictly greater — equality gives a flat, degenerate figure, not a triangle.
- Why is the centroid ratio 2:1 and not 1:1?
- The medians do not cut each other in half. Each median is divided so that the piece from the vertex is twice the piece from the midpoint, which places the centroid two-thirds of the way down from every vertex. That single point is the triangle's balance point. Practically, if a median measures 30, the pieces are 20 and 10.
- How do I tell when to use the perpendicular bisector theorem versus the angle bisector theorem?
- Look at what the equal distances connect. If a point is the same distance from two endpoints of a segment, that is the perpendicular bisector situation. If a point is the same perpendicular distance from two sides of an angle — you will see right angle marks where the distances meet the sides — that is the angle bisector situation. The concurrency points follow the same logic: circumcenter for vertices, incenter for sides.
Learn this with a teacher, not a page
The Crimsora tutor teaches Midsegments, Bisectors & Triangle Inequalities live — explaining on a whiteboard, asking you questions, and adapting to where you get stuck.