Segment Proofs- Complete Examples and Explanations
What Segment Proofs Actually Are
A segment proof is a logical argument that shows why a relationship between line segments is true. You're not guessing. You're not estimating. You're constructing a step-by-step deduction based on definitions, postulates, and previously proven theorems.
In geometry, a "segment" is just a piece of a line with two endpoints. When you prove something about segments, you're usually proving they are equal, that one is bisected, or that some relationship exists between their lengths.
That's it. Nothing mystical about it.
The Postulates You Actually Need
Most segment proofs rely on a handful of postulates. You can memorize 20, but you'll only use about 5 regularly.
- Segment Addition Postulate: If B is between A and C, then AB + BC = AC. This is the workhorse of nearly every segment proof.
- Definition of Midpoint: M is the midpoint of segment AC if M lies on AC and AM = MC.
- Definition of Segment Bisector: A line, ray, or segment that cuts a segment into two equal parts.
- Reflexive Property: Any segment is equal to itself (AB = AB). Used constantly.
- Symmetric Property: If AB = CD, then CD = AB.
- Transitive Property: If AB = CD and CD = EF, then AB = EF. This one shows up in the trickiest problems.
- Substitution Property: If two quantities are equal, you can swap one for the other.
Three Proof Formats You Should Know
Different teachers prefer different formats. Here's what you're dealing with:
| Format | Best For | Drawback |
|---|---|---|
| Two-Column | Standard classwork, clear organization | Can feel mechanical |
| Paragraph | Written exams, proofs with lots of explanation | Harder to check for logic gaps |
| Flowchart | Visual learners, seeing dependencies | Takes up more space |
Two-column proofs are the standard in most geometry courses. Get comfortable with them.
Complete Example #1: Proving Two Segments Are Equal
Given: M is the midpoint of AB. N is the midpoint of BC. AB = BC.
Prove: AM = NC
Here's the two-column proof:
| Statement | Reason |
|---|---|
| 1. M is the midpoint of AB | Given |
| 2. AM = MB | Definition of midpoint |
| 3. N is the midpoint of BC | Given |
| 4. BN = NC | Definition of midpoint |
| 5. AB = BC | Given |
| 6. AM + MB = AB | Segment Addition Postulate |
| 7. BN + NC = BC | Segment Addition Postulate |
| 8. AM + MB = BN + NC | Substitution (using steps 5, 6, 7) |
| 9. AM + AM = AM + AM | Substitution (using 2 and 4) |
| 10. AM = NC | Subtraction property |
The key move here is recognizing that once you know AM = MB and BN = NC, and AB = BC, you can substitute your way to AM = NC.
Complete Example #2: Proving a Segment Bisector
Given: Point M is on segment AC. AM = MC. Point N is on segment BC. BN = ND.
Prove: N is the midpoint of segment BD
| Statement | Reason |
|---|---|
| 1. M is on AC and AM = MC | Given |
| 2. M is the midpoint of AC | Definition of midpoint |
| 3. N is on BD and BN = ND | Given |
| 4. N is the midpoint of BD | Definition of midpoint |
This one is straightforward because the given information directly matches the definition you need to prove. Sometimes teachers throw these in to test if you actually know the definition.
Complete Example #3: Using the Transitive Property
Given: AC = DF. AC = AB + BC. DF = DE + EF. AB = DE.
Prove: BC = EF
| Statement | Reason |
|---|---|
| 1. AC = DF | Given |
| 2. AC = AB + BC | Given |
| 3. DF = DE + EF | Given |
| 4. AB = DE | Given |
| 5. AB + BC = DE + EF | Substitution (1, 2, 3) |
| 6. DE + BC = DE + EF | Substitution (4 into 5) |
| 7. BC = EF | Subtraction property |
The transitive property chains things together. You build a bridge from BC to EF through shared connections. This is one of the most common patterns you'll see in harder problems.
Getting Started: Your Proof-Writing Process
Follow this sequence every time:
Step 1: Extract the Given Information
Write down every piece of information exactly as stated. Don't rephrase yet. Don't interpret. Just copy it down.
Step 2: Identify What You're Proving
The last line of your proof is your destination. Know where you're going before you start walking.
Step 3: Work Backward
Ask yourself: "What would be true right before the statement I'm trying to prove?" This often reveals the missing link in your proof.
Step 4: List Available Tools
Check your given information against your postulates and definitions. Do you have midpoints? Equal segments? Something between two points? Each piece of given information is a potential tool.
Step 5: Build the Chain
Connect your given information to your conclusion using properties (reflexive, symmetric, transitive) and postulates. Each statement needs a reason.
Step 6: Check for Gaps
Every statement needs a reason. If you have a statement without a justification, you don't have a proof yet.
Common Mistakes That Kill Proofs
- Assuming what you're trying to prove. You can't use the conclusion as a reason in its own proof. That's circular reasoning and instructors will catch it immediately.
- Skipping the Segment Addition Postulate. Students try to jump straight from "B is between A and C" to "AB = AC." That's wrong. You need the postulate to make that connection.
- Confusing a definition with a property. The definition of midpoint tells you what a midpoint IS. The properties (reflexive, symmetric, transitive) tell you how to manipulate equalities. They serve different purposes.
- Using the transitive property incorrectly. You can only say A = C if you know A = B AND B = C. You need both conditions. One equality doesn't give you a chain.
- Writing reasons that are too vague. "Because it is" isn't a reason. "Definition of midpoint" or "Given" are reasons. Be specific.
What Actually Matters
Segment proofs are exercises in logical deduction. The geometry is straightforward. The hard part is organizing your thoughts and knowing which property or postulate justifies each step.
Master the definitions. Know your properties cold. Practice recognizing which given information maps to which tool. That's the entire game.
Once you see the pattern—given information leads to definitions, definitions enable substitutions, substitutions chain through properties—you can prove almost any segment relationship they throw at you.