MathDB
the construction of the sequence

Source: 2022 China Southeast Grade 11 P7

August 3, 2022
number theory

Problem Statement

Prove that for any positive real number λ\lambda,there are nn positive numbers a1,a2,,an(n2)a_1,a_2,\cdots,a_n(n\geq 2),so that a1<a2<<an<2nλa_1<a_2<\cdots<a_n<2^n\lambda and for any k=1,2,,nk=1,2,\cdots,n we have gcd(a1,ak)+gcd(a2,ak)++gcd(an,ak)0(modak)\gcd(a_1,a_k)+\gcd(a_2,a_k)+\cdots+\gcd(a_n,a_k)\equiv 0\pmod{a_k}