a, Với n = 1 ta có 3 ⋮ 3.
Giả sử n = k ≥ 1 , ta có : k3 + 2k ⋮ 3 ( GT qui nạp).
Ta đi chứng minh : n = k + 1 cũng đúng:
(k+1)^3 + 2(k+1) = k^3 + 3k^2 + 3k + 1 + 2k + 2
= (k^3+2k) + 3(k^2+k+1)
Ta có : + (k^3+2k) ⋮ 3 ( theo gt trên)
+ 3(k^2+k+1) hiển nhiên chia hết cho 3
Vậy mệnh đề luôn chia hết cho 3.
b, Với n = 1 ta có 12 ⋮ 6.
Giả sử n = k ≥ 1 , ta có: 13k -1 ⋮ 6
Ta đi chứng minh : n = k+1 cũng đúng:
=> 13k.13 - 1 = 13(13k - 1) + 12.
Có: - 13(13k - 1) ⋮ 6 ( theo gt)
- 12⋮6 ( hiển nhiên)
> Vậy mệnh đề luôn đúng.