MathDB
a_{n+1} =(1989+a_na_{n-1})/a_{n-2}

Source: Romania IMO TST 1989 3.2

February 17, 2020
recurrence relationSequencenumber theoryalgebra

Problem Statement

The sequence (ana_n) is defined by a1=a2=1,a3=199a_1 = a_2 = 1, a_3 = 199 and an+1=1989+anan1an2a_{n+1} =\frac{1989+a_na_{n-1}}{a_{n-2}} for all n3n \ge 3. Prove that all terms of the sequence are positive integers