n3 + n + 2
= n3 - n + 2n + 2
= n.(n2 - 1) + 2.(n + 1)
= n.(n - 1).(n + 1) + 2.(n + 1)
= (n + 1).(n2 - n + 2), có ít nhất 3 ước khác 1
=> n3 + n + 2 là hợp số với mọi n ϵ N* (đpcm)
Có: n3 + n + 2 = n(n2+1) + 2
- Nếu n lẻ => n2 lẻ => n2 + 1 chẵn => n2 + 1 chia hết cho 2 => n(n2+1) chia hết cho 2
Mà n(n2+1) + 2 > 2 => n(n2+1) + 2 là hợp số => n3 + n + 2 là hợp số (1)
- Nếu n chẵn => n(n2+1) chia hết cho 2 => n(n2+1) + 2 chia hết cho 2
Mà n(n2+1) + 2 > 2 => n(n2+1) + 2 là hợp số => n3 + n + 2 là hợp số (2)
Từ (1) và (2) => n3 + n + 3 là hợp số với mọi n \(\in\) N*