Cho tam giác đều màu xanh (Hình thứ nhất).

a) Nêu quy luật chọn tam giác đều màu trắng ở Hình thứ hai.

b) Nêu quy luật chọn các tam giác đều màu trắng ở Hình thứ ba.

c) Nêu quy luật tiếp tục chọn các tam giác đều màu trắng từ Hình thứ tư và các tam giác đều màu trắng ở những hình sau đó.

d) Tinh số tam giác đều màu xanh lần lượt trong các Hình thứ nhất, Hình thú hai, Hình thứ ba.

e) Dự đoán số tam giác đều màu xanh trong Hình thứ n. Chứng minh kết quả đó bằng phương pháp quy nạp toán học.

+) 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$ ℕ^*.