p 2 p^2 divided by 12 12

As p p ranges over all prime numbers, how many possibilities are there for the remainder when p 2 p^2 is divided by 12?

2 3 1 4 12 6

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

3 solutions

Caleb Townsend
Feb 26, 2015

Consider p 2 1 = ( p + 1 ) ( p 1 ) , p > 3. p^2 - 1 = (p+1)(p-1), p > 3. One of p , ( p 1 ) , ( p + 1 ) p, (p-1), (p+1) must be divisible by 3 , 3, but since p p is a prime greater than 3 , 3, it can't be divisible by 3. 3. So one of ( p + 1 ) , ( p 1 ) (p+1), (p-1) is divisible by 3. 3.

Next, since p p is odd, both ( p + 1 ) (p+1) and ( p 1 ) (p-1) are even and one of them is divisible by 4. 4.

Therefore, p 2 1 p^2 - 1 is divisible by 3 3 and 4 4 , and in turn, divisible by 12. 12. So p 2 1 ( mod 12 ) . p^2 \equiv 1\ (\text{mod } 12).

Finally we just have to check the two remaining cases, p = 2 p =2 and p = 3 , p = 3, which give a modulus 12 12 of 4 4 and 9. 9. There are 3 \boxed{3} distinct remainders, namely 1 , 4 , 9. 1, 4, 9. (Neat! Recognize those numbers? They're pretty famous.)

Nice solution. My approach was to note first that any prime p > 3 p \gt 3 can be written as either 6 k + 1 6k + 1 or 6 k 1 6k - 1 for some positive integer k k .

Then p 2 = 36 k 2 ± 12 k + 1 = 12 ( 3 k 2 ± k ) + 1 p 2 1 ( m o d 12 ) . p^{2} = 36k^{2} \pm 12k + 1 = 12(3k^{2} \pm k) + 1 \Longrightarrow p^{2} \equiv 1 \pmod{12}.

Adding in the special cases p = 2 p = 2 and p = 3 p = 3 we see that the only possible remainders mod 12 12 are then 1 , 4 1, 4 and 9 9 .

Brian Charlesworth - 6 years, 3 months ago

Log in to reply

Hello Brian I always enjoy reading your solutions .I must confess that Iam not at your level of expertise but I do my best .Ialso like your comments on the solutions of other contributors - always kind gracious and courteous .

Des O Carroll - 6 years, 3 months ago

Log in to reply

Thanks, Des. I appreciate the compliments. I enjoy this site in part because the interactions between members are so respectful, (for the most part). It's quite gratifying to see how much young talent there is out there from all over the world. They are well ahead of where I was in my teens. :)

Brian Charlesworth - 6 years, 3 months ago

Yes, that was the approach I was thinking of. It is well-known that if p > 3 p > 3 , then p 2 1 ( m o d 12 ) p^2 \equiv 1 \pmod{12} .

I was thinking of how to play with this fact, and so came up with this question.

Chung Kevin - 6 years, 3 months ago

Thanks for answering this! I thought that people didn't like this question after all.

Chung Kevin - 6 years, 3 months ago

Log in to reply

Sometimes it's just a matter of timing whether a question gets noticed or not. I liked this question, so I'll reshare it and see if it gets more attention. :)

Brian Charlesworth - 6 years, 3 months ago

I loved the question sir as the fact that any prime greater than 3 squared and divided by 12 leaves a remainder of 1. So the only other cases are squares of 2 and 3. Nice problem again and sir I have to appreciate the number of problems you post with which I have learnt so much and this makes Brilliant better and better.

Sathvik Acharya - 4 years, 2 months ago

Log in to reply

Thank you for the encouragement!

Chung Kevin - 4 years, 2 months ago
Melissa Quail
Mar 1, 2015

Using Euler's theorem:

p 2 1 ( m o d 4 ) p^2 \equiv 1 (mod 4) if p and 4 are coprime

and

p 2 1 ( m o d 3 ) p^2 \equiv 1 (mod 3) if p and 3 are coprime

12 is a multiple of both 3 and 4 so as long as p is coprime to 3 and 4 it gives a remainder of 1 when divided by 12. The only primes not coprime to 3 and 4 are 2 and 3.

So 2 2 4 ( m o d 12 ) 2^2 \equiv 4 (mod 12)

3 2 9 ( m o d 12 ) 3^2 \equiv 9 (mod 12)

p 2 1 ( m o d 12 ) p^2 \equiv 1 (mod 12) , p>3

Therefore there are 3 possible remainders.

Nicely done!

Chung Kevin - 6 years, 2 months ago
Andrea Palma
Mar 21, 2015

For every odd integer (not necessarily prime) z z , its square z 2 z^2 has remainder 1 1 or 9 9 divided by 12 12 (very easy to prove).

Among the odd primes there are numbers that assume both these possible values (namely 3 3 and 5 5 ).

Adding the remainder of the only even prime squared (that is 4 4 ) we have only three possible remainders for a prime squared divided by twelve.

Working with all odd integers and then showing that the primes also hold is an interesting way of approaching this. I didn't think of it like that. Thanks for sharing :)

Chung Kevin - 6 years, 2 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...