The sequence a1,a2,a3,… is defined by a1=a2=1, a2n+1=2a2n−an and a2n+2=2a2n+1 for n∈N. Prove that if n>3 and n−3 is divisible by 8 then an is divisible by 5.
Solution
First, for k∈N, k≥2, we have a2k+1+a2k−1=2a2k−ak+a2k−1=5a2k−1−ak≡−ak(mod5).(1) We prove the assertion of the problem by induction on k, where n=8k+3. For the base case k=1, we compute a3=1, a4=2, a5=3, a6=6, a7=11, a8=22, a9=42, a10=84 and a11=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). Therefore, if a8k+3 is divisible by 5, so is a8(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.