1

I came across this in proving that the $\sqrt{3}$ is irrational

BigM
  • 3,936
  • 1
  • 26
  • 36
xh4zr
  • 11
  • 1
    $p^2$ has two factors, $p$ and $p$, therefore a $3$ must come from $p$ or $p$. Hey... there's a $3$ in $p$, therefore $3|p$ – Dane Bouchie Sep 05 '14 at 02:37
  • $q$ is a prime if and only if $q\mid ab$ implies $q\mid a$ or $q\mid b$. –  Sep 05 '14 at 02:43

5 Answers5

2

Take the contrapositive statement: Prove that if $p$ is not divisible by $3$, then $p^2$ is not divisible by $3$.

Yiyuan Lee
  • 14,435
1

Even if you don't know (don't remember) any number theory, you can always write $p=3m+k$ where $m$ is an integer and $k\in\{0,1,2\}$. Then, $$ p^2=(3m+k)^2=9m^2+6mk+k^2. $$ In other for this to be divisible by $3$, $k^2$ has to be divisible by $3$. You can manually check that only $k=0$ works.

Kim Jong Un
  • 14,794
  • 1
  • 24
  • 49
0

Try proof by contrapositive:

Assume that for some $p$, $3 \nmid p$, then the only two cases are: $p \equiv 1\pmod{3}$ and $p \equiv 2\pmod{3}$. Calcualte $p^2 \mod 3$ and get the conclusion.

Zz'Rot
  • 340
  • 2
  • 12
0

I would take an approach by looking at the prime factorization of $p^2$. Since it's a square, the powers of its prime factorization must all be even numbers. Since it's divisible by $3$, it has a $3$ raised to some nonzero even number.

It follows from this that $p$ must also have $3$ in its prime factorization.

user137794
  • 2,469
0

This is a particular instance of the Euclid's lemma. It is an easy consequence of prime factorization, but without assuming prime factorization slightly less easy.

Conifold
  • 11,756