`x^3+x^2+5x-1=0` và `-y^3+4y^2-10y+6=0` 

`->x^3+x^2+5x-1=-y^3+4y^2-10y+6`

Giả sử `x+y=1`

Suy ra: `x=1-y` 

Thay vào `x^3+x^2+5x-1` được:

`=(1-y)^3+(1-y)^2+5(1-y)-1`

`=(1-3y+3y^2-y^3)+(1-2y+y^2)+(5-5y)-1`

`=1-3y+3y^2-y^3+1-2y+y^2+5-5y-1`

`=-y^3+(3y^2+y^2)+(-3y-2y-5y)+(1+1+5-1)`

`=-y^3+4y^2-10y+6` 

`->x^3+x^2+5x-1=-y^3+4y^2-10y+6`(đúng) khi `x+y=1`

`->`Điều giả sử đúng

Vậy `x+y=1` khi `x^3+x^2+5x-1=0` và `-y^3+4y^2-10y+6=0`