Chứng minh phương trình x^3 - 3x + 1 = 0 có 3 nghiệm phân biệt x1, x2, x3 (x1 < x2 < x3) thỏa mãn hệ thức x2^2 = 2 + x1 và x3^2 = 2 + x2