Chứng minh với mọi n $\in$ ℕ^*, ta có:

a) 4ⁿ + 15n – 1 chia hết cho 9;

b) 13ⁿ – 1 chia hết cho 6.

+) Khi n = 1, ta có: a¹ – b¹ = a – b.

Vậy mệnh đề đúng với n = 1.

+) Với k là một số nguyên dương tuỳ ý mà mệnh đề đúng, ta phải chứng minh mệnh đề cũng đúng với k + 1, tức là:

a^{k + 1} – b^{k + 1} = (a – b)[a^{(k + 1) – 1} + a^{(k + 1) – 2}b + ... + ab^{(k + 1) –2} + b^{(k + 1) – 1}]

Thật vậy, theo giả thiết quy nạp ta có:

a^k – b^k = (a – b)(a^{k – 1} + a^{k – 2}b + ... + ab^{k –2} + b^{k – 1})

Khi đó:

a^{k + 1} – b^{k + 1}

= a . a^k – b . b^k

= a . a^k – a . b^k + a . b^k – b . b^k

= a . (a^k – b^k) + b^k . (a – b)

= a . (a – b)(a^{k – 1} + a^{k – 2}b + ... + ab^{k –2} + b^{k – 1}) + b^k . (a – b)

= (a – b) . a . (a^{k – 1} + a^{k – 2}b + ... + ab^{k –2} + b^{k – 1}) + (a – b) . b^k

= (a – b)(a . a^{k – 1} + a . a^{k – 2}b + ... + a . ab^{k – 2} + a . b^{k – 1}) + (a – b) . b^k

= (a – b)[a^{1 + (k – 1)} + a^{1 + (k – 2)}b + ... + a²b^{k – 2} + a . b^{k – 1}) + (a – b) . b^k

= (a – b)[a^{(k + 1) – 1} + a^{(k + 1) – 2}b + ... + a²b^{(k + 1) – 3} + ab^{(k + 1) –2}] + (a – b) . b^{(k + 1) – 1}

= (a – b)[a^{(k + 1) – 1} + a^{(k + 1) – 2}b + ... + ab^{(k + 1) –2} + b^{(k + 1) – 1}].

Vậy mệnh đề cũng đúng với n = k + 1. Do đó theo nguyên lí quy nạp toán học, mệnh đề P(n) đúng với mọi n$\in$ℕ^*.

+) Khi n = 1, ta có: 16¹ – 15n – 1 = 0 ⁝ 225.

Vậy mệnh đề đúng với n = 1.

+) Với k là một số nguyên dương tuỳ ý mà mệnh đề đúng, ta phải chứng minh mệnh đề cũng đúng với k + 1, tức là: 16^{k + 1} – 15(k + 1) – 1 chia hết cho 225.

Thật vậy, theo giả thiết quy nạp ta có: 16^k – 15k – 1 chia hết cho 225.

Khi đó:

16^{k + 1} – 15(k + 1) – 1

= 16 . 16^k – 15k – 16

= 16 . 16^k – (240k – 225k) – 16

= 16 . 16^k – 240k + 225k – 16

= 16 . 16^k – 240k – 16 + 225k

= 16 (16^k – 15k – 1) + 225k

Vì (16^k – 15k – 1) và 225k đều chia hết cho 225 nên 16 (16^k – 15k – 1) + 225k ⁝ 225, do đó 16^{k + 1} – 15(k + 1) – 1 ⁝ 225.

Vậy mệnh đề cũng đúng với n = k + 1. Do đó theo nguyên lí quy nạp toán học, mệnh đề đã cho đúng với mọi n $\in$ ℕ^*.