MathDB
a_n = gcd(a_{n+k}, a_{n+k+1}) for all n, sequence a_n

Source: Dutch BxMO TST 2019 p4

January 10, 2020
GCDnumber theorygreatest common divisorSequence

Problem Statement

Do there exist a positive integer kk and a non-constant sequence a1,a2,a3,...a_1, a_2, a_3, ... of positive integers such that an=gcd(an+k,an+k+1)a_n = gcd(a_{n+k}, a_{n+k+1}) for all positive integers nn?