MathDB
Coprime to sum of terms before it

Source: China second round (A) 2018 Q4

May 5, 2019
number theorySequence

Problem Statement

Define sequence {an}\{a_n\}: a1a_1 is any positive integer, and for any positive integer n1n\ge 1, an+1a_{n+1} is the smallest positive integer coprime to i=1nai\sum_{i=1}^{n} a_i and not equal to a1,,ana_1,\ldots, a_n. Prove that every positive integer appears in the sequence {an}\{a_n\}.