Olympiad Maths Prep

Track / Stage 5 / 390 of 400 #990 of 2000

Problem 990

AIME late
Number theory Difficulty 6.0 Prove it

Let's prove that in every arithmetic sequence consisting of natural numbers (infinite, non-constant), there exist two different terms whose digits in decimal representation sum to the same value.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution. Let the first positive element of the arithmetic sequence be xx, and its difference be dd. Denote by nn the number of digits in the number xx. Now consider the next two elements of the sequence: x+10ndx+10^{n} \cdot d and x+10n+1dx+10^{n+1} \cdot d. Let these be denoted by b1b_{1} and b2b_{2}, respectively.

The decimal representation of b1b_{1} can be obtained by first writing down dd, then appending nn zeros, and finally adding xx. Since xx is exactly nn digits long, when performing the addition, only xx needs to be written in place of the last nn zeros of 10nd10^{n} \cdot d. Thus, x+10ndx+10^{n} \cdot d can be obtained by writing xx after the number dd.

By similar reasoning, it can be seen that x+10n+1dx+10^{n+1} \cdot d differs from this only in that a zero must be inserted between the numbers dd and xx. However, it is clear from this that the sum of the digits of b1b_{1} and b2b_{2} is the same.

Based on the work of Sikolya Edit (Szentendre, Ferences Gymn., I. o. t.)

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.