Maths Olympiad Prep

Track / Stage 6 / 238 of 400 #1238 of 1964

Problem 1238

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. Spacing, $ signs and \frac vs / are all fine.

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+22220+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,

xi22xi+y=0,xi=1±1y, otherwise xi1=1y 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 xi1x_{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+x12=(x11)(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+9494>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, x11=x21=x31x_{1}-1=x_{2}-1=x_{3}-1, and thus x1=x2=x3x_{1}=x_{2}=x_{3}, and x41=1x1x_{4}-1=1-x_{1}. So x4=2x1x_{4}=2-x_{1}, and from (1) for i=4i=4

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

and since x10,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, x11=x21=1x3=1x4=x4x_{1}-1=x_{2}-1=1-x_{3}=1-x_{4}=x_{4}, so x1=x2x_{1}=x_{2}, and x3=x4=2x1x_{3}=x_{4}=2-x_{1}, and from (1) for i=3i=3

2x1+x12(2x1)=2,x1(x11)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 x1x2,x1x3x_{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=2x1x2+x3x4(x2x1)=(x1x2)(1x3x4)=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

(x1x3)(1x2x4)=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+(2x2)x23=2x2,x242x23+2x21=0x2412x2(x221)=(x221)(x22+12x2)=(x21)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=2x2=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=2x2=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 and solution reproduced as published; topic, difficulty and ordering added by this site.