Chứng minh rằng với mọi số tự nhiên n ≥ 2, ta có đằng thức: an – bn = (a – b)(an – 1 + an – 2b + ... + abn –2 + bn – 1).

Bước 1. Khi n = 1, ta có: a¹ – b¹ = a – b.

Vậy khẳng định đúng với n = 1.

Bước 2. Giả sử khẳng định đúng với n = k, tức là ta có:

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

Ta sẽ chứng minh rằng khẳng định cũng đủng với n = k + 1, nghĩa là ta sẽ chứng minh:

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, sử dụng giả thiết quy nạp ta có:

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 khẳng định đúng với mọi số tự nhiên n ≥ 1.