Giả sử pt có nghiệm nguyên
Ta có: VT = x5 - 5x3 + 4x
= x5 - x - 5x3 + 5x
= x(x4 - 1) - 5x3 + 5x
= x(x2 - 1)(x2 + 1) - 5x3 + 5x
= x(x2 - 1)(x2 - 4) + x(x2 - 1).5 - 5x3 + 5x
= (x - 2)(x - 1)x(x+ 1)(x + 2) + 5x(x2 - 1) - 5x3 + 5x
Vì x nguyên nên (x - 2)(x - 1)x(x + 1)(x + 2) là tích 5 số nguyên liên tiếp
=> (x - 2)(x - 1)x(x + 1)(x + 2) chia hết cho 5
Lại có: 5x(x2 - 1); -5x3; 5x chia hết cho 5
Do đó (x - 2)(x - 1)x(x + 1)(x + 2) + 5x(x2 - 1) - 5x3 + 5x chia hết cho 5
hay VT chia hết cho 5
VP = 24(5y + 1) không chia hết cho 5
suy ra điều vô lý
=> điều giả sử là sai
Ta có đpcm