Ta có :
n3 + n + 2 = ( n3 + 1 ) + ( n + 1 )
= ( n + 1 ) ( n2 - n + 1 ) + ( n + 1 )
= ( n + 1 ) ( n2 - n + 2 )
Ta thấy n + 1 > 1 ; n2 - n + 2 > 1 nên n3 + n + 2 là hợp số
Do n là số tự nhiên khác 0 =) n = 2k hoặc 2k + 1 với k là stn
(+) Nếu n = 2k =) n^3 + n + 2 = (2k)^3 + 2k + 2 chia hết cho 2 (1)
(+) Nếu n = 2k + 1 =) n^3 + n + 2 = lẻ + lẻ +chẵn = chẵn chia hết cho 2 (2)
Từ (1) và (2) ta có điều phải chứng minh