Olympiad Maths Prep

Track / Stage 7 / 121 of 300 #1521 of 2000

Problem 1521

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.2 Prove it

For positive integers aa and kk, define the sequence a1,a2,a_1,a_2,\ldots by a1=a,andan+1=an+kϱ(an)for n=1,2,a_1=a,\qquad\text{and}\qquad a_{n+1}=a_n+k\cdot\varrho(a_n)\qquad\text{for } n=1,2,\ldots where ϱ(m)\varrho(m) denotes the product of the decimal digits of mm (for example, ϱ(413)=12\varrho(413)=12 and ϱ(308)=0\varrho(308)=0). Prove that there are positive integers aa and kk for which the sequence a1,a2,a_1,a_2,\ldots contains exactly 20092009 different numbers.

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

1. **Define the sequence and the function ϱ(m)\varrho(m):**
- The sequence is defined as a1,a2,a_1, a_2, \ldots with a1=aa_1 = a and an+1=an+kϱ(an)a_{n+1} = a_n + k \cdot \varrho(a_n) for n=1,2,n = 1, 2, \ldots.
- The function ϱ(m)\varrho(m) denotes the product of the decimal digits of mm. For example, ϱ(413)=413=12\varrho(413) = 4 \cdot 1 \cdot 3 = 12 and ϱ(308)=308=0\varrho(308) = 3 \cdot 0 \cdot 8 = 0.

2. Identify the condition for the sequence to stop increasing:
- The sequence will stop increasing when ϱ(at)=0\varrho(a_t) = 0 for some tt. This is because if ϱ(at)=0\varrho(a_t) = 0, then at+1=at+kϱ(at)=at+k0=ata_{t+1} = a_t + k \cdot \varrho(a_t) = a_t + k \cdot 0 = a_t, and the sequence will remain constant from that point onward.

3. **Determine the minimal value tt such that ϱ(at)=0\varrho(a_t) = 0:**
- We need to find positive integers aa and kk such that the sequence a1,a2,,a2009a_1, a_2, \ldots, a_{2009} contains exactly 2009 different numbers. This means ϱ(a1),ϱ(a2),,ϱ(a2008)0\varrho(a_1), \varrho(a_2), \ldots, \varrho(a_{2008}) \neq 0 and ϱ(a2009)=0\varrho(a_{2009}) = 0.

4. Construct a sequence with the desired properties:
- Choose a=102008a = 10^{2008}. This choice ensures that the sequence will have 2008 steps before reaching a number with a zero digit.
- Choose k=1k = 1. This simplifies the calculations and ensures that the sequence increases by ϱ(an)\varrho(a_n) at each step.

5. Verify the sequence:
- For n=1,2,,2008n = 1, 2, \ldots, 2008, ana_n will be a number with no zero digits, and ϱ(an)0\varrho(a_n) \neq 0.
- At n=2009n = 2009, a2009a_{2009} will be a number with at least one zero digit, making ϱ(a2009)=0\varrho(a_{2009}) = 0.

6. Conclusion:
- The sequence a1,a2,,a2009a_1, a_2, \ldots, a_{2009} contains exactly 2009 different numbers, as required.

\blacksquare

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