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

(Solution)
 
(3 intermediate revisions by one other user not shown)
Line 1: Line 1:
 +
==Problem==
 +
 
Find all numbers <math>n \ge 3</math> for which there exists real numbers <math>a_1, a_2, ..., a_{n+2}</math> satisfying <math>a_{n+1} = a_1, a_{n+2} = a_2</math> and  
 
Find all numbers <math>n \ge 3</math> for which there exists real numbers <math>a_1, a_2, ..., a_{n+2}</math> satisfying <math>a_{n+1} = a_1, a_{n+2} = a_2</math> and  
 
<cmath>a_{i}a_{i+1} + 1 = a_{i+2}</cmath>
 
<cmath>a_{i}a_{i+1} + 1 = a_{i+2}</cmath>
Line 14: Line 16:
 
So <math>a_2 = – 1 \implies  a_1 = 2, a_3 =  – 1.</math>
 
So <math>a_2 = – 1 \implies  a_1 = 2, a_3 =  – 1.</math>
  
<i><b>Case 1'</b></i>
+
<i><b>Case 1a</b></i>
  
 
Let <math>n = 3k, k={1,2,...}.</math>  
 
Let <math>n = 3k, k={1,2,...}.</math>  
Line 33: Line 35:
 
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.
 
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>
+
<i><b>Case 2a</b></i>
 
   
 
   
 
Let <math>n = 5.</math> We get system of equations  
 
Let <math>n = 5.</math> We get system of equations  
Line 39: Line 41:
 
We repeat all steps of <i><b>Case 2</b></i> and get: there are no such real numbers.
 
We repeat all steps of <i><b>Case 2</b></i> and get: there are no such real numbers.
  
<i><b>Case 2''</b></i>  
+
<i><b>Case 2b </b></i>  
Let <math>n = 3k \pm  1.</math> We repeat all steps of cases <math>2</math> and <math>2'</math> and get: there are no such real numbers.
+
 
 +
Let <math>n = 3k \pm  1.</math> We repeat all steps of cases <math>2</math> and <math>2a</math> and get: there are no such real numbers.
 +
 
 +
'''vladimir.shelomovskii@gmail.com, vvsss'''
 +
 
 +
==See Also==
  
'''vladimir.shelomovskii@gmail.com, vvsss, www.deoma–cmd.ru'''
+
{{IMO box|year=2018|num-b=1|num-a=3}}

Latest revision as of 00:44, 19 November 2023

Problem

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

See Also

2018 IMO (Problems) • Resources
Preceded by
Problem 1
1 2 3 4 5 6 Followed by
Problem 3
All IMO Problems and Solutions