Maths Olympiad Prep

Library / /517 of 740

, 2016

Number theory Difficulty 5.2 AIME, harder Prove it United States

Problem:
Let the sequence aia_{i} be defined as ai+1=2aia_{i+1} = 2^{a_{i}}. Find the number of integers 1n10001 \leq n \leq 1000 such that if a0=na_{0} = n, then 100100 divides a1000a1a_{1000} - a_{1}.

Solution

Solution:
We claim that a1000a_{1000} is constant mod 100100.

a997a_{997} is divisible by 22. This means that a998a_{998} is divisible by 44. Thus a999a_{999} is constant mod 55. Since it is also divisible by 44, it is constant mod 20\bmod\ 20. Thus a1000a_{1000} is constant mod 25\bmod\ 25, since ϕ(25)=20\phi(25) = 20. Since a1000a_{1000} is also divisible by 44, it is constant mod 100100.

We know that a1000a_{1000} is divisible by 44, and let it be congruent to kmod25k \bmod 25.
Then 2n2^{n} is divisible by 44 (n2n \geq 2) and 2nkmod252^{n} \equiv k \bmod 25. We can also show that 22 is a primitive root mod 2525, so there is one unique value of nmod20n \bmod 20. It suffices to show this value isn't 11. But 220mod4216mod202^{2^{0 \bmod 4}} \equiv 2^{16 \bmod 20} mod25\bmod 25, so n16mod20n \equiv 16 \bmod 20. Thus there are 1000/20=501000 / 20 = 50 values of nn.

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.