Solveeit Logo

Question

Question: Use a method of contradiction to show that \[\sqrt 3 \] is an irrational number....

Use a method of contradiction to show that 3\sqrt 3 is an irrational number.

Explanation

Solution

To prove by method contradiction, we first assume that the statement is false. Then apply the definition of rational numbers. Then make necessary operations to arrive at a contradiction. A rational number can be written in the form pq\dfrac{p}{q} where pp and qq are co-primes (integers with no common factor other than one) and q0q \ne 0.

Complete step-by-step answer:
To prove 3\sqrt 3 is irrational, suppose not.
That is, assume that 3\sqrt 3 is rational.
A rational number can be written in the form pq\dfrac{p}{q} where pp and qq are co-primes (integers with no common factor other than one) and q0q \ne 0.
So we can write 3=pq\sqrt 3 = \dfrac{p}{q}, with pp and qq are co-primes and q0q \ne 0.
Consider 3=pq\sqrt 3 = \dfrac{p}{q}
Squaring both sides we get,
32=(pq)2{\sqrt 3 ^2} = {(\dfrac{p}{q})^2}
3=p2q2\Rightarrow 3 = \dfrac{{{p^2}}}{{{q^2}}}
Cross multiplying we get,
p2=3q2(i)\Rightarrow {p^2} = 3{q^2} - - - (i)
This gives p2{p^2} is a multiple of 33.
Therefore pp is a multiple of 33.
So we can write p=3rp = 3r, for some integer rr.
Squaring both sides we get,
p2=(3r)2{p^2} = {(3r)^2}
p2=9r2(ii)\Rightarrow {p^2} = 9{r^2} - - - (ii)
From equations (i)(i) and (ii)(ii) we can write,
3q2=9r23{q^2} = 9{r^2}
Dividing both sides by 33 we get,
q2=3r2{q^2} = 3{r^2}
This gives q2{q^2} is a multiple of 33.
Therefore qq is a multiple of 33.
Before we have seen that pp is a multiple of 33.
But by our assumption, pp and qq are co-primes.
So we arrive at a contradiction.
Therefore our assumption is wrong.
That is 3\sqrt 3 is not rational.
\therefore 3\sqrt 3 is irrational.
Hence we had proved the statement.

Note: A statement can be proved in different ways. Method of contradiction is one method. We are mainly using direct implication. But here we are asked to use the method of contradiction. Here the key point is for a number to be rational, when written in fraction form, the numerator and denominator cannot contain common factors.