Proof: 3\sqrt{3} is an Irrational Number

Algebraic Method

Showing the proof that 3\sqrt{3} is not rational involves a similar contradiction based approach to the proof that 2\sqrt{2} is irrational.

The proof first starts by assuming that 3\sqrt{3} is rational and can be written in the form of pq\dfrac{p}{q} where pp and qq do not have any common factors. We square the expression to remove the square root sign.

The next step is to establish that pp must have 3 as a factor and thus can be replaced by 3pโ€ฒ3p'. Simplifying this expression leads to the conclusion that qq must also have 3 as a factor. If both pp and qq have a common factor, it contradicts the early claim that we can write 3\sqrt{3} as pq\dfrac{p}{q} where pp and qq are integers in their lowest forms.

Best of luck in going through the step by step proof. You need to get all steps correct for the proof to count as successful.

Prove that 3\sqrt{3} is an Irrational Number

We want to prove that 3\sqrt{3} is irrational. What assumption should we begin with?

Suppose 3\sqrt{3} is rational, so it can be written as pq\dfrac{p}{q}.

What can we say about the integers pp and qq?

Where p,qโˆˆZp, q \in \mathbb{Z} and qโ‰ 0q \ne 0.

What assumption do we make about the form of pq\dfrac{p}{q}?

Assume that pq\dfrac{p}{q} is in its lowest terms.

How do we express 3\sqrt{3} as a rational number?

We can write 3=pq\sqrt{3} = \dfrac{p}{q}

Simplify

โ‡’3=p2q2\Rightarrow 3 = \dfrac{p^2}{q^2}

Simplify

โ‡’p2=3q2\Rightarrow p^2 = 3q^2

What can we say about p2=3q2p^2 = 3q^2?

The L.H.S. must be divisible by 3 since R.H.S is a multiple of 3.

If p2p^2 is divisible by 3, then;

โ‡’p\Rightarrow p is divisible by 3.

How do we represent pp to reflect divisibility by 3?

If pp is divisible by 3, we can say p=3pโ€ฒp = 3p' where pโ€ฒp' is also an integer.

How do we write p2p^2 in terms of pโ€ฒp'?

โ‡’p2=9pโ€ฒ2\Rightarrow p^2 = 9p'^2

Substitute this back into p2=3q2p^2 = 3q^2

Substitute p2p^2 with 9pโ€ฒ29p'^2 in p2=3q2p^2 = 3q^2

Substitution results in?

โ‡’9pโ€ฒ2=3q2\Rightarrow 9p'^2 = 3q^2

Simplify

โ‡’3pโ€ฒ2=q2\Rightarrow 3p'^2 = q^2

What can we say about q2=3pโ€ฒ2q^2 = 3p'^2?

Since L.H.S is divisible by 3, R.H.S must also be divisible by 3.

If q2q^2 is divisible by 3, then;

โ‡’q\Rightarrow q is divisible by 3.

What contradiction do we reach?

Since both pp and qq are divisible by 3, they share a common factor of 3.

What conclusion do we draw from this contradiction?

This contradicts the assumption that pq\dfrac{p}{q} is in lowest terms.

Final conclusion?

โˆด\therefore Our initial assumption must be false. We cannot write 3\sqrt{3} in the form of pq\dfrac{p}{q}. Thus, 3\sqrt{3} is irrational.


End of Lesson

ย Previous
Proof: Square Root 2 is Irrational
Next
Task 02: Prove Square Root 5 is Irrational