Từ :
\(x^3+y^3+z^3=x+y+z+2017\) \(\implies\) \(\left(x^3-x\right).\left(y^3-y\right).\left(z^3-z\right)=2017\left(1\right)\)
Chứng minh được :\(x^3-x=x.\left(x-1\right).\left(x+1\right)\)
\(y^3-y=y.\left(y-1\right).\left(y+1\right)\)
\(z^3-1=y.\left(y-1\right).\left(y+1\right)\)
Vì x, y, z là các số nguyên nên
\(x.\left(x-1\right).\left(x+1\right);y.\left(y-1\right).\left(y+1\right);z.\left(z-1\right).\left(z+1\right)\) là tích của ba số nguyên liên tiếp nên chia hết cho 3
Do đó vế trái của (1) luôn chia hết cho 3 mà 2017 không chia hết cho 3
Vậy không có số nguyên x,y,z nào thỏa mãn ycbt
