Maths Olympiad Prep

Library / /4 of 18

Algebra Difficulty 7.7 National olympiad, round 2 Prove it Balkan Mathematical Olympiad

The sequence a1,a2,a3,a_1, a_2, a_3, \dots is defined by a1=a2=1a_1 = a_2 = 1, a2n+1=2a2nana_{2n+1} = 2a_{2n} - a_n and a2n+2=2a2n+1a_{2n+2} = 2a_{2n+1} for nNn \in \mathbb{N}. Prove that if n>3n > 3 and n3n - 3 is divisible by 8 then ana_n is divisible by 5.

Solution

First, for kNk \in \mathbb{N}, k2k \ge 2, we have
a2k+1+a2k1=2a2kak+a2k1=5a2k1akak(mod5).(1) a_{2k+1} + a_{2k-1} = 2a_{2k} - a_k + a_{2k-1} = 5a_{2k-1} - a_k \equiv -a_k \pmod{5}. \quad (1)
We prove the assertion of the problem by induction on kk, where n=8k+3n = 8k+3. For the base case k=1k=1, we compute a3=1a_3 = 1, a4=2a_4 = 2, a5=3a_5 = 3, a6=6a_6 = 6, a7=11a_7 = 11, a8=22a_8 = 22, a9=42a_9 = 42, a10=84a_{10} = 84 and a11=165a_{11} = 165.
By repeatedly applying (1), we have
a8(k+1)+3a8k+3=(a8k+11+a8k+9)(a8k+9+a8k+7)+(a8k+7+a8k+5)(a8k+5+a8k+3)a4k+5+a4k+4a4k+3+a4k+2=a4k+5+a4k+3+2a4k+1=(a4k+5+a4k+3)+2(a4k+3+a4k+1)a2k+22a2k+1=0(mod5). \begin{align*} a_{8(k+1)+3} - a_{8k+3} &= (a_{8k+11} + a_{8k+9}) - (a_{8k+9} + a_{8k+7}) \\ &\quad +(a_{8k+7} + a_{8k+5}) - (a_{8k+5} + a_{8k+3}) \\ &\equiv -a_{4k+5} + a_{4k+4} - a_{4k+3} + a_{4k+2} \\ &\quad = -a_{4k+5} + a_{4k+3} + 2a_{4k+1} \\ &\quad = -(a_{4k+5} + a_{4k+3}) + 2(a_{4k+3} + a_{4k+1}) \\ &\equiv a_{2k+2} - 2a_{2k+1} = 0 \pmod{5}. \end{align*}
Therefore, if a8k+3a_{8k+3} is divisible by 5, so is a8(k+1)+3a_{8(k+1)+3}. This completes the proof.

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 and solution reproduced as published; topic and difficulty added by this site.