12.06.2019 Views

Maths

New book

New book

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

PROOFS IN MATHEMATICS 331<br />

Since np and mq are integers and mq 0, Using properties of integers,<br />

x is a rational number.<br />

and definition of a rational<br />

number.<br />

This is a contradiction, because we have shown x<br />

to be rational, but by our hypothesis, we have x<br />

is irrational.<br />

The contradiction has arisen because of the faulty<br />

assumption that rx is rational. Therefore, rx<br />

is irrational.<br />

This is what we were looking<br />

for — a contradiction.<br />

Logical deduction.<br />

We now prove Example 11, but this time using proof by contradiction. The proof<br />

is given below:<br />

Statements<br />

Analysis/Comment<br />

Let us assume that the statement is note true.<br />

So we suppose that there exists a prime number<br />

p > 3, which is not of the form 6n + 1 or 6n + 5,<br />

where n is a whole number.<br />

Using Euclid’s division lemma on division by 6,<br />

and using the fact that p is not of the form 6n + 1<br />

or 6n + 5, we get p = 6n or 6n + 2 or 6n + 3<br />

or 6n + 4.<br />

Therefore, p is divisible by either 2 or 3.<br />

So, p is not a prime.<br />

This is a contradiction, because by our hypothesis<br />

p is prime.<br />

The contradiction has arisen, because we assumed<br />

that there exists a prime number p > 3 which is<br />

not of the form 6n + 1 or 6n + 5.<br />

As we saw earlier, this is the<br />

starting point for an argument<br />

using ‘proof by contradiction’.<br />

This is the negation of the<br />

statement in the result.<br />

Using earlier proved results.<br />

Logical deduction.<br />

Logical deduction.<br />

Precisely what we want!<br />

Hence, every prime number greater than 3 is of the We reach the conclusion.<br />

form 6n + 1 or 6n + ✁<br />

5.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!