Maths Olympiad Prep

Library / /37 of 104

Number theory Difficulty 5.6 AIME, harder Prove it Bulgaria

Problem:
Find the least positive integer mm such that 220002^{2000} divides 2003m12003^{m} - 1.

Solution

Solution:
Set m=2kpm = 2^{k} p, where p>1p > 1 is an odd integer. Then
2003m1=20032kp1=(20032k1)K 2003^{m} - 1 = 2003^{2^{k} p} - 1 = \left(2003^{2^{k}} - 1\right) K
where KK is a sum of pp even integers and 11; in particular, KK is odd. Hence mm must be of the form m=2km = 2^{k}. In this case we have that
20032k1=(20032k11)(20032k1+1)=(20032k1+1)(20032k2+1)(2003+1)(20031) \begin{aligned} 2003^{2^{k}} - 1 & = \left(2003^{2^{k-1}} - 1\right)\left(2003^{2^{k-1}} + 1\right) \\ & = \left(2003^{2^{k-1}} + 1\right)\left(2003^{2^{k-2}} + 1\right) \ldots (2003 + 1)(2003 - 1) \end{aligned}
Since 20032i+12(mod4)2003^{2^{i}} + 1 \equiv 2 \pmod{4}, then 2k+22^{k+2} divides 20032k12003^{2^{k}} - 1 but 2k+32^{k+3} does not (use that 2003+14(mod8)2003 + 1 \equiv 4 \pmod{8} and 200312(mod4)2003 - 1 \equiv 2 \pmod{4}). Therefore k+2=2000k + 2 = 2000, i.e. k=1998k = 1998. Thus the desired number is equal to 219982^{1998}.

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.