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 .