Giả sử 2016k + 3 = a3 với k và a là số nguyên.
Suy ra: 2016k = a3 – 3
Ta thấy 2016k 7
Nên ta chứng minh a3 – 3 không chia hết cho 7 thì 2016k + 3 ≠ a3
Thật vậy: Ta biểu diễn a = 7m + r, với r .
Trong tất cả các trường hợp trên ta đều có a3 – 3 không chia hết cho 7.
Mà 2016k luôn chia hết cho 7,
nên a3 – 3 2016k.
Bài toán được chứng minh