Maths Olympiad Prep

Library / Italian Mathematical Olympiad - February Round /7 of 18

Italian Mathematical Olympiad - February Round

Algebra Difficulty 5.4 AIME, harder Find the answer Italy

Problem:

We set a1=1a_{1}=1 and, for every n≥2n \geq 2,
an=n(a1+a2+⋯+an−1). a_{n}=n\left(a_{1}+a_{2}+\cdots+a_{n-1}\right) .
What is the smallest value of nn for which ana_{n} is divisible by 2022?

Pick one

Solution

Solution:

The answer is (C)(\mathbf{C}). Let us consider the equations
{an=n(a1+a2+⋯+an−1)an+1=(n+1)(a1+a2+⋯+an−1+an) \left\{ \begin{array}{l} a_{n}=n\left(a_{1}+a_{2}+\cdots+a_{n-1}\right) \\ a_{n+1}=(n+1)\left(a_{1}+a_{2}+\cdots+a_{n-1}+a_{n}\right) \end{array} \right.
valid for every n≥2n \geq 2. Let us now rewrite the second one in the form
an+1=n(a1+a2+⋯+an−1)+(a1+a2+⋯+an−1)+(n+1)an=an+ann+(n+1)an=n2+2n+1nan=(n+1)2nan \begin{aligned} a_{n+1} & =n\left(a_{1}+a_{2}+\cdots+a_{n-1}\right)+\left(a_{1}+a_{2}+\cdots+a_{n-1}\right)+(n+1) a_{n} \\ & =a_{n}+\frac{a_{n}}{n}+(n+1) a_{n} \\ & =\frac{n^{2}+2 n+1}{n} a_{n} \\ & =\frac{(n+1)^{2}}{n} a_{n} \end{aligned}
where - using the first equation - we have replaced a1+a2+⋯+an−1a_{1}+a_{2}+\cdots+a_{n-1} with ann\frac{a_{n}}{n} wherever possible. We then obtain
an=n2n−1an−1=n2n−1(n−1)2n−2an−2=⋯=n2n−1(n−1)2n−2⋯322a2. a_{n}=\frac{n^{2}}{n-1} a_{n-1}=\frac{n^{2}}{n-1} \frac{(n-1)^{2}}{n-2} a_{n-2}=\cdots=\frac{n^{2}}{n-1} \frac{(n-1)^{2}}{n-2} \cdots \frac{3^{2}}{2} a_{2} .
Simplifying the denominator of each fraction with the numerator of the next one, and observing that a2=2a_{2}=2, we obtain
an=n2⋅(n−1)⋅(n−2)⋅…⋅4⋅32a2=n⋅n!2 a_{n}=n^{2} \cdot(n-1) \cdot(n-2) \cdot \ldots \cdot 4 \cdot \frac{3}{2} a_{2}=n \cdot \frac{n !}{2}
for every n≥2n \geq 2. At this point, we observe that 2022=2⋅3⋅3372022=2 \cdot 3 \cdot 337 divides n⋅n!2n \cdot \frac{n !}{2} if and only if this number is divisible separately by 2, 3 and 337. On one hand, since n⋅n!2n \cdot \frac{n !}{2} is a product of numbers less than or equal to nn and 337 is prime, such a product can be divisible by 337 only if n≥337n \geq 337. On the other hand, if n=337n=337 we have an=337⋅12⋅337!a_{n}=337 \cdot \frac{1}{2} \cdot 337!, and 12⋅337!=3⋅4⋅…⋅337\frac{1}{2} \cdot 337! = 3 \cdot 4 \cdot \ldots \cdot 337 is certainly a multiple of 6, so that 2⋅3⋅3372 \cdot 3 \cdot 337 divides a337a_{337}, and therefore 337 is the minimum sought.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from it; metadata (topic, difficulty) added by this project.