Maths Olympiad Prep

Library / Balkan Mathematical Olympiad Shortlist /2 of 13

Balkan Mathematical Olympiad Shortlist

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=2a2n−ana_{2n+1} = 2a_{2n} - a_n and a2n+2=2a2n+1a_{2n+2} = 2a_{2n+1} for n∈Nn \in \mathbb{N}. Prove that if n>3n > 3 and n−3n - 3 is divisible by 8 then ana_n is divisible by 5.

Solution

First, for k∈Nk \in \mathbb{N}, k≥2k \ge 2, we have
a2k+1+a2k−1=2a2k−ak+a2k−1=5a2k−1−ak≡−ak(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)+3−a8k+3=(a8k+11+a8k+9)−(a8k+9+a8k+7)+(a8k+7+a8k+5)−(a8k+5+a8k+3)≡−a4k+5+a4k+4−a4k+3+a4k+2=−a4k+5+a4k+3+2a4k+1=−(a4k+5+a4k+3)+2(a4k+3+a4k+1)≡a2k+2−2a2k+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,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.