Source: Iranian TST 2019, first exam day 2, problem 6
June 24, 2019
number theory
Problem Statement
{an}n≥0 and {bn}n≥0 are two sequences of positive integers that ai,bi∈{0,1,2,⋯,9}. There is an integer number M such that an,bn=0 for all n≥M and for each n≥0(an⋯a1a0)2+999∣(bn⋯b1b0)2+999
prove that an=bn for n≥0.\\
(Note that (xnxn−1…x0)=10n×xn+⋯+10×x1+x0.)Proposed by Yahya Motevassel