Difference between revisions of "2017 JBMO Problems/Problem 1"

Line 27: Line 27:
 
In any case, either 3⋅6 or 6⋅9 or 9⋅12 needs to be included in every solution set. So we can only have five (actually only three) cases:
 
In any case, either 3⋅6 or 6⋅9 or 9⋅12 needs to be included in every solution set. So we can only have five (actually only three) cases:
  
'''Case 1:''' <math>x_1-x_2 = x_3 -x_4 =  x_5 -x_6 = 3</math>
+
'''Case 1:''' <math> |x_1-x_2| = |x_3 -x_4| |x_5 -x_6| = 3</math>
  
 
<math>k(k+3)+(k+1)(k+4) \leq (k+2)(k+5) \to k \leq 3 </math>
 
<math>k(k+3)+(k+1)(k+4) \leq (k+2)(k+5) \to k \leq 3 </math>
Line 34: Line 34:
  
 
<math> 2 \cdot 5 + 3 \cdot 6 = 4 \cdot 7</math>
 
<math> 2 \cdot 5 + 3 \cdot 6 = 4 \cdot 7</math>
 +
 +
Rejected: { 1⋅4, 2⋅5, 3⋅6 }, {3⋅6, 4⋅7 5⋅8}
  
 
<math>Y_2</math>  is the only solution set for this case.  
 
<math>Y_2</math>  is the only solution set for this case.  
  
'''Case 2:''' <math>x_1-x_2 =1, x_3 -x_4 = 3,  x_5 -x_6 = 1</math>
+
'''Case 2:''' <math>|x_1-x_2| =1, |x_3 -x_4| = 3,  |x_5 -x_6| = 1</math>
 +
 
 +
<math>k(k+1)+(k+2)(k+5) \leq (k+3)(k+4) \to k \leq 3 </math>
  
 
<math>k(k+3)+(k+1)(k+2) \leq (k+4)(k+5) \to k \leq 6 </math>
 
<math>k(k+3)+(k+1)(k+2) \leq (k+4)(k+5) \to k \leq 6 </math>
Line 44: Line 48:
  
 
<math> 7 \cdot 8 + 6 \cdot 9 = 10 \cdot 11</math>
 
<math> 7 \cdot 8 + 6 \cdot 9 = 10 \cdot 11</math>
 +
 +
Rejected: { 3⋅6, 4⋅5, 8⋅7 }, {6⋅9, 4⋅5, 8⋅7}
  
 
<math>Y_1</math> and <math>Y_6</math> are the only solution sets for this case.  
 
<math>Y_1</math> and <math>Y_6</math> are the only solution sets for this case.  
  
'''Case 3:''' <math>x_1-x_2 = 3, x_3 -x_4 = 5, x_5 -x_6 = 1</math>
+
'''Case 3:''' <math> |x_1-x_2| = 3 |x_3 -x_4| = 5, |x_5 -x_6| = 1</math>
  
 
No solution set for this case since no element of set C can be a solution.
 
No solution set for this case since no element of set C can be a solution.
  
'''Case 4:''' <math>x_1-x_2 = x_3 -x_4 =  x_5 -x_6 = 1</math>
+
'''Case 4:''' <math> |x_1-x_2| = |x_3 -x_4| |x_5 -x_6| = 1</math>
  
 
No solution set for this case, as the multiples of three need to be multiplied together.
 
No solution set for this case, as the multiples of three need to be multiplied together.
Line 57: Line 63:
 
(This case is actually not realistic and it was included here just for completeness.)
 
(This case is actually not realistic and it was included here just for completeness.)
  
'''Case 5:''' <math>x_1-x_2 = 1,  x_3 -x_4 = 5, x_5 -x_6 = 1</math>
+
'''Case 5:''' <math>|x_1-x_2| = 1,  |x_3 -x_4| = 5, |x_5 -x_6| = 1</math>
  
 
No solution set for this case, as the multiples of three need to be multiplied together.
 
No solution set for this case, as the multiples of three need to be multiplied together.

Revision as of 02:58, 23 April 2018

Problem

Determine all the sets of six consecutive positive integers such that the product of some two of them, added to the product of some other two of them is equal to the product of the remaining two numbers.

Solution

$x_1 x_2 + x_3 x_4 =  x_5 x_6$

Every set which is a solution must be of the form $Y_k = \{k, k+1, k+2, k+3, k+4, k+5\}$

Since they are consecutive, it follows that $x_2, x_4 x_4,  x_6$ are even and $x_1, x_3, x_5$ are odd.

In addition, exactly two of the six integers are multiples of $3$ and need to be multiplied together. Exactly one of these two integers is even (and also the only one which is multiple of $6$) and the other one is odd.

Also, each pair of positive integers destined to be multiplied together can have a difference of either $1$ or $3$ or $5$.

So, we only have to consider integers from $1$ up to $12$. Therefore we calculate the following products:

A = { 2⋅1, 4⋅5, 8⋅7, 13⋅14, 10⋅11}

B = { 1⋅4, 2⋅5, 3⋅6, 4⋅7 5⋅8, 6⋅9, 7⋅10, 8⋅11, 9⋅12}

C = { 2⋅7, 5⋅10, 10⋅15}

One could also construct a graph G=(V,E) with the set V of vertices (also called nodes or points) and the set E of edges (also called arcs or line). The elements of all sets A,B,C will be the vertices. The edges will be the possibles combinations, so the candidate solutions will form a cycle of exactly three vertices.

In any case, either 3⋅6 or 6⋅9 or 9⋅12 needs to be included in every solution set. So we can only have five (actually only three) cases:

Case 1: $|x_1-x_2| = |x_3 -x_4| =  |x_5 -x_6| = 3$

$k(k+3)+(k+1)(k+4) \leq (k+2)(k+5) \to k \leq 3$

We just have to look at set B in this case.

$2 \cdot 5 + 3 \cdot 6 = 4 \cdot 7$

Rejected: { 1⋅4, 2⋅5, 3⋅6 }, {3⋅6, 4⋅7 5⋅8}

$Y_2$ is the only solution set for this case.

Case 2: $|x_1-x_2| =1, |x_3 -x_4| = 3,  |x_5 -x_6| = 1$

$k(k+1)+(k+2)(k+5) \leq (k+3)(k+4) \to k \leq 3$

$k(k+3)+(k+1)(k+2) \leq (k+4)(k+5) \to k \leq 6$

$1 \cdot 2 + 3 \cdot 6 = 4 \cdot 5$

$7 \cdot 8 + 6 \cdot 9 = 10 \cdot 11$

Rejected: { 3⋅6, 4⋅5, 8⋅7 }, {6⋅9, 4⋅5, 8⋅7}

$Y_1$ and $Y_6$ are the only solution sets for this case.

Case 3: $|x_1-x_2| = 3 |x_3 -x_4| = 5,  |x_5 -x_6| = 1$

No solution set for this case since no element of set C can be a solution.

Case 4: $|x_1-x_2| = |x_3 -x_4| =  |x_5 -x_6| = 1$

No solution set for this case, as the multiples of three need to be multiplied together.

(This case is actually not realistic and it was included here just for completeness.)

Case 5: $|x_1-x_2| = 1,  |x_3 -x_4| = 5, |x_5 -x_6| = 1$

No solution set for this case, as the multiples of three need to be multiplied together.

(This case is actually not realistic and it was included here just for completeness.)


See also

2017 JBMO (ProblemsResources)
Preceded by
First Problem
Followed by
Problem 2
1 2 3 4
All JBMO Problems and Solutions