Sometimes a direct proof gets stuck because the hypothesis gives you nothing to compute with. Knowing that "$n^{2}$ is even" does not hand you a formula for $n$. The fix uses an equivalence you already know: a conditional and its contrapositive are true together.
Idea clave
To prove $P \to Q$ by contrapositive, prove $\neg Q \to \neg P$ directly instead: assume $Q$ is false and show $P$ is false. Since $P \to Q \equiv \neg Q \to \neg P$, this proves the original statement.
Por qué funciona
The two statements have identical truth tables: each is false only when $P$ is true and $Q$ is false. So a proof of one is a proof of the other. The switch helps when $\neg Q$ is the easier starting point. "$n$ is not even" gives $n = 2k + 1$, something you can square and expand.
Worked examples
Ejemplo resuelto: If $n^{2}$ is even, then $n$ is even
Prove: for every integer $n$, if $n^{2}$ is even, then $n$ is even.
- Contrapositive: if $n$ is not even (odd), then $n^{2}$ is not even (odd).
- Assume $n$ is odd: $n = 2k + 1$. Then $n^{2} = 4k^{2} + 4k + 1 = 2(2k^{2} + 2k) + 1$.
- That is odd, so the contrapositive is proved, and with it the original statement.
Respuesta: Proved via: $n$ odd implies $n^{2} = 2(2k^{2} + 2k) + 1$ is odd.
Ejemplo resuelto: An "or" in the conclusion
Prove: for real numbers $x$ and $y$, if $x + y \ge 10$, then $x \ge 5$ or $y \ge 5$.
- Negate the conclusion with De Morgan: not ($x \ge 5$ or $y \ge 5$) is $x < 5$ and $y < 5$.
- Contrapositive: if $x < 5$ and $y < 5$, then $x + y < 10$.
- Adding the inequalities gives $x + y < 5 + 5 = 10$. Done.
Respuesta: Proved via: $x < 5$ and $y < 5$ give $x + y < 10$.
Ejemplo resuelto: A linear expression
Prove: if $3n + 5$ is odd, then $n$ is even.
- Contrapositive: if $n$ is odd, then $3n + 5$ is even.
- Let $n = 2k + 1$. Then $3n + 5 = 6k + 3 + 5 = 6k + 8 = 2(3k + 4)$.
- That is even, which proves the contrapositive.
Respuesta: Proved via $3n + 5 = 2(3k + 4)$ when $n$ is odd.
Error común
Proving the converse by accident. To prove "if $n^{2}$ is even, then $n$ is even," some students assume $n$ is even and show $n^{2}$ is even. That proves the converse $Q \to P$, a different statement (and here an easier, true one, which makes the slip hard to notice). Check: the contrapositive starts from the negation of the conclusion and ends at the negation of the hypothesis. Both parts get negated, and they swap places.