Maths Olympiad Prep

Library / HMMT February /657 of 1302

HMMT February

Number theory Difficulty 5.3 AIME, harder Find the answer

At a recent math contest, Evan was asked to find 22016( mod p)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 p−1p-1, but got a value ee larger than 100. - However, Evan noted that e−12(p−1)=21e-\frac{1}{2}(p-1)=21, and then realized the answer was −221( mod p)-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( mod 2d)2016=d+21 \quad(\bmod 2d). From this we can at least read off d∣1995d \mid 1995. Now factor 1995=3⋅5⋅7⋅191995=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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.