MathDB
a_{n+4}=2a_{n+3}+a_{n+2}-2a_{n+1}-a_n, prove n^2 / a_n for infinite n

Source: Balkan BMO Shortlist 2015 N2

August 5, 2019
recurrence relationnumber theory with sequencesSequencedividesnumber theoryalgebra

Problem Statement

Sequence (an)n0(a_n)_{n\geq 0} is defined as a0=0,a1=1,a2=2,a3=6a_{0}=0, a_1=1, a_2=2, a_3=6, and an+4=2an+3+an+22an+1an,n0 a_{n+4}=2a_{n+3}+a_{n+2}-2a_{n+1}-a_n, n\geq 0. Prove that n2n^2 divides ana_n for infinite nn.
(Romania)