Browse · MathNet
PrintSAUDI ARABIAN MATHEMATICAL COMPETITIONS
Saudi Arabia number theory
Problem
Let be a positive integer. Find all prime numbers with the following property: there exist exactly ordered pairs of integers , with , such that divides .
Solution
The case works with solutions and if is even; and if is odd.
We claim that any odd prime divisor of also works. Of course for , the congruence implies that if and only if . For any , it's clear that is a quadratic residue modulo if and only if is.
Therefore, if is not a quadratic residue then we cannot find any such that and if is a quadratic residue the congruence has exactly 2 solutions in the set (the condition is odd ensures that 2 solutions are distinct).
Since there are quadratic residues, the number of with the required property is If then is not a quadratic residue, so if , then exactly one of and is a square and it gives two solutions. Together with , it gives us exactly solutions.
If , let be a square root of , i.e. . Then we have For , we have one choice of . For other choices of , we have either 0 or 2 choices of . Replacing by , since is a quadratic residue, we also have two choices for . Hence, the total number of pairs is , which cannot be exactly .
Thus, the answer is , all the odd prime divisors of and .
We claim that any odd prime divisor of also works. Of course for , the congruence implies that if and only if . For any , it's clear that is a quadratic residue modulo if and only if is.
Therefore, if is not a quadratic residue then we cannot find any such that and if is a quadratic residue the congruence has exactly 2 solutions in the set (the condition is odd ensures that 2 solutions are distinct).
Since there are quadratic residues, the number of with the required property is If then is not a quadratic residue, so if , then exactly one of and is a square and it gives two solutions. Together with , it gives us exactly solutions.
If , let be a square root of , i.e. . Then we have For , we have one choice of . For other choices of , we have either 0 or 2 choices of . Replacing by , since is a quadratic residue, we also have two choices for . Hence, the total number of pairs is , which cannot be exactly .
Thus, the answer is , all the odd prime divisors of and .
Final answer
p = 2, or p is an odd prime divisor of a, or p ≡ 3 (mod 4).
Techniques
Quadratic residuesPolynomials mod p