MathDB
system 6x4 , x_1 + x_2 = x^2_3 + x^2_4 + 6x_3x_4

Source: 2021 Dutch IMO TST 1.2

December 28, 2021
algebrasystem of equationsSystem

Problem Statement

Find all quadruplets (x1,x2,x3,x4)(x_1, x_2, x_3, x_4) of real numbers such that the next six equalities apply: {x1+x2=x32+x42+6x3x4x1+x3=x22+x42+6x2x4x1+x4=x22+x32+6x2x3x2+x3=x12+x42+6x1x4x2+x4=x12+x32+6x1x3x3+x4=x12+x22+6x1x2\begin{cases} x_1 + x_2 = x^2_3 + x^2_4 + 6x_3x_4\\ x_1 + x_3 = x^2_2 + x^2_4 + 6x_2x_4\\ x_1 + x_4 = x^2_2 + x^2_3 + 6x_2x_3\\ x_2 + x_3 = x^2_1 + x^2_4 + 6x_1x_4\\ x_2 + x_4 = x^2_1 + x^2_3 + 6x_1x_3 \\ x_3 + x_4 = x^2_1 + x^2_2 + 6x_1x_2 \end{cases}