# Segment Addition Postulate: Formula & Examples

The segment addition postulate states that if point B lies between points A and C on a line segment, then AB + BC = AC — the two shorter parts add to the whole. This article covers the definition, the formula, why "between" matters, how it finds a midpoint, how it powers two-column proofs, six worked examples, and the mistakes to avoid.

## What the Segment Addition Postulate States

The **segment addition postulate** states:

> **If point B lies between points A and C on a line segment, then AB + BC = AC.**

In words: when a point sits _between_ the two endpoints of a segment, it splits the segment into two parts whose lengths add to the length of the whole. The formula is simply

AB + BC = AC.

A **postulate** (also called an axiom) is a statement accepted as true without proof — it is one of the starting bricks of geometry, not something derived from earlier results. The segment addition postulate is one of those bricks, used to _build_ proofs rather than to _be_ proved. Here AB, BC, and AC are the lengths of the segments (non-negative numbers), and the points must be **collinear** — lying on one straight line — for the postulate to apply.

## Why "Between" Is the Word That Does the Work

The postulate only holds when B is genuinely _between_ A and C. Drop that condition and the equation breaks.

If B sits _outside_ the segment — past C, say — then the three points are still collinear, but now AB is the longest distance and AB + BC overshoots AC. The "between" requirement is what guarantees the two pieces tile the whole exactly once, with no overlap and no gap. So the postulate is really two claims bundled together: B is between A and C _if and only if_ AB + BC = AC. The equation is both a consequence of betweenness and a test for it.

## Finding a Midpoint With the Postulate

A **midpoint** is the point that splits a segment into two equal halves, and the segment addition postulate is how you pin it down. If B is the midpoint of AC, then B is between A and C _and_ the two halves are equal:

AB = BC and AB + BC = AC.

Combining these gives AB = BC = ½ AC. So a midpoint problem is just the addition postulate with the extra fact that the two pieces match — which turns a single equation into something you can solve for an unknown, as the examples below show.

## The Segment Addition Postulate in a Two-Column Proof

The postulate earns its place in geometry as a _reason_ line in proofs. When a proof needs to say "the whole equals the sum of its parts," this is the postulate cited.

| Step | Statement | Reason |
| --- | --- | --- |
| 1 | B is between A and C | Given |
| 2 | AB + BC = AC | Segment addition postulate |
| 3 | AB = 3x, BC = x + 4, AC = 16 | Given |
| 4 | 3x + (x + 4) = 16 | Substitution property |

The postulate supplies line 2 — the relationship between the parts and the whole — and substitution then turns it into an equation you can solve. This is the exact engine behind every "solve for x on a segment" problem.

## Examples of the Segment Addition Postulate

With the formula and the "between" condition fixed, here is the postulate in action. The problems build from a one-step add up to variable equations and a midpoint solve.

### Example 1

**Point B lies between A and C with AB = 7 and BC = 5. Find AC.**

By the segment addition postulate, the parts add to the whole:

AC = AB + BC = 7 + 5 = 12.

Final answer: AC = 12.

### Example 2

**On segment XZ, point Y lies between X and Z. XY = 14 and XZ = 9. Find YZ.**

A first instinct is to add the two given numbers: YZ = XY + XZ = 14 + 9 = 23. Check that against the picture. XZ is the _whole_ segment and XY is a _part_ of it, so the part (14) cannot be smaller than the whole (9) — except here it isn't smaller, it's larger, which already signals the setup is wrong. You don't add a part to the whole; you subtract the known part from the whole.

The postulate says XY + YZ = XZ, with XZ the total. Solve for the missing part:

YZ = XZ - XY = 9 - 14 = -5. A negative length is impossible, which tells you the given numbers can't describe Y _between_ X and Z at all. Final answer: no valid length — the "between" condition fails, which is exactly the check the postulate forces you to make.

### Example 3

**Point B is between A and C. AB = 2x, BC = x + 4, and AC = 31. Find x and the length BC.**

Apply the postulate, then substitute:

AB + BC = AC; ⇒ 2x + (x + 4) = 31.

Combine and solve:

3x + 4 = 31; ⇒ 3x = 27; ⇒ x = 9.

Then BC = x + 4 = 13. Final answer: x = 9 and BC = 13.

### Example 4

**On segment XZ, Y is between X and Z with XY = 8x - 11, YZ = 4x + 1, and XZ = 10x + 22. Find x.**

The two parts add to the whole:

(8x - 11) + (4x + 1) = 10x + 22. Simplify the left side and solve:

12x - 10 = 10x + 22; ⇒ 2x = 32; ⇒ x = 16. Final answer: x = 16. (A quick check: XY=117, YZ=65, sum 182, and XZ=182 — the parts match the whole.)

### Example 5

**B is the midpoint of AC. AB = 3x and BC = 5x - 8. Find x and the length AC.**

A midpoint makes the two halves equal, so set them equal first:

3x = 5x - 8; ⇒ 8 = 2x; ⇒ x = 4. Each half is 3(4) = 12, and by the postulate AC = AB + BC = 12 + 12 = 24. Final answer: x = 4 and AC = 24.

### Example 6

**Three points are collinear: B is between A and C, and C is between A and D. If AB = 5, BC = 7, and CD = 4, find AD.**

The postulate extends to more than one interior point. Working left to right, the whole AD is the sum of all the pieces between A and D:

AD = AB + BC + CD = 5 + 7 + 4 = 16. Final answer: AD = 16.

## Why the Segment Addition Postulate Matters

It looks almost too simple to need a name — but naming it is what lets it serve as a justified step in a proof, and that role reaches further than the number line.

- **It is the foundation of betweenness and proofs.** Geometry builds proofs from postulates, and this one supplies the "whole equals the sum of its parts" line that countless segment proofs rely on. Without it cited, a proof can't legally combine two part-lengths into the whole.
- **It defines midpoints and bisectors.** Every midpoint, every segment bisector, every "divide this into equal parts" construction is the addition postulate plus an equality condition. The whole machinery of dividing a segment rests on it.
- **It is coordinate geometry in disguise.** On a number line, the distance between coordinates is exactly the postulate at work: AB + BC = AC becomes |b - a| + |c - b| = |c - a| whenever b is between a and c. The distance formula generalizes this idea to the plane.
- **It scales surveying and navigation.** Measuring a long distance by breaking it into staged legs and adding them is the postulate applied to the physical world, where the "between" condition keeps the legs from overlapping.

For a Grade 7 to 9 student, this is often the first postulate that turns a picture into an algebra equation, which is why it anchors the start of the proof-and-reasoning unit.

## Where Students Trip Up on the Segment Addition Postulate

### Mistake 1: Adding when you should subtract (mixing up the whole and a part).

**Where it slips in:** A problem gives the whole segment and one part, and the student adds the two given numbers instead of subtracting to find the missing part.

**Don't do this:** Write YZ = XY + XZ when XZ is the _whole_ and XY is a _part_.

**The correct way:** Identify which length is the whole (the segment from end to end) and which are parts. Parts add to the whole, so a missing part is found by _subtracting_: YZ = XZ - XY.

### Mistake 2: Applying the postulate when the point isn't between the endpoints.

**Where it slips in:** A figure shows three collinear points but the middle-named point actually lies outside the segment, and the student writes AB + BC = AC anyway.

**Don't do this:** Assume any three collinear points satisfy the addition equation regardless of order.

**The correct way:** Confirm the point is genuinely _between_ the endpoints first. If B is outside AC, the postulate does not apply and a negative or contradictory length will appear — a signal, not an answer. The rusher who skips the betweenness check trusts the equation past the point where it's valid.

### Mistake 3: Forgetting the equal-halves condition on a midpoint.

**Where it slips in:** A midpoint problem is solved with the addition postulate alone, without using that the two halves are equal.

**Don't do this:** Treat a midpoint problem as an ordinary AB + BC = AC with no extra information.

**The correct way:** A midpoint adds the condition AB = BC. Set the two halves equal first, then use the postulate for the total length.

## Key Takeaways

- The **segment addition postulate** says if B is between A and C, then AB + BC = AC — the parts add to the whole.
- "Between" is the load-bearing word: the postulate applies only when the middle point lies inside the segment, and the equation doubles as a test for that.
- A missing _part_ is found by subtracting (BC = AC - AB), not by adding — the most common slip.
- A midpoint adds the condition that the two halves are equal, which is the equation you solve first.
- It is a postulate (accepted without proof) and serves as the "whole equals the sum of its parts" reason line in two-column proofs.