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.