Chứng minh aⁿ – bⁿ = (a – b)(a^{n – 1} + a^{n – 2}b + ... + ab^{n –2} + b^{n – 1}) với n  ℕ^*.

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