2018 IMO Problems/Problem 2

Revision as of 05:43, 27 August 2022 by Vvsss (talk | contribs) (Solution)

Find all numbers $n \ge 3$ for which there exists real numbers $a_1, a_2, ..., a_{n+2}$ satisfying $a_{n+1} = a_1, a_{n+2} = a_2$ and \[a_{i}a_{i+1} + 1 = a_{i+2}\] for $i = 1, 2, ..., n.$

Solution

We find at least one series of real numbers for $n = 3,$ for each $n = 3k$ and we prove that if $n = 3k \pm 1,$ then the series does not exist.

Case 1

Let $n = 3.$ We get system of equations \[\begin{cases} a_1 a_2 + 1 = a_3 \\a_2 a_3 + 1 = a_1 \\a_3 a_1 + 1 = a_2 \end{cases}\]

We subtract the first equation from the second and get: \[a_2 (a_3 – a_1) =  (a_1 – a_3).\] So $a_2 = – 1 \implies  a_1 = 2, a_3 =  – 1.$

Case 1a

Let $n = 3k, k={1,2,...}.$ Real numbers $a_1 =a_4 =...=2, a_2 = a_3 = a_5=...=-1$ satisfying $a_{n+1} = a_1, a_{n+2} = a_2$ and $a_{i}a_{i+1} + 1 = a_{i+2}$.

Case 2

Let $n = 4.$ We get system of equations \[\begin{cases} a_1 a_2 + 1 = a_3 \\a_2 a_3 + 1 = a_4 \\a_3 a_4 + 1 = a_1\\a_4 a_1 + 1 = a_2 \end{cases}\] We multiply each equation by the number on the right-hand side and get: \[\begin{cases} a_1 a_2 a_3 + a_3 = a_3^2 \\a_2 a_3 a_4 + a_4 = a_4^2 \\a_3 a_4 a_1 + a_1 = a_1^2 \\a_4 a_1 a_2 + a_2 = a_2^2 \end{cases}\] We multiply each equation by a number that precedes a pair of product numbers in a given sequence $a_1, a_2, a_3, a_4, a_1, a_2.$ So we multiply the equation with product $a_1 a_2$ by $a_4$, we multiply the equation with product $a_4 a_1$ by $a_3$ etc. We get: \[\begin{cases} a_1 a_2 a_4 + a_4 = a_3 a_4 \\a_2 a_3 a_1 + a_1 = a_4 a_1 \\a_3 a_4 a_2 + a_2 = a_1 a_2 \\a_4 a_1 a_3 + a_3 = a_2 a_3 \end{cases}\] We add all the equations of the first system, and all the equations of the second system. The sum of the left parts are the same! It includes the sum of all the numbers $a_i$ and the sum of the triples of consecutive numbers $a_i a_{i + 1} a_{i + 2}.$ Hence, the sums of the right parts are equal, that is, \[a_1^2 + a_2^2 + ... + a_4^2 – a_1 a_2 – a_2 a_3 – a_3 a_4 – a_1 a_4 = 0.\] It is known that this expression is doubled \[(a_1 – a_2)^2 +  (a_2 – a_3)^2 + ... + (a_4 – a_1)^2 = 0 \implies a_1 = a_2 = a_3 = a_4 .\] Substituting into any of the initial equations, we obtain the equation $a_1^2 + 1 = a_1,$ which does not have real roots. Hence, there are no such real numbers.

Case 2a

Let $n = 5.$ We get system of equations \[\begin{cases} a_1 a_2 + 1 = a_3 \\a_2 a_3 + 1 = a_4 \\a_3 a_4 + 1 = a_5\\a_4 a_5 + 1 = a_1 \\a_5 a_1 + 1 = a_2\end{cases}\] We repeat all steps of Case 2 and get: there are no such real numbers.

Case 2b

Let $n = 3k \pm  1.$ We repeat all steps of cases $2$ and $2a$ and get: there are no such real numbers.

vladimir.shelomovskii@gmail.com, vvsss