Quy nạp toán học là phương pháp chứng minh toán học dùng để chứng minh một mệnh đề về bất kì tập hợp nào được xếp theo thứ tự.
Ta thường xét đến 2 loại quy nạp: Quy nạp cấu trúc và quy nạp siêu hạn, ở đây chúng ta chủ yếu đề cập đến quy nạp cấu trúc.
Quy nạp toán học là hình thức chúng minh trực tiếp thường được thực hiện theo 2 bước:
Chú ý: Việc chọn số tự nhiên ở bước cơ sở ta dựa vào định nghĩa của số đó.
Quy trình 3 bước:
A(n + 1) là hệ quả của A(n).
Kết luận
Để chứng minh những mệnh đề liên quan đến số tự nhiên
là đúng với mọi
mà không thể trực tiếp được thì có thể làm như sau:
Bước 1: Kiểm tra mệnh đề đúng với
.
Bước 2: Giả thiết mệnh đề đúng với một số tự nhiên bất kì
(gọi là giả thiết quy nạp), chứng minh rằng nó cũng đúng với
.
Ví dụ: Chứng minh mệnh đề: "
chia hết cho 3" đúng với mọi
.
Hướng dẫn giải
Gọi
là mệnh đề
chia hết cho 3 với mọi
.
Ta dùng phương pháp quy nạp toán học chứng minh mệnh đề này đúng.
Với
khi đó ![]()
Giả sử
đúng với
, khi đó ![]()
Ta cần chứng minh
đúng với
, thật vậy ta có:

Ví dụ: Chứng minh với mọi
ta có đẳng thức:
![]()
Hướng dẫn giải
Với
thì
(đúng)
Giả sử đẩng thức đúng với
, khi đó
![]()
Ta cần chứng minh đẳng thức đúng với
tức là:

Thật vậy ta có:

Điều cần chứng minh.