Highlight the Contradiction Sentence — Point to the Exact Line

You can write a whole proof by contradiction, do every algebraic step correctly, and still fail the real test a teacher might give: circle the contradiction. For most students, that request produces a pause. The proof "worked" — something must have contradicted something — but pointing to the exact sentence where that happens is a different skill from running the mechanics.

This article takes the classic proof that \sqrt{2} is irrational, splits it line by line, and colour-codes each sentence by the role it plays. When the walkthrough ends, you should be able to put a finger on the sentence that is the contradiction, not just nod that one was there somewhere.

Four roles, four colours

Every line in a contradiction proof plays one of four roles:

Assumption (blue): the thing you are supposing for the sake of argument — the opposite of what you want to prove.
Derivation (grey): an ordinary step of algebra or definition that follows from the assumption.
Collision partner (yellow): a fact that was baked into the setup, often in the assumption itself, that the derivation is about to contradict.
Contradiction (red): the single sentence where the derivation and the collision partner both become true at once — an impossibility.

Exactly one line in a clean proof is red. Students often cannot find it because they are looking at the whole proof as "the contradiction." The contradiction is not the proof. It is one sentence inside it.

Walk the \sqrt{2} proof with colours on

Drag the slider to step through the proof. At each stage the next line appears and takes its colour. The red line is the sentence you would circle if someone asked you where is the contradiction.

Proof: Stage:

The blue sentence is what you assumed. The yellow sentence is the silent fact the algebra is about to violate. The grey sentences are ordinary deductions. The red sentence — the one you would circle — is where the grey line and the yellow line become simultaneously true, which is logically impossible. That red sentence is the contradiction.

The test: read a new proof, circle the red line

Try it on a proof you have not memorised. Here is the statement: there is no largest integer. One classical contradiction proof goes:

Suppose there is a largest integer N. Then N + 1 is also an integer (integers are closed under addition). But N + 1 > N, so N + 1 is a larger integer than N. This contradicts the supposition that N was largest.

Why this identification works: the blue sentence is "suppose there is a largest integer N." The yellow (collision partner) is the same sentence's hidden content — "nothing is bigger than N." The grey sentence is "N + 1 > N." And the red sentence is "N + 1 is a larger integer than N" — because that is where the grey derivation collides with the yellow assumption.

Notice how short the proof is and how easy it is to miss the red line if you are scanning fast. The line reads like an algebraic observation. But pair it with the assumption's hidden content and it becomes an impossibility — and that pairing is the contradiction.

Colour-code this proof yourself

Claim: \sqrt{3} is irrational.

Proof (abbreviated):

(a) Suppose \sqrt{3} = p/q with \gcd(p, q) = 1.

(b) Then p^2 = 3 q^2, so 3 divides p^2, so 3 divides p.

(d) Therefore 3 is a common factor of p and q.

Task: colour each sentence.

(a) is blue (assumption) — with a yellow collision partner baked in: "\gcd(p, q) = 1".
(b) and (c) are grey (derivation).
(d) is red (contradiction) — it says \gcd(p, q) \geq 3, which collides with "\gcd(p, q) = 1" from (a). That is the sentence to circle.

Key move: the red line is always the one that directly denies a part of the blue/yellow setup. Hunt for that denial.

Why students miss the red line

Two failure modes are common. The first is "the contradiction is the whole proof" — everything after the assumption blurs into one big objection. The fix is the colour legend above: exactly one sentence is red.

The second is "the contradiction is the last line of algebra" — students treat the step just before the conclusion as the contradictory one. But algebra alone does not contradict anything; it just rearranges symbols. The red line is the one that, read alongside the blue/yellow setup, names a logical impossibility in plain language. Often that line uses the word "contradicts," "hence both," "share a factor," or similar — a hinge word that glues the derivation to the assumption.

Make circling the red line part of your proof-reading habit. Over time, you will find that textbook proofs become shorter in your head — most of the lines are grey scaffolding, and the entire argument balances on one red sentence.