Square Root Irrational Proof

Question

Let $n$ be an integer. Prove that if $3 \vert n^2$ then $3 \vert n$.

Use the result from above to prove $\sqrt{3}$ is also irrational.

So for the first part I did the contrapositive

$\neg (3 \vert n$) then $\neg (3 \vert n^2)$

But how do i do cases for this and how to do the second part?

Answer 1

Hint: use the decompostion of $n$ in prime factors.

Answer 2

It is easier to use Euclid's lemma: if $3\mid n^2$, then $3\mid n$ or $3\mid n$. In other words. $3\mid n$.

If $\sqrt3$ was rational, then it would be a rational root of $x^2-3$. But, by the rational root theorem, the only possible rational roots of that polynomial are $\pm1$ and $\pm3$. But none of them is.

Answer 3

If $\frac {a^2}{b^2} = 3$ then $a^2 = 3b^2$ so $3|a^2$ so $3|a$ and .... well somehow that has to lead to a contradiction. Can you figure it out?

For one thing if $a = 3c$ than $9c^2 = 3b^2$.....