MathDB
(m+n)\(a_m + a_n) for any m\ne n => n\a_n for any n

Source: St. Petersburg 2016 11.1

May 1, 2019
number theorySequencedivisornumber theory with sequencesInteger sequence

Problem Statement

In the sequence of integers (an)(a_n), the sum am+ana_m + a_n is divided by m+nm + n with any different mm and nn. Prove that ana_n is a multiple of nn for any nn.