Number theoryDifficulty 5.6AIME, harderProve itBulgaria
Problem: Find the least positive integer m such that 22000 divides 2003m−1.
Solution
Solution: Set m=2kp, where p>1 is an odd integer. Then 2003m−1=20032kp−1=(20032k−1)K where K is a sum of p even integers and 1; in particular, K is odd. Hence m must be of the form m=2k. In this case we have that 20032k−1=(20032k−1−1)(20032k−1+1)=(20032k−1+1)(20032k−2+1)…(2003+1)(2003−1) Since 20032i+1≡2(mod4), then 2k+2 divides 20032k−1 but 2k+3 does not (use that 2003+1≡4(mod8) and 2003−1≡2(mod4)). Therefore k+2=2000, i.e. k=1998. Thus the desired number is equal to 21998.
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.