Proving p is multiple of 3 iff p^2 is

[gottfried]

Homework Statement

Prove that p^2 is a mutiple of 3 ⇔ p is a multiple of 3. We are told p is an integer.

The Attempt at a Solution

If p is a multiple of 3 then p=3.a (aEZ) and p^2 = 3.(3.a^2) which is clearly a multiple of 3

Suppose p^2 is a multiple of 3.
Then P^2 = 3.a and p=3.(√a/√3) since we know p is an interger (√a/√3) must be an integer and therefore p is a multiple of 3.

Homework Equations

This isn't the solution that was given to me and I'm wondering whether it is correct or if I've missed something obvious. Or if there is an even easier way to do it.

 

[Millennial]

If p^2 is a multiple of 3, we can write p^2=3x. Taking the square root of both sides yields p=\sqrt{x}\sqrt{3}. We know that p^2 is a perfect square and hence p is an integer. However, if p is an integer, the integer x must be of the form 3a for some perfect square a. Then, we obtain p=\sqrt{3a}\sqrt{3}=3\sqrt{a}, which is an integer. If x is not of this form, we obtain a contradiction because then p can't be an integer.

You might be requested to explain why exactly it is that x must be of that form. How can you explain this?

 

[gottfried]

You might be requested to explain why exactly it is that x must be of that form. How can you explain this?

If I understand you correctly you are claiming that x must be in that form because otherwise we would have \sqrt{3} multiplied by \sqrt{x} which couldn't be a integer (since an irrational multiplied by anything is irrational)but if one claims that aren't we assuming that \sqrt{3} is irrational which we can't do. ie. since we don't yet know that \sqrt{3} is irrational and therefore could be rational and therefore could be an integer when multiplied by \sqrt{x}.

I'm relatively new to proving things and often get my logic in a knot so I do apologise if I've miss understood.

 

[voko]

p \cdot p = 3 \cdot qp = \frac {3 \cdot q} {p}Since the left-hand side is an integer, then the fraction must be reducible. Assume p is not a multiple of 3, then q must be a multiple p, so we get p = 3 \cdot swhich means p is a multiple of 3.

 

[HallsofIvy]

I would recommend an indirect proof. If p^2 is NOT a multiple of 3 then it is of the form 3n+1 or 3n+ 2.

Now use the fact that (3k+1)^2= 9k^2+ 6k+ 1= 3(3k^2+ 2k)+ 1 and that (3k+ 2)^2= 9k^2+ 12k+ 4= 3(3k^2+ 4k+ 1)+ 1.

 

[gottfried]

Thanks