|
|
Proof by Contradiction

Proof by contradiction – or the contradiction method – is different to other proofs you may have seen up to this point. Instead of proving that a statement is true, we assume that the statement is false, which leads to a contradiction. What this requires is a statement which can either be true or false. If it is not, then we cannot use proof by contradiction.

Mockup Schule

Explore our app and discover over 50 million learning materials for free.

Proof by Contradiction

Illustration

Lerne mit deinen Freunden und bleibe auf dem richtigen Kurs mit deinen persönlichen Lernstatistiken

Jetzt kostenlos anmelden

Nie wieder prokastinieren mit unseren Lernerinnerungen.

Jetzt kostenlos anmelden
Illustration

Proof by contradiction – or the contradiction method – is different to other proofs you may have seen up to this point. Instead of proving that a statement is true, we assume that the statement is false, which leads to a contradiction. What this requires is a statement which can either be true or false. If it is not, then we cannot use proof by contradiction.

How to carry out proof by contradiction

To make this process clearer, let's think about the steps to achieve proof by contradiction:

Step 1: Take the statement, and assume that the contrary is true (i.e. assume the statement is false).

Step 2: Start an argument from the assumed statement and work it towards the conclusion.

Step 3: While doing so, you should reach a contradiction. This means that this alternative statement is false, and thus we can conclude that the original statement is true.

This may look tricky, so we will now look through some examples to get your head around this concept. These types of questions could all be in an exam, so it is important you are familiar with the style.

Proof by contradiction examples

Example 1: Proof of an infinite amount of prime numbers

Prove by contradiction that there are an infinite amount of primes.

Solution:

The first step is to assume the statement is false, that the number of primes is finite. Let's say that there are only n prime numbers, and label these from p1 to pn.

If there are infinite prime numbers, then any number should be divisible by at least one of these numbers.

Construct P, where we multiply all the prime numbers together and add 1, see above \(P = p_1p_2 ... p_n +1\). We then see that no prime will divide this number, as each of the primes divides P-1, and for a number to divide both P and P-1, the only possibility is one, which isn't prime. This means that P is a prime number, and as \(P > p_i \text{ for all } p_i\), this means there is a new prime, which means we now have a contradiction. This means that there must be an infinite number of prime numbers. QED

Example 2: Proof that 2 is irrational

Prove by contradiction that \(\sqrt{2}\) is irrational.

Solution:

Let us assume that \(\sqrt{2}\) is rational. This means that we can write \(\sqrt{2} = \frac{a}{b}\), with \(a, b \in \mathbb{Z}, b ≠ 0, gcd (a, b) = 1\). (Note - gcd stands for greatest common divisor). This means that \(\frac{a}{b}\) is a fraction in its lowest terms. Note here that this means that a and b cannot both be even, as then we would be able to cancel a factor of 2.

If \(\sqrt2 = \frac{a}{b}\), then \(2 = \frac{a^2}{b^2}\), which rearranges to \(a^2 = 2b^2\). This means that a² is even, which implies that a is also even.

(This above claim is easily verified. If a number is even, we can write it as 2k, with k as an integer. This squared equals 4k², which is also even. If a number is odd, then we can write it as \(2k + 1. (2k + 1)^2 = 4k^2 + 4k + 1 = 2 (2k^2 + 2k) +1\), which is odd. Thus, if a² is even, then so must be a.)

This means we can replace a with 2c, as a must be even. The value of c is unimportant, but it must be an integer.

Then, if \(a^2 = 2b^2\), we have \(4c^2 = 2b^2 \Rightarrow b^2 = 2c^2\). Following the same argument as above, this means b² is even, and in turn, b is even. Thus, we can write \(b = 2d, d \in \mathbb{z}\). This means that gcd (a, b) = gcd (2c, 2d) ≠ 1. (As the gcd will be a minimum of 2). This means there will not be a fraction in its lowest terms, and thus a contradiction.

We can now conclude that \(\sqrt2\) is irrational. QED

Example 3:

Prove there are no integers a and b such that

\(10a + 15b = 1\).

Solution:

Let us assume that we could find integers a and b that satisfy such an equation. We can then divide both sides by 5 to give \(2a + 3b = \frac{1}{5}\). If a and b are integers, and we multiply each by another integer (2 and 3 respectively, in this case), then sum them, there is no possible way that this could result in being a fraction, which is what the above condition requires. This leads us to a contradiction.

Thus, there are no integers a and b such that \(10a + 15b = 1\).

Example 4:

Use proof by contradiction to show that the sum of a rational number and an irrational number is irrational.

Solution:

Let us assume the sum of a rational number and an irrational number is rational. Let the rational number be denoted by a, and the irrational number denoted by b, and their sum is denoted by a + b. As a is rational, we can write it as \(a = \frac{c}{d}\), where d ≠ 0, and d and c integers, in the lowest possible terms. As a + b is rational, we can write \(a + b = \frac{e}{f}\), e, f ∈ ℤ, f ≠ 0, and the fraction in its lowest terms. Then we can write \(\frac{c}{d} + b = \frac{e}{f}\). This implies \(b= \frac{e}{f}-\frac{c}{d} = \frac{de-cf}{fd}\). As \(de-cf\) is an integer, and fd is also an integer, this implies that b would be able to be written as a rational number, which is a contradiction. Thus, the sum of a rational number and an irrational number is irrational.

Proof by contradiction - key takeaways

  • The steps for a proof by contradiction are:

  • Step 1: Take the statement, and assume that the contrary is true (i.e. assume the statement is false).

    Step 2: Start an argument from the assumed statement and work it towards the conclusion.Step 3: While doing so, you should reach a contradiction. This means that this alternative statement is false, and thus we can conclude that the original statement is true.

  • The statement we are trying to prove must have only two possible outcomes.

  • Proof by contradiction is based on the logic that if the converse of a statement is always false, then the statement is true.

Frequently Asked Questions about Proof by Contradiction

Proof by contradiction is where we assume the negation of a statement, and then follow the logical steps to find a contradiction.

Use proof by contradiction when it is difficult or impossible to prove a claim directly, but the converse case is easier to prove.

Step 1: Take the statement, and assume that the contrary is true (i.e. assume the statement is false).

Step 2: Start an argument, starting from the assumed statement, and try to work towards the conclusion.

Step 3: While doing so, you should reach a contradiction. This means that this alternative statement is false, and thus we can conclude that the original statement is true. 

Prove √3 is irrational.

Suppose √3 is rational, so √3=a/b, a,b ∈ ℤ, b≠0, gcd(a,b)=1. Then 3=a²/b², so a²=3b². As 3 is prime, for something squared to be a factor of 3, then the original must also be a factor of 3. This means that as a² is a factor of 3, then so is a, so we can write a=3c, with c an integer. Filling this in, we get 9c²=3b², so b²=3c². By the same above argument, b² is a factor of 3, and so is b. So we can write b=3d, with d an integer. Then gcd(a, b)=gcd(3c, 3d)≠1. Hence a contradiction, and so √3 is irrational.

Prove √7 is irrational.


Suppose √7 is rational, so √7=a/b, a,b ∈ ℤ, b≠0, gcd(a,b)=1. Then 7=a²/b², so a²=7b². As 7 is prime, for something squared to be a factor of 7, then the original must also be a factor of 3. This means that as a² is a factor of 7, then so is a, so we can write a=7c, with c an integer. Filling this in, we get 49c²=7b², so b²=7c². By the same above argument, b² is a factor of 7, and so is b. So we can write b=7d, with d an integer. Then gcd(a, b)=gcd(7c, 7d)≠1. Hence a contradiction, and so √7 is irrational.

Prove that if ab is irrational, then at least one of a and b are also irrational.

Let us assume that ab is irrational, but a and b are rational. Write a=c/d, and b=e/f, with c,d,e,f∈ ℤ, d,f≠0. Then ab=ce/df, and as c,d,e,f are integers, then this implies that ab is rational, which is a contradiction. Thus, if ab is irrational, then at least one of a and b are also irrational.

Prove there is no greatest even integer.

Suppose there is some greatest even integer, and call this n. Any even integer can be written as the product of 2 times another integer, so let us say that n=2k, k∈ℤ. However, n+2=2k+2=2(k+1), which is even, and n<n+2, which is a contradiction, hence there is no greatest even integer.

Prove there is no greatest odd integer.

Suppose there is some greatest odd integer, and call this n. Any odd integer can be written as the product of 2 times another integer plus one, so let us say that n=2k+1, k∈ℤ. However, n+2=2k+3=2(k+1)+1, which is odd, and n<n+2, which is a contradiction, hence there is no greatest odd integer.

Prove there are no integers that satisfy 3a+6b=2.

Let us assume that we could find integers a and b which satisfy such an equation. We can then divide through by 3, to give a+2b=2/3. If a and b are integers, and we multiply each by another integer (1 and 2 respectively), then sum them, there is no possible way that this could result in being a fraction, which is what we require. This leads us to a contradiction. Thus, there are no integers a and b such that 3a+6b=2

Join over 22 million students in learning with our StudySmarter App

The first learning app that truly has everything you need to ace your exams in one place

  • Flashcards & Quizzes
  • AI Study Assistant
  • Study Planner
  • Mock-Exams
  • Smart Note-Taking
Join over 22 million students in learning with our StudySmarter App Join over 22 million students in learning with our StudySmarter App

Sign up to highlight and take notes. It’s 100% free.

Entdecke Lernmaterial in der StudySmarter-App

Google Popup

Join over 22 million students in learning with our StudySmarter App

Join over 22 million students in learning with our StudySmarter App

The first learning app that truly has everything you need to ace your exams in one place

  • Flashcards & Quizzes
  • AI Study Assistant
  • Study Planner
  • Mock-Exams
  • Smart Note-Taking
Join over 22 million students in learning with our StudySmarter App