# 3.3: Indirect Proofs- Contradiction and Contraposition

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$

Suppose we are trying to prove that all thrackles are polycyclic1. A direct proof of this would involve looking up the definition of what it means to be a thrackle, and of what it means to be polycyclic, and somehow discerning a way to convert whatever thrackle’s logical equivalent is into the logical equivalent of polycyclic. As happens fairly often, there may be no obvious way to accomplish this task. Indirect proof takes a completely different tack. Suppose you had a thrackle that wasn’t polycyclic, and furthermore, show that this supposition leads to something truly impossible. Well, if it’s impossible for a thrackle to not be polycyclic, then it must be the case that all of them are. Such an argument is known as proof by contradiction.

Quite possibly the sweetest indirect proof known is Euclid’s proof that there are an infinite number of primes.

##### Theorem $$\PageIndex{1}$$

(Euclid) The set of all prime numbers is infinite.

Proof

Suppose on the contrary that there are only a finite number of primes. This finite set of prime numbers could, in principle, be listed in ascending order.

$$\{p_1, p_2, p_3, . . . , p_n\}) Consider the number \(N$$ formed by adding $$1$$ to the product of all of these primes.

$$N = 1 + \prod_{k=1}^{n} p_k$$

Clearly, $$N$$ is much larger than the largest prime $$p_n$$, so $$N$$ cannot be a prime number itself. Thus $$N$$ must be a product of some of the primes in the list. Suppose that $$p_j$$ is one of the primes that divides $$N$$. Now notice that, by construction, $$N$$ would leave remainder $$1$$ upon division by $$p_j$$. This is a contradiction since we cannot have both $$p_j |N$$ and $$p_j ∤ N$$.

Since the supposition that there are only finitely many primes leads to a contradiction, there must indeed be an infinite number of primes.

Q.E.D.

If you are working on proving a UCS and the direct approach seems to be failing you may find that another indirect approach, proof by contraposition, will do the trick. In one sense this proof technique isn’t really all that indirect; what one does is determine the contrapositive of the original conditional and then prove that directly. In another sense this method is indirect because a proof by contraposition can usually be recast as a proof by contradiction fairly easily.

The easiest proof I know of using the method of contraposition (and possibly the nicest example of this technique) is the proof of the lemma we stated in Section 1.6 in the course of proving that $$\sqrt{2}$$ wasn’t rational. In case you’ve forgotten, we needed the fact that whenever $$x^2$$ is an even number, so is $$x$$.

Let’s first phrase this as a UCS.

$$∀x ∈ \mathbb{Z}, x^2 \text{ even } \implies x \text{ even}$$

Perhaps you tried to prove this result earlier. If so you probably came across the conceptual problem that all you have to work with is the evenness of $$x^2$$ which doesn’t give you much ammunition in trying to show that $$x$$ is even. The contrapositive of this statement is:

$$∀x ∈ \mathbb{Z}, x \text{ not even } \implies x^2 \text{ not even }$$

Now, since $$x$$ and $$x^2$$ are integers, there is only one alternative to being even – so we can re-express the contrapositive as

$$∀x ∈ \mathbb{Z}, x \text{ odd } \implies x^2 \text{ odd }.$$

Without further ado, here is the proof:

##### Theorem $$\PageIndex{2}$$

$∀x ∈ \mathbb{Z}, x^2 \text{ even } \implies x \text{ even }$

Proof

This statement is logically equivalent to

$$∀x ∈ \mathbb{Z}, x \text{ odd } \implies x^2 \text{ odd }$$

Suppose that $$x$$ is a particular but arbitrarily chosen integer such that $$x$$ is odd. Since $$x$$ is odd, there is an integer $$k$$ such that $$x = 2k + 1$$. It follows that $$x^2 = (2k + 1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$$. Finally, we see that $$x^2$$ must be odd because it is of the form $$2m + 1$$, where $$m = 2k^2 + 2k$$ is clearly an integer.

Q.E.D.

The main problem in applying the method of proof by contradiction is that it usually involves “cleverness.” You have to come up with some reason why the presumption that the theorem is false leads to a contradiction – and this may or may not be obvious. More than any other proof technique, proof by contradiction demands that we use drafts and rewriting. After monkeying around enough that we find a way to reach a contradiction, we need to go back to the beginning of the proof and highlight the feature that we will eventually contradict! After all, we want it to look like our proofs are completely clear, concise and reasonable even if their formulation caused us some sort of Gordian-level mental anguish.

We’ll end this section with an example from Geometry.

##### Theorem $$\PageIndex{3}$$

Among all triangles inscribed in a fixed circle, the one with maximum area is equilateral.

Proof

We’ll proceed by contradiction. Suppose to the contrary that there is a triangle, $$\triangle ABC$$, inscribed in a circle having maximum area that is not equilateral. Since $$\triangle ABC$$ is not equilateral, there are two sides of it that are not equal. Without loss of generality, suppose that sides $$\overline{AB}$$ and $$\overline{BC}$$ have different lengths. Consider the remaining side ($$\overline{AC}$$) to be the base of this triangle. We can construct another triangle $$\triangle AB'C$$, also inscribed in our circle, and also having $$\overline{AC}$$ as its base, having a greater altitude than $$\triangle ABC$$ — since the area of a triangle is given by the formula $$\dfrac{bh}{2}$$ (where $$b$$ is the base, and $$h$$ is the altitude), this triangle’s area is evidently greater than that of $$\triangle ABC$$. This is a contradiction since $$\triangle ABC$$ was presumed to have maximal area.

We leave the actual construction $$\triangle AB'C$$ to the following exercise.

Q.E.D.

##### Practice

Where should we place the point $$B'$$ in order to create a triangle $$\triangle AB'C$$ having greater area than any triangle such as $$\triangle ABC$$ which is not isosceles?

## Exercises:

##### Exercise $$\PageIndex{1}$$

Prove that if the cube of an integer is odd, then that integer is odd.

##### Exercise $$\PageIndex{2}$$

Prove that whenever a prime $$p$$ does not divide the square of an integer, it also doesn’t divide the original integer. $$(p ∤ x^2 \implies p ∤ x)$$

##### Exercise $$\PageIndex{3}$$

Prove (by contradiction) that there is no largest integer.

##### Exercise $$\PageIndex{4}$$

Prove (by contradiction) that there is no smallest positive real number.

##### Exercise $$\PageIndex{5}$$

Prove (by contradiction) that the sum of a rational and an irrational number is irrational.

##### Exercise $$\PageIndex{6}$$

Prove (by contraposition) that for all integers $$x$$ and $$y$$, if $$x + y$$ is odd, then $$x \neq y$$.

##### Exercise $$\PageIndex{7}$$

Prove (by contraposition) that for all real numbers $$a$$ and $$b$$, if $$ab$$ is irrational, then $$a$$ is irrational or $$b$$ is irrational.

##### Exercise $$\PageIndex{8}$$

A Pythagorean triple is a set of three natural numbers, $$a$$, $$b$$ and $$c$$, such that $$a^2 + b^2 = c^2$$. Prove that, in a Pythagorean triple, at least one of $$a$$ and $$b$$ is even. Use either a proof by contradiction or a proof by contraposition.

##### Exercise $$\PageIndex{9}$$

Suppose you have $$2$$ pairs of positive real numbers whose products are $$1$$. That is, you have $$(a, b)$$ and $$(c, d)$$ in $$\mathbb{R}^2$$ satisfying $$ab = cd = 1$$. Prove that a < c implies that $$b > d$$.

This page titled 3.3: Indirect Proofs- Contradiction and Contraposition is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Joseph Fields.