Intuition: Write Both the Original and Its Contrapositive — Then Choose Which to Prove

Most students pick a proof strategy by momentum — they start whichever direction feels natural in the first half-second, discover it is hard, and either push through or silently stall. A cleaner habit costs ten seconds and almost always picks the easier path: before starting the proof, write down both the original implication and its contrapositive, then decide which one to prove.

This is not about being fancy. It is about giving yourself two options to compare instead of one option to commit to. Comparison is cheap. Committing prematurely is expensive.

The habit, stated precisely

When faced with an implication P \Rightarrow Q:

On scratch paper, write: "P \Rightarrow Q" (the original).
On the next line, write: "\lnot Q \Rightarrow \lnot P" (the contrapositive).
Look at the two lines. Ask: which has the more useful hypothesis?
Prove the one with the more useful hypothesis.

That is the whole technique. The magic is in step 2 — forcing yourself to write the contrapositive explicitly, even before you think you need it. Once both versions are visible on the page, the comparison is almost automatic.

Why writing both matters more than thinking both

You might object: "I already know the contrapositive. Why do I need to write it down?"

Because the contrapositive is easy to imagine abstractly but hard to evaluate comparatively until you see the concrete version in front of you. Consider the statement:

If ab is irrational, then at least one of a, b is irrational.

Think of the contrapositive without writing it. Quick — is it easier or harder?

Now write the contrapositive: "If both a and b are rational, then ab is rational." Suddenly the comparison is stark. The contrapositive has concrete hypotheses — rational numbers are closed under multiplication, trivial one-liner. The original has an abstract hypothesis (irrational product, which requires a delicate proof-by-contradiction-style argument).

The point is not that your brain could not have figured this out abstractly. It is that the written comparison is instant, while the abstract comparison is slow and error-prone. Writing forces you to stop guessing and start seeing.

A concrete example of the habit in action

Problem. Prove: "If n^2 + 1 is even, then n is odd."

Step 1. Write the two versions.

Original: n^2 + 1 \text{ even} \Rightarrow n \text{ odd}.
Contrapositive: n \text{ even} \Rightarrow n^2 + 1 \text{ odd}.

Step 2. Audit both hypotheses.

Original hypothesis: "n^2 + 1 is even" means n^2 + 1 = 2k, so n^2 = 2k - 1. Extracting n requires a square root of an odd number. Messy.
Contrapositive hypothesis: "n is even" means n = 2m. Clean, ready to square.

Step 3. The contrapositive's hypothesis is much better. Prove that.

n = 2m, so n^2 = 4m^2, so n^2 + 1 = 4m^2 + 1 = 2(2m^2) + 1, which is odd. Done.

Step 4. Conclude. The contrapositive is proved, so the original holds. n^2 + 1 even \Rightarrow n odd. \square

Had you committed to the direct proof without looking at the contrapositive, you would have spent five minutes trying to extract n from n^2 = 2k - 1. Writing the contrapositive first saved you from that dead end.

The two-column comparison visual

Writing both versions side by side makes the comparison visible. Drag the dot to imagine a problem where one or the other column has the concrete hypothesis. Whichever column wins, prove *that* version. The ten seconds of writing saves you from committing to the wrong one.

What to look for in the comparison

When you have the two versions written down, here are the things to compare:

Which hypothesis has a concrete algebraic form? "n is odd" beats "n^2 is odd" because n = 2k + 1 squares cleanly, while n^2 = 2k + 1 does not un-square cleanly.
Which hypothesis has an affirmative form? "a is a non-zero integer" is easier to work with than "a does not have property X" in general. Negative conditions are harder unless they unpack via De Morgan or similar moves.
Which conclusion is easier to reach? If one version's conclusion is "something is even" and the other is "something is non-zero," the even version is usually easier because "even" has a specific form (2m) and "non-zero" is a negative statement.
Which version has simpler quantifiers? "There exists an x such that..." is harder to prove than "for all x..." when you do not know the witness. Taking the contrapositive can turn existential hypotheses into universal ones or vice versa.

A quick template for your scratch paper

When you sit down to prove an implication, start your scratch work with this three-line header:

Original:        P ⇒ Q
                 (fill in P and Q in words)
Contrapositive:  ¬Q ⇒ ¬P
                 (fill in the negations in words)
Choose:          ____

The fourth line forces you to pause and commit. You have to explicitly write "direct" or "contrapositive" before you proceed. That one word prevents the most common mistake in proof writing: starting a direct proof you cannot finish because you never asked whether the contrapositive would be easier.

Applying the template

Problem. Prove: "If x^2 is irrational, then x is irrational."

Scratch paper:

Original:        x² irrational ⇒ x irrational
Contrapositive:  x rational ⇒ x² rational
Choose:          contrapositive

Reasoning. "x rational" means x = p/q. Squaring: x^2 = p^2/q^2, which is a ratio of integers, hence rational. Clean one-liner.

The original hypothesis "x^2 is irrational" would give you nothing to compute with (irrationality is a negative property — it says x^2 is not a ratio of integers), whereas the negated conclusion "x is rational" immediately hands you a formula.

Proof (via contrapositive). Suppose x is rational, so x = p/q for integers p, q with q \neq 0. Then x^2 = p^2 / q^2, which is also a ratio of integers — hence rational. The contrapositive holds, so the original "if x^2 is irrational, then x is irrational" holds. \square

Result. x^2 irrational \Rightarrow x irrational.

Notice how the scratch paper header did the heavy lifting. By the time you started writing the actual proof, the hard choice — direct vs. contrapositive — had already been made, transparently, in a way you could defend if a grader asked.

What this habit protects you from

Three common failure modes of proof writing:

Dead-end commitment. You start a direct proof, run into an un-usable hypothesis, and either push through with clunky algebra or silently give up. Having the contrapositive written down gives you a second option to switch to.

Working twice. You finish a direct proof, read it back, realise it was painful, and then try the contrapositive to check — effectively proving the theorem twice. Picking the easier version first saves half the work.

Unclear strategy. You try a mix of direct and contrapositive reasoning in the same proof and confuse the grader (and yourself) about which claim you are actually establishing. Picking a strategy upfront, in writing, keeps the proof clean.

The habit is cheap because the downside is zero

Writing the contrapositive costs ten seconds. If the contrapositive turns out to be harder than the original, you simply prove the original as planned — you have lost nothing. If the contrapositive turns out to be easier, you have saved yourself from a much bigger mistake. The worst case is break-even; the best case is huge. Habit economics like that are rare — take them.

The rule in one sentence

Write the original implication and its contrapositive side by side, audit which hypothesis is more concrete, then prove that version. The habit costs ten seconds and chooses the better of two paths almost every time.