Visual walkthrough — Equivalent fractions, simplifying fractions
We build every symbol before using it. Here are the only three we need:
Step 1 — Draw the whole and take of it
WHAT. Start with one whole bar. Cut it into equal parts. Shade of them. That shaded amount is the fraction .
WHY. Before we can prove two fractions are equal, we must be able to see what a fraction is: not a pair of numbers, but a shaded amount. The numbers and are just instructions for producing that shading.
PICTURE. Below, so the bar has equal cells; so are amber. The shaded strip is our fixed "amount" — remember its length, because the whole proof is this length never changing.

Step 2 — Re-cut every piece into smaller pieces
WHAT. Take the same bar and draw extra cuts inside each of the cells. No cell is added or removed — each is just chopped finer.
WHY. This is the only thing we are allowed to do. We are not eating any bar, not adding any bar — we are only relabelling how many cuts exist. Because we changed nothing physical, the shaded amount is forced to stay identical. That "forced to stay" is the heart of the whole idea.
PICTURE. Here : each of the big cells gets one extra cut, becoming thin cells. Watch the amber strip — its length has not moved a millimetre.

Step 3 — Count the new total pieces: the denominator becomes
WHAT. Count how many small cells the whole bar now has. Each of the big cells split into , so the total is .
WHY. We use multiplication here, not addition, and that choice is not arbitrary. " groups, each with items" is the exact definition of . Multiplication is the tool for "so-many-copies-of-the-same-size", which is precisely equal cutting.
PICTURE. big cells cuts each small cells. Count them in the figure.

Step 4 — Count the new shaded pieces: the numerator becomes
WHAT. Now count only the shaded small cells. Each shaded big cell also split into , and there were shaded big cells, so we now hold small shaded cells.
WHY. Same reasoning, applied only to the amber region: " shaded groups, each split into " . The same multiplies both counts — because we made the same cut everywhere. This is the secret reason numerator and denominator must be multiplied by the same number.
PICTURE. shaded big cells shaded small cells (amber), out of total.

Step 5 — Read both bars side by side: the amounts coincide
WHAT. Put the Step 1 bar above the Step 4 bar and align them. The amber strips end at exactly the same place.
WHY. Two fractions are equal precisely when they shade the same amount of the same whole. The pictures shade the same amount — so the fractions naming them must be equal. That is the whole proof, stated as a picture.
PICTURE. Top: . Bottom: . One dashed vertical line touches the right edge of both amber strips.

Step 6 — The algebra behind the picture (the view)
WHAT. We now say in symbols what the picture showed. The value of is the number obeying . Multiply that whole equation by : . So the same also fits denominator and numerator .
WHY. A picture convinces the eye; algebra convinces for every at once, including ones too big to draw. The tool we lean on is that ==multiplying by never changes a value== — and is just " small pieces make one big piece", i.e. Step 2 in symbols.
PICTURE. The bar labelled with = "size of one part" makes the equation visible: copies of the part-length stack up to the shaded amount -parts... and re-cutting scales both counts by while stays fixed.

Step 7 — Run it backwards: this is simplifying
WHAT. Read the arrow the other way. If a fraction already has cut-marks that group evenly — i.e. top and bottom share a common factor — you may erase those inner cuts, dividing both counts by .
WHY. Going forward (multiply) makes numbers bigger; going backward (divide) makes them smaller. Simplifying is literally the same picture played in reverse. You stop when no shared cut remains — that is when , the definition of lowest terms. Finding that largest shared is exactly the job of the GCD/HCF, often found via Prime factorisation.
PICTURE. Start at ; the small cells regroup into big cells (erase every 2nd cut, ), landing back at , which has no shared cut left.

Step 8 — The degenerate cases you must never trip on
WHAT & WHY. Every rule has edges. Here are all of them, each shown in the figure.
- (no new cuts). — you drew zero extra lines, so nothing changed. Harmless but useless.
- (forbidden). Slicing each piece into pieces would erase the bar; , which is undefined. This is exactly why the rule demands .
- (empty shading). shades nothing; cutting nothing finer still shades nothing: , still . Fine for any .
- The trap — adding instead of cutting. does not re-cut; it lengthens the bar and shifts the strip. See the last panel: but — a different amount. Only and preserve the shading.

The one-picture summary

One bar, one fixed shaded amount, three labels for it — going right (multiply, cut finer) and back left (divide, simplify). The amber never moves; only the number of tick-marks does.
Recall Feynman: the whole walkthrough in plain words
I've got a chocolate bar. I break it into equal chunks and grab of them — that grab is my fraction, and it's really just an amount of chocolate. Now I take the very same bar and score every chunk into thinner slivers. I didn't add chocolate or eat any — I only drew more lines. So now the whole has slivers and I'm holding of them, but it's the exact same handful of chocolate. That's why : same amount, more tick-marks. Play the film backwards — erase the extra lines — and you're simplifying: keep erasing shared cuts until none are left, and that's lowest terms. The one rule I must never break: I'm allowed to cut (multiply) or un-cut (divide) both counts by the same , but I'm never allowed to just add chocolate to the top and bottom — that moves where the shading ends, so it's a different amount entirely.
Recall Quick self-test
Why does multiply the top and the bottom by the same number? ::: Because the same cut is made in every cell — shaded cells and unshaded cells split into alike. What picture-fact makes obvious? ::: The shaded strip length never changes when you only add cut-lines. Why is banned? ::: Cutting each piece into pieces destroys the bar and gives the undefined . Simplifying is which direction of the film? ::: Backwards — dividing both counts by a shared factor until . Why does fail? ::: Adding lengthens the bar and shifts the shading; only keep the amount fixed.
Connections
- Equivalent fractions, simplifying fractions — the parent this page derives.
- Factors, multiples and GCD/HCF — the shared cut you divide out when simplifying.
- Prime factorisation — reliable route to the largest shared .
- Adding and subtracting fractions — uses the forward move to match denominators.
- Ratios and proportion — same "keep the ratio" principle as equal-cutting.
- Decimals and percentages — , , all equal
- Number Systems – rational numbers — each rational is one such bar in lowest terms.