Hãy quan sát các đẳng thức sau:

1 = 12

1 + 3 = 4 = 22

1 + 3 + 5 = 9 = 32

1 + 3 + 5 + 7 = 16 = 42

1 + 3 + 5 + 7 + 9 = 25 = 52

......

Có nhận xét gì về các số ở vế trái và ở vế phải của các đẳng thức trên? Từ đó hãy dự đoán công thức tính tổng của n số lẻ đầu tiên 1 + 3 + 5 + ... + (2n –1).

a) Ta chứng minh bằng quy nạp theo n.

Bước 1. Với n = 1 ta có 2.1 = 1(1 + 1).                                                    

Như vậy khẳng định đúng cho trường hợp n = 1.

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

2 + 4 + 6 + ... + 2k = k(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:

2 + 4 + 6 + ... + 2k + 2(k+1) = (k + 1)[(k + 1) + 1]

Thật vậy, sử dụng giả thiết quy nạp ta có:

2 + 4 + 6 + ... + 2k + 2(k+1)

= k(k + 1) + 2(k+1) = (k + 1)(k + 2) = (k + 1)[(k + 1) + 1].

Vậy khẳng định đúng với mọi số tự nhiên n ≥ 1.

b) Ta chứng minh bằng quy nạp theo n.

Bước 1. Với n = 1 ta có 12 = $\frac{1\left(1+1\right)\left(2.1+1\right)}{6}.$                                          

Như vậy khẳng định đúng cho trường hợp n = 1.

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

12 + 22 + 32 +... + k2 = $\frac{k\left(k+1\right)\left(2k+1\right)}{6}.$                                       

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:

12 + 22 + 32 +... + k2 + (k + 1)2 = $\frac{\left(k+1\right)\left[\left(k+1\right)+1\right]\left[2\left(k+1\right)+1\right]}{6}.$

Thật vậy, sử dụng giả thiết quy nạp ta có:

12 + 22 + 32 +... + k2 + (k + 1)2

= (k + 1)2  + $\frac{k\left(k+1\right)\left(2k+1\right)}{6}$

Vậy khẳng định đúng với mọi số tự nhiên n ≥ 1.

Ta chứng minh bằng quy nạp theo n.

Bước 1. Với n = 1 ta có (1 + x)¹ = 1 + x = 1 + 1.x.                                  

Như vậy khẳng định đúng cho trường hợp n = 1.

Bước 2. Giả sử khẳng định đúng với n = k, tức là ta có: (1 + x)^k ≥ 1+ kx.

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: (1 + x)^{k + 1} ≥ 1+ (k + 1)x.

Thật vậy, sử dụng giả thiết quy nạp ta có:

(1 + x)^{k + 1}

= (1 + x)(1 + x)^k ≥ (1 + x)(1+ kx) = 1 + x + kx + kx² > 1 + x + kx = 1+ (k + 1)x.

Vậy khẳng định đúng với mọi số tự nhiên n ≥ 1.