Number theoryDifficulty 6.0AIME, harderProve itIreland
Suppose (an) is a sequence of integers such that a1 and a2 are two distinct digits of the number 2014, and an=an−110+an−210 for all n>2. Let m=20142014…2014 be the number given by the string 2014 repeated 2014 times. Show that m cannot be an for any positive integer n.
Solution
Note first that a3a4=a110+a210≤210+410<2⋅410=221<1021<mand=a210+a310<410+1020<2⋅1020<m. Hence, if m=an, then n≥5. Given the possible values for a1 and a2, we see that a3 is congruent to either 1 or 2 modulo 3, depending on whether or not we select 0 as one of the two initial terms of the sequence. Similarly, a4 is congruent to either 1 or 2 modulo 3, depending on whether or not a2=0. In any case, neither a3 nor a4 is divisible by 3. By the Little Theorem of Fermat, ak10≡1(mod3) unless ak≡0(mod3). Therefore, if neither ak−1 nor ak−2 is divisible by 3, then ak=ak−110+ak−210≡2(mod3). By induction it follows now that an≡2(mod3) for all n≥5. Finally, using that any integer is congruent to its sum of digits modulo 3, we find that m≡2014⋅(2+0+1+4)≡2014≡1(mod3) and we conclude that m=an for all n≥1.
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: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.