*Ta có 2y³  y⁴ + y²

=> (x³ + y³) + (x² + y³) (x² + y²) + (y⁴ + x³)

Mà x³ + y⁴ x² + y³ do đó x³ + y³ x² + y²           (1)

*Ta có: x(x - 1)²  0: y(y + 1)(y - 1)² 0

=> x(x - 1)² + y(y + 1)(y - 1)² 0

=> x³ - 2x² + x + y⁴ - y³ - y² + y 0

=> (x² + y²) + (x² + y³) (x + y) + (x³ + y⁴)

Mà x² + y³ x³ + y⁴ => x² + y² x + y                             (2)

*Ta có: (x + 1)(x - 1)² 0; (y - 1)²(y² + y + 1) 0

=> x³ - x² - x + 1 + y⁴ - y - y³ + 1 0

=> (x + y) + (x² + y³) 2 + (x³ + y⁴)

Mà x² + y³ x³ + y⁴

=> x + y 2                                           (3)

Từ (1) (2) và (3) ta có:

x³ + y³ x² + y² x + y 2

bạn Điềm xem cách này có được không?

Ta có:

  (*) (do giả thiết)

   (do*)

Mà  (do giả thiết)

Từ đó:  

  (đpcm)