IMC / 2020 / Problems / Day 2, P6
IMC 2020 · Day 2 · P6
hardFind all prime numbers for which there exists a unique such that is divisible by .
Géza Kós, Loránd Eötvös University, Budapest
Solution 1 of 3 (official)
We show that the only prime that satsfies the condition.
Let . As preparation, let's compute the roots of . By Cardano's formula, it can be seen that the roots are where all three values of the complex cubic root were taken.
Notice that, by the trigonometric identity , the map cyclically permutes the three roots. We will use this map to find another root of , when it is considered over .
Suppose that for some and consider We claim that is a root of . Indeed, By Vieta's formulas, the other root of is .
If has a single root then the three roots must coincide, so Here the quadratic equation , or equivalently , has two solutions, and . By , in both cases we have , so the only choice is .
Finally, for we have , and , from these values only is divisible by 3, so satisfies the condition.
Solution 2 of 3 (official)
(outline) Define and like in Solution 1. The discriminant of is We show that has a square root in .
Take two integers (to be determinated later) and consider Our goal is to choose in such a way that the last expression is a complete square. Either by direct calculations or guessing, we can find that works: If then we can conclude that has either no or three roots, therefore is suitable if and only is is a complete cube: . From Vieta's formulas , so and , which is possible if .
For we have , so is suitable.
The case must be checked separately because the quadratic formula contains a division by 2. and , so is not suitable.
Solution 3 of 3 (official)
(outline) Assume ; the cases and will be checked separately.
Let and suppose that is a root of , and let be the other two roots. The discriminant of can be expressed by the elementary symmetric polynomials of ; it can be calculated that so Notice that , so the three roots are distinct.
Either or are conjugate elements in , we have , so . From Vieta's formulas we have as well; since , it follows that . Now has three distinct roots in , so cannot be suitable.
does not satisfies the condition because both and are odd. is suitable, because is divisible by 3 while and are not.
How the field did
Score distribution (field cohort)
Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.