Bài toán

Gọi \(P\left( n \right)\) là một mệnh đề chứa biến \(n\left( {n \in {N^*}} \right)\). Chứng minh \(P\left( n \right)\) đúng với mọi số tự nhiên \(n \in {N^*}\).

Phương pháp quy nạp toán học

- Bước 1: Chứng minh \(P\left( n \right)\) đúng với \(n = 1\).

- Bước 2: Với \(k\) là một số nguyên dương tùy ý, giả sử \(P\left( n \right)\) đúng với \(n = k \ge 1\), chứng minh \(P\left( n \right)\) cũng đúng khi \(n = k + 1\).

Chú ý:

Đối với bài toán chứng minh \(P\left( n \right)\) đúng với mọi \(n \ge p\) với \(p\) là số tự nhiên cho trước thì:

- Bước 1: Chứng minh \(P\left( n \right)\) đúng với \(n = p\).

- Bước 2: Với \(k \ge p\) là một số nguyên dương tùy ý, giả sử \(P\left( n \right)\) đúng với \(n = k\), chứng minh \(P\left( n \right)\) cũng đúng khi \(n = k + 1\).

Ví dụ: Chứng minh \({n^7} - n\) chia hết cho \(7\) với mọi \(n \in {N^*}\).

Giải:

Đặt \(P\left( n \right) = {n^7} - n\).

- Với \(n = 1\) thì \(P\left( 1 \right) = {1^7} - 1 = 0 \vdots 7\) nên \(P\left( 1 \right)\) đúng.

- Giả sử mệnh đề đúng với \(n = k \in {N^*}\), tức là \(P\left( k \right) = \left( {{k^7} - k} \right) \vdots 7\).

Ta phải chứng minh mệnh đề đúng với \(n = k + 1\), tức là: \(P\left( {k + 1} \right) = {\left( {k + 1} \right)^7} - \left( {k + 1} \right) \vdots 7\)

Ta có: \({\left( {k + 1} \right)^7} - \left( {k + 1} \right)\) \(= C_7^0.{k^7} + C_7^1.{k^6} + C_7^2.{k^5} + C_7^3.{k^4}\) \(+ C_7^4.{k^3} + C_7^5.{k^2} + C_7^6.k + C_7^7 - \left( {k + 1} \right)\)

\(= {k^7} + 7{k^6} + 21{k^5} + 35{k^4} + 35{k^3}\) \(+ 21{k^2} + 7k + 1 - k - 1 \) \(= \left( {{k^7} - k} \right) + 7\left( {{k^6} + 3{k^5} + 5{k^4} + 5{k^3} + 3{k^2} + k} \right)\)

Do \(({k^7} - k) \vdots 7\) và \(7\left( {{k^6} + 3{k^5} + 5{k^4} + 5{k^3} + 3{k^2} + k} \right) \vdots 7\) nên \(P\left( {k + 1} \right) = {\left( {k + 1} \right)^7} - \left( {k + 1} \right) \vdots 7\).

Vậy mệnh đề đã cho đúng.