MathDB
Tricky Sequence With NT Properties

Source: 2019 China Second Round P3

September 8, 2019
China second roundalgebranumber theory

Problem Statement

Let mm be an integer where m2|m|\ge 2. Let a1,a2,a_1,a_2,\cdots be a sequence of integers such that a1,a2a_1,a_2 are not both zero, and for any positive integer nn, an+2=an+1mana_{n+2}=a_{n+1}-ma_n.
Prove that if positive integers r>s2r>s\ge 2 satisfy ar=as=a1a_r=a_s=a_1, then rsmr-s\ge |m|.