THE LITTLE PROOF DETECTIVE AGENCY

Pick a “why?”
Bring a snack.

Eight new cases, from what an equation means to why Pythagoras works. No Lean or university mathematics required. Definitions first, then illustrated scenes and a moving diagram linked to each proof step.

A clear route, one story at a time.

Begin with the cake scale. If you have a saved place, continue from there.

Read the first story →

  1. 1. The cake scale conspiracy
  2. 2. The bakery with missing buns
  3. 3. The debt-eating pigeon
  4. 4. The missing two cake strips
  5. 5. The vanishing corridor
  6. 6. The triangle that lost a corner
  7. 7. Four triangles and one vacancy
  8. 8. The pigeon who built a square staircase

Records stay in this browser. Reading a story and explaining its reason are reflected on separately.

Choose a different story

What feels right today?

These are invitations, not a placement test. Every case stays available; you can change your mind.

New here? Start with The cake scale conspiracy. Like pictures? Try The triangle that lost a corner.

Middle-school ideas

The cake scale conspiracy

Pip removes the weights from just one side. The scales file a complaint.

x + 3 = 8 ⇒ x = 5

Open the case →
Middle-school ideas

The debt-eating pigeon

Erasing a debt feels like a bonus. But feelings are not yet a proof.

(−a)(−b) = ab

Open the case →
Middle-school ideas

The missing two cake strips

Pip bought a bigger square cake. Two whole strips have vanished from his invoice.

(a + b)² = a² + 2ab + b²

Open the case →
Middle-school ideas

The vanishing corridor

Two opposite corridors cancel. Pip has already booked both.

(a + b)(a − b) = a² − b²

Open the case →
Middle-school ideas

The triangle that lost a corner

Pip folds three corners into one straight queue. Nobody gets to jump the line.

α + β + γ = 180°

Open the case →
From middle-school ideas, one step further

The pigeon who built a square staircase

Pip adds one odd-shaped border each day. Mika discovers a square hiding in the stairs.

1 + 3 + 5 + ⋯ + (2n − 1) = n²

Open the case →

A bigger mystery is waiting

You do not have to finish this shelf first. Pick a connection whenever curiosity strikes.

I’m lost · Help

Mika’s help desk

Choose your first proof adventure

One thing at a time

Start with the cake-scale story. You only need to read one small piece at a time. If you are in the Fermat story, start with Story depth, then the words listed before the chapter.

In simpler words

You do not need to know Lean, symbols or university mathematics to begin. Definitions come first in the small stories.

A small clue

Look at the small example before the general formula. Ask what changed and what stayed the same.

Close this panel to return to the exact place you were reading. These are prepared hints for this page.

Start with the first small story →