Maths Olympiad Prep

Track / Stage 6 / 294 of 400 #1294 of 1964

Problem 1294

National Olympiad, first round
Algebra Difficulty 6.4 Find the answer

Let's find all the quadruples of real numbers x1,x2,x3x_{1}, x_{2}, x_{3}, x4x_{4}, such that by adding to any of its elements the product of the other three, the sum is always 2.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Next problem →

Official solution

I. solution. None of the xix_{i} can be 0, because it is easily seen that then the others could only be 2, but then 0+2⋅2⋅2≠20+2 \cdot 2 \cdot 2 \neq 2. Let us denote the product x1x2x3x4x_{1} x_{2} x_{3} x_{4} by yy, then we have to solve the system of equations

xi+yxi=2(i=1,2,3,4) x_{i}+\frac{y}{x_{i}}=2 \quad(i=1,2,3,4)

From this,

xi2−2xi+y=0,xi=1±1−y, otherwise ∣xi−1∣=1−y x_{i}^{2}-2 x_{i}+y=0, x_{i}=1 \pm \sqrt{1-y}, \text { otherwise }\left|x_{i}-1\right|=\sqrt{1-y}

According to this, by reducing the unknowns by 1, we can get at most two different numbers. This can happen in three ways:

α\alpha) all four xi−1x_{i}-1 differences are equal,

β\beta) three are equal, the fourth is -1 times as large,

γ\gamma) two are equal, the other two are -1 times as large.

In the α\alpha case, x1=x2=x3=x4x_{1}=x_{2}=x_{3}=x_{4}, so from (1)

x1+x13=2,x13+x1−2=(x1−1)(x12+x1+2)=0 x_{1}+x_{1}^{3}=2, \quad x_{1}^{3}+x_{1}-2=\left(x_{1}-1\right)\left(x_{1}^{2}+x_{1}+2\right)=0

and since the second factor is positive for all real x1x_{1} values:

x12+x1+2=(x1+12)2+94≧94>0 x_{1}^{2}+x_{1}+2=\left(x_{1}+\frac{1}{2}\right)^{2}+\frac{9}{4} \geqq \frac{9}{4}>0

only x1=1x_{1}=1 is possible. The number quadruple 1,1,1,11,1,1,1 indeed satisfies the requirements.

In the β\beta case, for example, x1−1=x2−1=x3−1x_{1}-1=x_{2}-1=x_{3}-1, and thus x1=x2=x3x_{1}=x_{2}=x_{3}, and x4−1=1−x1x_{4}-1=1-x_{1}. So x4=2−x1x_{4}=2-x_{1}, and from (1) for i=4i=4

2−x1+x13=2,x1(x12−1)=0 2-x_{1}+x_{1}^{3}=2, \quad x_{1}\left(x_{1}^{2}-1\right)=0

and since x1≠0,x1x_{1} \neq 0, x_{1} can be 1 or -1. The first leads to the previous solution, the latter to the number quadruple −1,−1,−1,3-1,-1,-1,3, which is also indeed a solution.

In the γ\gamma case, for example, x1−1=x2−1=1−x3=1−x4=x4x_{1}-1=x_{2}-1=1-x_{3}=1-x_{4}=x_{4}, so x1=x2x_{1}=x_{2}, and x3=x4=2−x1x_{3}=x_{4}=2-x_{1}, and from (1) for i=3i=3

2−x1+x12(2−x1)=2,x1(x1−1)2=0 2-x_{1}+x_{1}^{2}\left(2-x_{1}\right)=2, \quad x_{1}\left(x_{1}-1\right)^{2}=0

we only get the solution 1,1,1,11,1,1,1.

According to all this, two real number quadruples satisfy the requirement: 1,1,1,11,1,1,1 and −1,−1,−1,3-1,-1,-1,3.

János Lörincz (Sárospatak, Rákóczi F. g. IV. o. t.)

II. solution. There is one solution where x1=x2=x3=x4x_{1}=x_{2}=x_{3}=x_{4}, as we saw in the previous solution: x1=x2=x3=x4=1x_{1}=x_{2}=x_{3}=x_{4}=1. If there are different numbers among the numbers, then there is one that differs from at least two others. Choose the numbering so that x1≠x2,x1≠x3x_{1} \neq x_{2}, x_{1} \neq x_{3} holds. Write down the requirement starting from x1x_{1} and x2x_{2}, then form the difference of the two equalities:

x1+x2x3x4=2,x2+x1x3x4=2x1−x2+x3x4(x2−x1)=(x1−x2)(1−x3x4)=0 \begin{gathered} x_{1}+x_{2} x_{3} x_{4}=2, \quad x_{2}+x_{1} x_{3} x_{4}=2 \\ x_{1}-x_{2}+x_{3} x_{4}\left(x_{2}-x_{1}\right)=\left(x_{1}-x_{2}\right)\left(1-x_{3} x_{4}\right)=0 \end{gathered}

Similarly

(x1−x3)(1−x2x4)=0 \left(x_{1}-x_{3}\right)\left(1-x_{2} x_{4}\right)=0

Then from (3) and (4) x3x4=1x_{3} x_{4}=1, and x2x4=1x_{2} x_{4}=1, so from (2) x1+x2=2x_{1}+x_{2}=2, and x1+x3=2x_{1}+x_{3}=2, so x2=x3x_{2}=x_{3}.

From the equation x4+x1x2x3=2x_{4}+x_{1} x_{2} x_{3}=2 starting from x4x_{4}, x1x_{1}, x3x_{3}, x4x_{4} can be easily eliminated if we multiply by x2x_{2}:

x2x4+x1x22x3=1+(2−x2)x23=2x2,x24−2x23+2x2−1=0x24−1−2x2(x22−1)=(x22−1)(x22+1−2x2)=(x2−1)3(x2+1)=0 \begin{gathered} x_{2} x_{4}+x_{1} x_{2}^{2} x_{3}=1+\left(2-x_{2}\right) x_{2}^{3}=2 x_{2}, \quad x_{2}^{4}-2 x_{2}^{3}+2 x_{2}-1=0 \\ x_{2}^{4}-1-2 x_{2}\left(x_{2}^{2}-1\right)=\left(x_{2}^{2}-1\right)\left(x_{2}^{2}+1-2 x_{2}\right)=\left(x_{2}-1\right)^{3}\left(x_{2}+1\right)=0 \end{gathered}

From this, either x2=x3=1,x1=2−x2=1,x4=1/x2=1x_{2}=x_{3}=1, x_{1}=2-x_{2}=1, x_{4}=1 / x_{2}=1, which does not contain different values, or x2=x3=−1x_{2}=x_{3}=-1, x4=1/x2=−1,x1=2−x2=3x_{4}=1 / x_{2}=-1, x_{1}=2-x_{2}=3, and this indeed satisfies the requirements.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.