Maths Olympiad Prep

Library / /24 of 43

Algebra Difficulty 8.0 National olympiad, round 2 Find the answer

Find all prime numbers pp such that there exists a unique aZpa \in \mathbb{Z}_p for which a33a+1=0.a^3 - 3a + 1 = 0.

A number or a short expression. Spacing and $ signs are ignored.

Solution

To find all prime numbers p p such that there exists a unique aZp a \in \mathbb{Z}_p for which the equation a33a+1=0 a^3 - 3a + 1 = 0 holds, we proceed as follows:

The equation in question is a33a+1=0 a^3 - 3a + 1 = 0 . We need to determine under what conditions (i.e., for which primes p p ) this polynomial has exactly one solution in Zp \mathbb{Z}_p .

1. **Reduction Modulo p p :**

Consider the polynomial f(a)=a33a+1 f(a) = a^3 - 3a + 1 over Zp \mathbb{Z}_p . We want f(a)0(modp) f(a) \equiv 0 \pmod{p} to have exactly one solution in Zp \mathbb{Z}_p .

2. Number of Solutions and Multiplicity:

The number of solutions to f(a)0(modp) f(a) \equiv 0 \pmod{p} corresponds to the roots of the polynomial in the finite field Zp \mathbb{Z}_p . For a root a0 a_0 to be a unique solution, f(a0)≢0(modp) f'(a_0) \not\equiv 0 \pmod{p} , where f(a)=3a23 f'(a) = 3a^2 - 3 is the derivative of f(a) f(a) .

3. Analysis of the Derivative:

We evaluate the derivative:

f(a)=3a23 f'(a) = 3a^2 - 3

For a root a0 a_0 of f(a) f(a) , we need:
3a023≢0(modp) 3a_0^2 - 3 \not\equiv 0 \pmod{p}
Simplifying, a02≢1(modp) a_0^2 \not\equiv 1 \pmod{p} .

4. **Special Case When p=3 p = 3 :**

Let us consider p=3 p = 3 . In this case, the polynomial simplifies considerably due to the modulo operation. Evaluate the polynomial:

f(a)=a33a+1a3+1(mod3) f(a) = a^3 - 3a + 1 \equiv a^3 + 1 \pmod{3}

Check the solutions for a=0,1,2 a = 0, 1, 2 :

- f(0)1≢0(mod3) f(0) \equiv 1 \not\equiv 0 \pmod{3}
- f(1)1+12≢0(mod3) f(1) \equiv 1 + 1 \equiv 2 \not\equiv 0 \pmod{3}
- f(2)8+190(mod3) f(2) \equiv 8 + 1 \equiv 9 \equiv 0 \pmod{3}

There's one solution a2(mod3) a \equiv 2 \pmod{3} and the derivative:

f(a)=3a233a20(mod3) f'(a) = 3a^2 - 3 \equiv 3a^2 \equiv 0 \pmod{3}

However, a unique solution occurs here as f(a)a3+1 f(a) \equiv a^3 + 1 is linear in this reduced form for p=3 p = 3 .

5. Verification in Other Primes:

For p>3 p > 3 , a similar computation shows multiple solutions or derivative issues. Therefore, only p=3 p = 3 provides the circumstances of a unique solution.

Thus, the only prime number p p such that there exists a unique solution in Zp \mathbb{Z}_p is:

3 \boxed{3}

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.