Olympiad Maths Prep

Track / Stage 7 / 153 of 300 #1553 of 2000

Problem 1553

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

Consider the sequence defined by a1=2022a_1 = 2022 and an+1=an+eana_{n+1} = a_n + e^{-a_n} for n1n \geq 1. Prove that there exists a positive real number rr for which the sequence {ra1},{ra10},{ra100},...\{ra_1\}, \{ra_{10}\}, \{ra_{100}\}, . . . converges.

[i]Note[/i]: {x}=xx\{x \} = x - \lfloor x \rfloor denotes the part of xx after the decimal point.

[i]Proposed by Ethan Tan[/i]

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 initial conditions:
The sequence is defined by a1=2022 a_1 = 2022 and an+1=an+ean a_{n+1} = a_n + e^{-a_n} for n1 n \geq 1 .

2. **Behavior of the sequence an a_n :**
To understand the behavior of an a_n , we note that ean e^{-a_n} is a very small positive number since an a_n is large. Therefore, an+1 a_{n+1} is slightly larger than an a_n , implying that an a_n is strictly increasing.

3. **Convergence of anlog(n) a_n - \log(n) :**
We need to show that anlog(n) a_n - \log(n) converges. Consider the sequence bn=anlog(n) b_n = a_n - \log(n) . We have:
an+1=an+ean a_{n+1} = a_n + e^{-a_n}
Subtracting log(n+1) \log(n+1) from both sides, we get:
an+1log(n+1)=anlog(n+1)+ean a_{n+1} - \log(n+1) = a_n - \log(n+1) + e^{-a_n}
Using the approximation log(n+1)log(n)+1n \log(n+1) \approx \log(n) + \frac{1}{n} for large n n , we have:
an+1log(n+1)anlog(n)1n+ean a_{n+1} - \log(n+1) \approx a_n - \log(n) - \frac{1}{n} + e^{-a_n}
Therefore,
bn+1bn1n+ean b_{n+1} \approx b_n - \frac{1}{n} + e^{-a_n}
Since ean e^{-a_n} is very small, bn b_n converges to some limit L L .

4. **Choosing r r :**
We take r=1log(10) r = \frac{1}{\log(10)} . Then, we consider the sequence {ra10n} \{ ra_{10^n} \} .

5. **Behavior of ra10n ra_{10^n} :**
We have:
ra10n=r(a10nlog(10n)+log(10n))=r(a10nnlog(10))+rnlog(10) ra_{10^n} = r(a_{10^n} - \log(10^n) + \log(10^n)) = r(a_{10^n} - n \log(10)) + rn \log(10)
Since a10nnlog(10) a_{10^n} - n \log(10) converges, let it converge to L L . Then,
ra10n=rL+n ra_{10^n} = rL + n

6. Convergence of the fractional part:
The fractional part {ra10n} \{ ra_{10^n} \} is given by:
{ra10n}={rL+n} \{ ra_{10^n} \} = \{ rL + n \}
Since rL rL is a constant and n n is an integer, the sequence {ra10n} \{ ra_{10^n} \} converges to {rL} \{ rL \} .

Therefore, we have shown that there exists a positive real number r r such that the sequence {ra1},{ra10},{ra100}, \{ ra_1 \}, \{ ra_{10} \}, \{ ra_{100} \}, \ldots converges.

\blacksquare

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