Problem

Source: Polish National Olympiad 2015 2nd round, p4

Tags: polynomial, algebra, Sum, rational, irrational number



Real numbers $x_1, x_2, x_3, x_4$ are roots of the fourth degree polynomial $W (x)$ with integer coefficients. Prove that if $x_3 + x_4$ is a rational number and $x_3x_4$ is a irrational number, then $x_1 + x_2 = x_3 + x_4$.