x5 - x + 2
= x(x4 - 1) + 2
= x(x4 - x2 + x2 - 1) + 2
= x(x2 - 1)(x2 + 1) + 2
= x(x2 - x + x - 1)(x2 + 1) + 2
= x(x - 1)(x + 1)(x2 + 1) + 2
Nhận thấy x(x - 1)(x + 1) là tích 3 số nguyên liên tiếp nên chia hết cho 3
=> x(x - 1)(x + 1)(x2 + 1) chia hết cho 3
=> x(x - 1)(x + 1)(x2 + 1) + 2 chia 3 dư 2, không là số chính phương
Ta có đpcm