Visual walkthrough — Like and unlike terms — simplification
This page builds the single most important rule of like and unlike terms from the ground up — no rule memorised, everything seen. By the end you will know not just that , but why the picture forces it to be true, and why refuses to collapse.
We assume you know what a variable, constant and coefficient are. If not, read that first. Everything else, we build here.
Step 1 — What is a "term", really? (a box holding copies)
WHAT. A term like is just shorthand. The number in front — the coefficient — tells you how many copies of the letter-part you are holding.
WHY. Before we can add terms, we must agree what a term means. If literally means "three 's stacked together", then adding terms is just counting objects — the easiest thing in the world.
PICTURE. Below, each is a cyan bar of one unit. is three of those bars in a box.

Step 2 — Adding two terms of the SAME label
WHAT. Put the crate next to the crate . Both crates are labelled . Tip them into one crate.
WHY. Because both crates carry the identical label , the items are interchangeable — an from the left crate is the same object as an from the right crate. Counting them together is legal. We simply counted: .
PICTURE. Watch the two boxes merge. The number of bars is what changes; each bar stays exactly one tall — the label never mutates.

Step 3 — The same picture, written as algebra (distributive property)
WHAT. The picture in Step 2 is the distributive property running in reverse. Read it term by term:
WHY this tool and not another? We need one exact statement that says "a common factor can be pulled out front". That statement already exists in arithmetic — it is the distributive property, . We are not inventing a new rule for algebra; we are reusing the arithmetic one, because behaves like any ordinary number under and .
PICTURE. The shared factor is the common width of every bar. Pulling it out front is literally sliding the width outside a bracket.

Step 4 — Why REFUSES to combine (mismatched labels)
WHAT. Now the two crates carry different labels: one holds -bars, the other holds -bars. There is no single label to write on a merged crate.
WHY. The distributive property needs a common factor. In there is nothing shared: . Try to factor and you get — no single bracket, no simplification. The bars are different heights; you cannot count them as one pile.
PICTURE. Cyan -bars and amber -bars stand side by side. They never merge — different heights, different meaning.

Step 5 — Powers are labels too: vs
WHAT. means ; means . These are different-sized objects — a flat tile versus a cube. So and are unlike terms, exactly like and were.
WHY. The rule cares about the whole variable part, powers included. and share the letter , but not the power — so they are as different as a square and a cube. No common factor as a complete label means no merge.
PICTURE. An is drawn as a square tile; an as a cube. You can stack squares with squares, cubes with cubes — never mix.

Step 6 — Signs are part of the count (subtraction)
WHAT. A minus sign is not a separate operation floating between crates — it belongs to the term as a negative count. Rewrite subtraction as "adding a negative pile":
WHY. If we glue each sign onto its coefficient, then every combination becomes plain addition of signed counts — one uniform rule, no special cases. This is exactly how you will later move things across an equals sign in solving linear equations.
PICTURE. Two bars are removed (shown faded/struck) from a pile of five, leaving three.

Step 7 — Many labels at once (the full sorting picture)
WHAT. A real expression mixes labels. Simplify by sorting into labelled bins, then combining inside each bin only.
WHY. Sorting first guarantees you never accidentally merge across labels (Steps 4–5 warned us). Combining inside a bin is just Step 3 repeated. Writing in descending powers is the standard tidy form you will meet again in polynomials.
PICTURE. Three bins — square-tiles, bars, and plain constants — each with its own tally.

Step 8 — Degenerate cases: zero counts and a lonely constant
WHAT. Two edge cases the rule must survive:
- Coefficients cancel to zero: . An empty crate is just — the label vanishes with nothing to count.
- A constant has an invisible label : lives in its own bin because , and no other term here has that label, so it stays alone.
WHY. A good rule never breaks at its boundaries. Zero copies really means nothing there, and constants are simply terms with the empty variable part — so the same like-term rule already covers them; we invent nothing new.
PICTURE. An empty crate collapsing to , beside a solitary constant crate that finds no partner.

Recall Quick check: what is
? , leaving just . Answer :::
The one-picture summary
Everything above compresses into one diagram: sort by label → count inside each bin → labels with matching parts merge, mismatched labels stay apart.

Recall Feynman retelling — say it to a 12-year-old
Every term is a crate with a label and a count. The label is the letter-and-power part (, , , ...); the count is the number in front.
To simplify an expression, you sort the crates by label. Crates with the exact same label pour into one crate — you just add up their counts (minus signs mean "take some out"). If two counts cancel, the crate is empty, which is .
Crates with different labels — like vs , or vs — cannot mix, because there's no single label to write on a merged crate. So they stay side by side, unsimplified.
That's the whole rule: same label, merge the counts; different label, leave them alone. Constants are just crates with an empty label. Nothing else to it.
Connections
- 2.1.01-Variables-constants-and-coefficients — the label/count split starts here
- 2.2.01-Distributive-property — the engine behind Step 3
- 2.1.03-Addition-and-subtraction-of-algebraic-expressions — this rule in action, expression by expression
- 3.1.01-Solving-linear-equations-one-variable — signed counts (Step 6) power equation solving
- 4.1.01-Polynomials-introduction — sorting bins (Step 7) is polynomial standard form