Maths Olympiad Prep

Library / /560 of 860

Number theory Difficulty 5.3 AIME, harder Find the answer

At a recent math contest, Evan was asked to find 22016(modp)2^{2016}(\bmod 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 2016 modulo p1p-1, but got a value ee larger than 100. - However, Evan noted that e12(p1)=21e-\frac{1}{2}(p-1)=21, and then realized the answer was 221(modp)-2^{21}(\bmod p). What was the prime pp?

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Answer is p=211p=211. Let p=2d+1,50<d<250p=2d+1,50<d<250. The information in the problem boils down to 2016=d+21(mod2d)2016=d+21 \quad(\bmod 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 191 and 211. Of these, we take 211 since (2/191)=+1(2/191)=+1 while (2/211)=1(2/211)=-1. Also, this is (almost) a true story: the contest in question was the PUMaC 2016 Live Round.

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.