Two-World Split Screen — Watch the Negation World Collapse

Proof by contradiction is the most famously confusing proof technique for beginners — not because the logic is complicated, but because the moves happen inside an assumption that turns out to be false. You spend the whole proof manipulating something that, by the end, cannot exist. Watching it written out on a page, it is easy to lose track of why the conclusion follows.

A split-screen picture fixes the confusion. You run the argument in two parallel worlds and compare them.

World A. The statement is true. (This is where the mathematics lives.)
World B. The statement is false — its negation holds instead. (This is the hypothetical that proof by contradiction explores.)

You never prove anything about World A directly. Instead, you wander into World B, follow its rules, and watch it collapse into an internal contradiction — two facts it derives that cannot both be true. The collapse is what tells you that World B cannot exist, which forces you to accept that World A is the only world there is.

The setup

Pick any statement you want to prove. For concreteness, take the classic: "\sqrt{2} is irrational."

In World A, \sqrt{2} is irrational — full stop. No coordinates needed, no fractions to track.

In World B, \sqrt{2} is rational. That means there exist integers p and q with no common factor (fraction in lowest terms) and \sqrt{2} = p/q. In World B, you now have an object — the pair (p, q) — that you can manipulate with algebra.

Now watch what happens when you follow World B's rules.

The interactive: two worlds running side by side

Drag the slider below to step through the derivation. The left panel shows World A — where the statement holds and everything is quiet. The right panel shows World B — where you assume the negation, derive consequences, and eventually hit a wall. The wall is the contradiction.

step:

World A (green, left) stays quiet throughout — nothing to check. World B (right) begins with the negation and progressively derives consequences. The background tint drifts from yellow (hypothetical) through orange (tension) to red (collapse). At step 5 a jagged contradiction bolt cuts through the pane because the new row (both $p$ and $q$ even) fights the earlier row (lowest terms).

What the collapse means

A contradiction inside World B — an internal conflict between two of its own facts — is proof that World B cannot be a real place. The laws of logic forbid a consistent world from containing both "p and q share no common factor" and "p and q are both even." One or the other must be false. Since World B derived both from its founding assumption "\sqrt{2} is rational," the founding assumption is what fails.

Why the collapse proves the original claim: logic is bivalent — every proposition is either true or false, with no third option. "\sqrt{2} is rational" and "\sqrt{2} is irrational" are a true/false pair. If the first is shown to be impossible (because it generates contradictions), the second must be true. Proof by contradiction leverages this two-option structure: ruling out one option automatically confirms the other.

When the split screen is especially useful

Three classes of statement are where the two-world picture is almost indispensable:

Negative-existence claims — "there is no x such that \dots." Direct proof has nothing positive to build with. World B gives you an x to manipulate, and you watch its existence lead to contradiction.
Irrationality proofs — any "\alpha is irrational" claim. World B assumes \alpha = p/q and gives you a manipulable algebraic handle on an object that World A says does not exist.
Uniqueness claims — "there is only one x such that \dots." World B assumes two distinct x values with the property and derives that they must be equal, contradicting their distinctness.

In each case the pattern is identical: World A is silent, World B is chatty, and the chatter eventually trips over itself.

The habit to build

When you are about to attempt a proof by contradiction, draw two columns on your scratch paper. Write the statement in the left column ("the world where this holds — nothing to do yet") and the negation in the right column ("the world I am about to explore"). Work entirely in the right column. Every line you write is a consequence of the negation. Stop when two of those consequences conflict — and circle the conflict. That circle is the contradiction, and pointing to it is the final move of the proof.

The left column stays empty. That emptiness is the point. You prove World A by leaving it untouched while World B self-destructs.