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.