Difference between revisions of "2018 IMO Problems/Problem 2"

Revision as of 02:58, 16 August 2022

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 1'

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 2'

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.

@@ Line 32: / Line 32: @@
 <cmath>(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 .</cmath>
 Substituting into any of the initial equations, we obtain the equation <math>a_1^2 + 1 = a_1,</math> which does not have real roots. Hence, there are no such real numbers.
+<i><b>Case 2'</b></i>
+Let <math>n = 5.</math> We get system of equations
+<cmath> ${\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}$ </cmath>
+We repeat all steps of <i><b>Case 2</b></i> and get: there are no such real numbers.

Page

Toolbox

Search

Difference between revisions of "2018 IMO Problems/Problem 2"

Revision as of 02:58, 16 August 2022

Solution