MathDB
a_{n+1} - a_n = n(a_n - 1)

Source: 2021 Dutch IMO TST 1.1

December 28, 2021
number theorySequencerecurrence relation

Problem Statement

The sequence of positive integers a0,a1,a2,...a_0, a_1, a_2, . . . is defined by a0=3a_0 = 3 and an+1an=n(an1)a_{n+1} - a_n = n(a_n - 1) for all n0n \ge 0. Determine all integers m2m \ge 2 for which gcd(m,an)=1gcd (m, a_n) = 1 for all n0n \ge 0.