Cho Sn = 1 + 2 + 2^2 + + 2^n và Tn = 2^(n + 1) - 1, với n thuộc N*

a) S₁ = 1 + 2¹ = 3, S₂ = 1 + 2 + 2² = 7, S₃ = 1 + 2 + 2² + 2³ = 15.

T₁ = 2^{1 + 1} – 1 = 3, T₂ = 2^{2 + 1} – 1 = 7, T₃ = 2^{3 + 1} – 1 = 15.

Vậy S₁ = T₁; S₂ = T₂; S₃ = T₃.

b) Ta dự đoán S_n = T_n với n  ℕ^*.

+) Khi n = 1, ta có: S₁ = T₁.

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à: S_{k + 1} = T_{k + 1}.

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

Khi đó:

S_{k + 1} = 1 + 2 + 2² +... + 2^k + 2^{k + 1}

= S_k + 2^{k + 1}

= T_k + 2^{k + 1}

= (2^{k + 1} – 1) + 2^{k + 1}

= 2 . 2^{k + 1} – 1

= 2^{k + 2} – 1

= 2^{(k + 1) + 1} – 1

=T_{k + 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 đề đã cho đúng với mọi n$\in$ℕ^*. Vậy S_n = T_n = 2^{n + 1} – 1 với n$\in$ℕ^*.