Maths Olympiad Prep

Library / Irish Mathematical Olympiad /145 of 236

Irish Mathematical Olympiad, 2014

Number theory Difficulty 6.0 AIME, harder Prove it Ireland

Suppose (an)(a_n) is a sequence of integers such that a1a_1 and a2a_2 are two distinct digits of the number 20142014, and an=an−110+an−210a_n = a_{n-1}^{10} + a_{n-2}^{10} for all n>2n > 2.
Let m=20142014…2014m = 20142014\ldots2014 be the number given by the string 20142014 repeated 20142014 times. Show that mm cannot be ana_n for any positive integer nn.

Solution

Note first that
a3=a110+a210≤210+410<2⋅410=221<1021<manda4=a210+a310<410+1020<2⋅1020<m. \begin{align*} a_3 &= a_1^{10} + a_2^{10} \le 2^{10} + 4^{10} < 2 \cdot 4^{10} = 2^{21} < 10^{21} < m \quad \text{and} \\ a_4 &= a_2^{10} + a_3^{10} < 4^{10} + 10^{20} < 2 \cdot 10^{20} < m. \end{align*}
Hence, if m=anm = a_n, then n≥5n \ge 5.
Given the possible values for a1a_1 and a2a_2, we see that a3a_3 is congruent to either 11 or 22 modulo 33, depending on whether or not we select 00 as one of the two initial terms of the sequence. Similarly, a4a_4 is congruent to either 11 or 22 modulo 33, depending on whether or not a2=0a_2 = 0. In any case, neither a3a_3 nor a4a_4 is divisible by 33.
By the Little Theorem of Fermat, ak10≡1(mod3)a_k^{10} \equiv 1 \pmod{3} unless ak≡0(mod3)a_k \equiv 0 \pmod{3}.
Therefore, if neither ak−1a_{k-1} nor ak−2a_{k-2} is divisible by 33, then
ak=ak−110+ak−210≡2(mod3). a_k = a_{k-1}^{10} + a_{k-2}^{10} \equiv 2 \pmod{3}.
By induction it follows now that an≡2(mod3)a_n \equiv 2 \pmod{3} for all n≥5n \ge 5.
Finally, using that any integer is congruent to its sum of digits modulo 33, we find that
m≡2014⋅(2+0+1+4)≡2014≡1(mod3) m \equiv 2014 \cdot (2 + 0 + 1 + 4) \equiv 2014 \equiv 1 \pmod{3}
and we conclude that m≠anm \neq a_n for all n≥1n \ge 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.