Steply

Prove √11 is irrational

Step by step, with the reason for every step · Proof by contradiction · Discrete Math

Step by step

The question

Question: prove that √11 is irrational.

1 Assume the opposite

Rational means: it can be written as a fraction of whole numbers.

Irrational means it cannot.

rational = a fraction ab of whole numbers

Suppose the opposite: √11 is rational.

Then √11 = a/b.

√11 = ab

We cancel the fraction as far as it goes: a and b have no common factor.

in lowest terms:
a and b have no common factor

Careful!

Without lowest terms there is nothing to break.

Remember it: a and b have no common factor.

Careful: lowest terms is the key

2 Work it out

Square both sides: √11 squared is 11, and a/b squared is a squared over b squared.

11 = a2b2

Times b squared on both sides: a² = 11b².

a2 = 11b2

11 times a whole number: so a squared is a multiple of 11.

11 is a prime number.

When a prime goes into a times a, it goes into a.

a² is a multiple of 11
prime 11 into a × a → into a

So a is a multiple of 11 too: a = 11c, with c a whole number.

a = 11c

Put it into a squared = 11 b squared.

(11c)2 = 11b2

11c squared is 121c squared.

121c2 = 11b2

Divide both sides by 11: b² = 11c².

b2 = 11c2

The same as before: b squared is a multiple of 11, so b is a multiple of 11.

b² is a multiple of 11, so b is a multiple of 11

3 Find the contradiction

But now a and b are both a multiple of 11.

11 is a common factor.

That breaks lowest terms!

a and b are both a multiple of 11: 11 goes into both ✗

The opposite led to nonsense, so it is false.

√11 is irrational.

So √11 is not rational: √11 is irrational. ∎

4 Check

A calculator: √11 is about 3.31662479, and the digits go on with no repeating pattern.

√11 ≈ 3.31662479...

Even a good fraction like 33/10 squares to about 10.890, close to 11 but not 11.

Right!

(3310)² = 1089100 ≈ 10.890 ≠ 11

Let's look back.

First: assume the opposite.

Then: work it out.

Then: find the contradiction.

Last: check.

Answer
So √11 is not rational: √11 is irrational. ∎

Your turn

Try this one yourself, then check:

Show the answer
√7 is irrational

More from Proof by contradiction

The whole lesson: Proof by contradiction →