Problem

Source: Hungary-Israel Binational Olympiad 2009, Problem 2

Tags: algebra unsolved, algebra



Denote the three real roots of the cubic $ x^3 - 3x - 1 = 0$ by $ x_1$, $ x_2$, $ x_3$ in order of increasing magnitude. (You may assume that the equation in fact has three distinct real roots.) Prove that $ x_3^2 - x_2^2 = x_3 - x_1$.