Maths Olympiad Prep

Library / /42 of 68

, 2017

Number theory Difficulty 5.5 AIME, harder Prove it United States

Problem:
At a recent math contest, Evan was asked to find 22016(modp)2^{2016} \pmod{p} for a given prime number pp with 100<p<500100 < p < 500. Evan has forgotten what the prime pp was, but still remembers how he solved it:
- Evan first tried taking 20162016 modulo p1p-1, but got a value ee larger than 100100.
- However, Evan noted that e12(p1)=21e - \frac{1}{2}(p-1) = 21, and then realized the answer was 221(modp)-2^{21} \pmod{p}.
What was the prime pp?

Solution

Solution:
Answer is p=211p=211. Let p=2d+1p=2d+1, 50<d<25050 < d < 250. The information in the problem boils down to
2016=d+21(mod2d) 2016 = d + 21 \pmod{2d}
From this we can at least read off d1995d \mid 1995.
Now factor 1995=357191995 = 3 \cdot 5 \cdot 7 \cdot 19. The values of dd in this interval are 57,95,105,13357, 95, 105, 133. The prime values of 2d+12d+1 are then 191191 and 211211. Of these, we take 211211 since (2/191)=+1(2 / 191) = +1 while (2/211)=1(2 / 211) = -1.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.