Quy nạp toán học là một phương pháp chứng minh dùng để chỉ ra rằng một mệnh đề đúng với mọi số nguyên kể từ một giá trị bắt đầu nào đó. Để chứng minh một khẳng định đúng với mọi , bạn cần chỉ ra trường hợp đầu tiên là đúng, rồi chứng minh rằng nếu mệnh đề đúng tại một số nguyên thì nó cũng đúng tại số nguyên kế tiếp.
Nếu cả hai phần đều đúng, thì mệnh đề sẽ đúng với mọi số nguyên trong miền đã nêu. Đó chính là toàn bộ ý tưởng.
Quy nạp toán học hoạt động như thế nào
Viết mệnh đề dưới dạng . Khi đó, quy nạp có cấu trúc như sau:
- Chứng minh bước cơ sở: chỉ ra rằng là đúng.
- Chứng minh bước quy nạp: chỉ ra rằng nếu đúng với một số nguyên bất kỳ , thì cũng đúng.
Khi hoàn thành hai bước này, bạn có thể kết luận rằng đúng với mọi số nguyên .
Lập luận ở đây mang tính tuần tự. Bước cơ sở khởi đầu chuỗi, còn bước quy nạp giúp chuỗi tiếp tục tiến lên từng số nguyên một.
Vì sao cả bước cơ sở và bước quy nạp đều quan trọng
Bước cơ sở cho bạn mệnh đề đúng đầu tiên. Bước quy nạp nói rằng tính đúng đắn được truyền từ một số nguyên sang số nguyên kế tiếp.
Vì vậy, nếu đúng thì đúng. Khi đó cũng đúng, và cứ tiếp tục như vậy. Quy nạp không được bỏ qua điểm bắt đầu, và cũng không được bỏ qua mắt xích nối từ trường hợp này sang trường hợp kế tiếp.
Ví dụ chi tiết: chứng minh công thức tổng bằng quy nạp
Một ví dụ quen thuộc là công thức
đúng với mọi số nguyên .
Đặt
Bước cơ sở
Lấy . Vế trái bằng , còn vế phải là
Vậy là đúng.
Bước quy nạp
Giả sử đúng với một số nguyên bất kỳ . Điều đó có nghĩa là
Bây giờ chứng minh . Bắt đầu từ vế trái ứng với :
Dùng giả thiết quy nạp, ta được
Đặt nhân tử chung :
Sau đó rút gọn:
Đây chính là công thức khi . Vậy là đúng.
Vì cả bước cơ sở và bước quy nạp đều đã được chứng minh, công thức đúng với mọi số nguyên .
Khi nào nên dùng quy nạp toán học
Quy nạp hữu ích khi một mệnh đề phụ thuộc vào một tham số nguyên và mỗi trường hợp có liên hệ tự nhiên với một trường hợp trước đó. Điều này thường gặp trong các bài toán về tổng, tính chia hết, bất đẳng thức, hệ thức truy hồi và chứng minh thuật toán.
Trước hết, hãy xác định đúng giá trị bắt đầu. Có mệnh đề bắt đầu từ , có mệnh đề từ , và cũng có mệnh đề chỉ có ý nghĩa với các số nguyên lớn hơn.
Sau đó, kiểm tra xem trường hợp hợp lệ tiếp theo là gì. Bước thông thường là từ đến , nhưng nếu mệnh đề chỉ nói về các số nguyên chẵn thì bước từ đến có thể mới là phiên bản phù hợp.
Những lỗi thường gặp trong chứng minh quy nạp
Chỉ chứng minh bước cơ sở
Bước cơ sở chỉ kiểm tra giá trị đầu tiên. Tự nó không đủ để chứng minh mệnh đề cho các số nguyên về sau.
Dùng sai giá trị bắt đầu
Nếu mệnh đề cần đúng với mọi , thì việc chỉ chứng minh không giúp ích gì. Bước cơ sở phải khớp với đúng miền của mệnh đề.
Dùng giả thiết quy nạp một cách cẩu thả
Trong bước quy nạp, bạn giả sử đúng với một số nguyên bất kỳ trong miền hợp lệ. Bạn không được giả sử rằng toàn bộ định lý đã được chứng minh xong.
Chứng minh sai trường hợp kế tiếp
Nếu định lý của bạn cần bước , thì việc chứng minh một bước khác sẽ không hoàn tất lập luận, trừ khi bạn giải thích vì sao bước khác đó là đủ.
Một mở rộng hữu ích: quy nạp mạnh
Đôi khi để chứng minh , chỉ biết là chưa đủ. Trong tình huống đó, quy nạp mạnh cho phép bạn giả sử mọi trường hợp trước đó đến đều đúng, rồi chứng minh trường hợp tiếp theo.
Ý tưởng này có liên hệ rất gần với quy nạp thông thường, nhưng giả thiết mạnh hơn. Nó hữu ích, chẳng hạn khi một chứng minh phụ thuộc vào việc tách một số thành các phần nhỏ hơn.
Hãy tự thử một phiên bản khác
Xét mệnh đề
và chứng minh nó đúng với mọi số nguyên bằng cùng cấu trúc: bước cơ sở trước, rồi bước từ đến . Nếu bạn có thể viết chứng minh đó một cách gọn gàng, thì thường là bạn đã thật sự nắm được phương pháp này.
Cần trợ giúp giải bài?
Tải câu hỏi lên và nhận lời giải từng bước đã được xác minh trong vài giây.
Mở GPAI Solver →