Chứng minh trực tiếp là cách chứng minh một mệnh đề dạng "nếu P thì Q" bằng cách giả sử P đúng, rồi dùng định nghĩa và các sự thật đã biết để đi từng bước tới Q. Không có mẹo, không đảo chiều, không giả sử điều ngược lại. Phần lớn chứng minh trong giáo trình năm nhất, từ số học tới giải tích, đều có khung này ở bên trong, kể cả khi bề ngoài trông phức tạp.
Nhiều sinh viên quen giải bài tập tính toán ở phổ thông nên khi gặp đề "chứng minh rằng" thì không biết bắt đầu từ đâu. Bài này đi chậm qua những ví dụ nhỏ về số chẵn, số lẻ và chia hết, chỉ ra động tác quan trọng nhất là viết lại giả thiết bằng định nghĩa, rồi nói về chia trường hợp, các lỗi hay gặp và cách dùng AI để luyện mà không bị nó làm hộ.
Chứng minh trực tiếp là gì và vì sao nên học nó trước
Một định lý trong toán thường có dạng "nếu P thì Q": nếu n là số lẻ thì n² là số lẻ; nếu một hàm khả vi tại một điểm thì nó liên tục tại điểm đó. Chứng minh trực tiếp làm đúng như cách câu chữ gợi ý: nhận P làm điểm xuất phát, coi như đã biết, rồi xây một chuỗi lập luận mà mỗi mắt xích đều được biện minh bằng định nghĩa, tiên đề, hoặc một kết quả đã chứng minh trước đó. Mắt xích cuối cùng là Q.
Lý do nên học kỹ thuật này trước các kỹ thuật khác rất thực tế. Phản chứng, phản đảo hay quy nạp đều là những cách sắp xếp lại bài toán để cuối cùng vẫn phải làm một đoạn lập luận trực tiếp ở bên trong. Khi chứng minh phản chứng, bạn vẫn phải đi thẳng từ giả thiết phụ tới một mâu thuẫn. Khi quy nạp, bước chuyển từ n sang n + 1 vẫn là một chứng minh trực tiếp. Ai chưa vững cách đi thẳng thì đổi khung nào cũng vẫn kẹt ở cùng một chỗ.
Điều cần thay đổi trong đầu là mục tiêu. Ở bài tập tính toán, mục tiêu là ra một con số. Ở bài chứng minh, mục tiêu là thuyết phục một người đọc khó tính rằng không có trường hợp nào thoát ra ngoài kết luận. Người đọc đó không chấp nhận "thử vài số thấy đúng", không chấp nhận "hiển nhiên", và có quyền hỏi "vì sao" ở bất kỳ dòng nào. Chứng minh trực tiếp tốt là chứng minh mà dòng nào cũng trả lời được câu hỏi đó.
Động tác đầu tiên: viết lại giả thiết bằng định nghĩa
Tìm định nghĩa chính xác của từng khái niệm trong đề. Số chẵn là số nguyên viết được dưới dạng 2k với k nguyên. Số lẻ là số nguyên viết được dưới dạng 2k + 1 với k nguyên. Số a chia hết cho b khi có số nguyên m để a = b·m. Chừng nào chưa chép được định nghĩa ra giấy, bạn chưa có gì để biến đổi.
Đặt tên cho những thứ định nghĩa hứa là tồn tại. Câu "n là số lẻ" chỉ là chữ. Câu "có số nguyên k sao cho n = 2k + 1" là một phương trình, và phương trình thì biến đổi được. Việc đặt tên k là bước nhỏ nhưng quyết định, vì từ đây trở đi bạn làm việc với đại số chứ không còn với lời nói.
Viết ra đích đến cũng bằng định nghĩa. Nếu cần chứng minh n² lẻ, hãy ghi rõ đích: cần tìm một số nguyên j sao cho n² = 2j + 1. Khi có cả điểm đầu lẫn điểm cuối dưới dạng phương trình, khoảng trống ở giữa thường lộ ra ngay.
Dùng tên biến khác nhau cho những đối tượng khác nhau. Nếu đề cho hai số lẻ m và n, đừng viết m = 2k + 1 và n = 2k + 1 với cùng một k, vì như thế bạn vô tình đã giả sử m = n. Viết m = 2k + 1 và n = 2l + 1. Đây là lỗi phổ biến nhất trong bài làm năm nhất, và AI cũng hay mắc.
Ba ví dụ tính tay: số chẵn, số lẻ và chia hết
Ba ví dụ dưới đây ngắn nhưng đi đủ khung: giả thiết, định nghĩa, biến đổi, đích. Bạn nên che phần lời giải và tự làm trước khi đọc.
- Tổng hai số chẵn là số chẵn. Giả sử a và b chẵn. Theo định nghĩa có số nguyên k, l với a = 2k và b = 2l. Khi đó a + b = 2k + 2l = 2(k + l). Vì k + l là số nguyên nên a + b chẵn.
- Bình phương của số lẻ là số lẻ. Giả sử n lẻ, tức n = 2k + 1 với k nguyên. Khi đó n² = 4k² + 4k + 1 = 2(2k² + 2k) + 1. Đặt j = 2k² + 2k, đây là số nguyên, nên n² = 2j + 1 là số lẻ. Thử lại với n = 7: n² = 49 = 2·24 + 1, và đúng là k = 3 cho j = 2·9 + 6 = 24.
- Tính bắc cầu của chia hết. Giả sử a chia hết b và b chia hết c, nghĩa là có số nguyên m, n với b = a·m và c = b·n. Thay b vào: c = (a·m)·n = a·(m·n). Vì m·n nguyên nên a chia hết c.
Để ý rằng trong cả ba ví dụ, phần "thông minh" gần như không có. Toàn bộ sức nặng nằm ở chỗ chép đúng định nghĩa và đặt tên biến. Đó cũng là thông điệp chính của kỹ thuật này: phần lớn chứng minh trực tiếp ở mức nhập môn tự chạy khi bạn viết giả thiết và kết luận cùng một ngôn ngữ.
Khi một đường thẳng không đủ: chia trường hợp
Có những mệnh đề mà giả thiết không cho bạn một phương trình duy nhất để bắt đầu. Ví dụ mệnh đề "với mọi số nguyên n, tích n(n + 1) là số chẵn". Giả thiết chỉ nói n là số nguyên, không nói chẵn hay lẻ. Cách xử lý là chia thành các trường hợp phủ kín mọi khả năng rồi chứng minh trực tiếp trong từng trường hợp. Nếu n chẵn, n = 2k, thì n(n + 1) = 2k(2k + 1) là bội của 2. Nếu n lẻ, n = 2k + 1, thì n + 1 = 2k + 2 = 2(k + 1), nên tích lại là bội của 2.
Điều kiện bắt buộc của chia trường hợp là các trường hợp phải phủ kín. Chẵn và lẻ phủ kín số nguyên, nên lập luận trên đầy đủ. Một ví dụ mạnh hơn: n³ − n chia hết cho 6 với mọi số nguyên n. Phân tích n³ − n = (n − 1)·n·(n + 1), là tích ba số nguyên liên tiếp. Trong ba số liên tiếp luôn có một số chia hết cho 3 (xét n chia 3 dư 0, 1 hoặc 2), và luôn có ít nhất một số chẵn. Tích chia hết cho cả 2 và 3, mà 2 và 3 nguyên tố cùng nhau, nên chia hết cho 6. Kiểm với n = 5: 125 − 5 = 120 = 6·20.
Chia trường hợp cũng là chỗ chứng minh dễ hổng. Bạn hay quên trường hợp số âm, số 0, hoặc trường hợp hai đối tượng trùng nhau. Khi viết, hãy liệt kê các trường hợp ngay từ đầu bằng một câu như "xét ba trường hợp: n chia 3 dư 0, dư 1, dư 2", để người đọc kiểm được ngay là đã phủ kín.
Những lỗi hay gặp khi viết chứng minh trực tiếp
Chứng minh bằng ví dụ. Thử n = 1, 3, 5 thấy n² lẻ rồi kết luận là đúng với mọi n lẻ. Ví dụ giúp bạn tin và giúp bạn đoán hướng, nhưng không phải chứng minh. Một mệnh đề "với mọi" cần lập luận cho một n bất kỳ, được gọi tên nhưng không gán giá trị.
Đi ngược từ kết luận về giả thiết. Viết "giả sử n² lẻ, khi đó…" rồi biến đổi tới một điều đúng, sau đó tuyên bố xong. Lập luận kiểu này chỉ chứng minh chiều ngược, và chỉ cứu được nếu mọi bước đều đảo được. Nháp ngược thì được, bản chính phải viết xuôi.
Dùng chính điều cần chứng minh. Đây là lập luận vòng: ở bước giữa, bạn dựa vào một khẳng định mà thực chất chính là kết luận viết theo cách khác. Lỗi này khó thấy khi chứng minh dài, nên đọc lại và hỏi ở từng dòng "điều này đến từ đâu".
Chia cho một đại lượng có thể bằng 0. Từ a·x = a·y suy ra x = y chỉ đúng khi a khác 0. Bỏ quên điều kiện này là cách kinh điển để "chứng minh" 1 = 2. Mỗi lần chia hai vế, hãy ghi bên cạnh lý do vì sao số chia khác 0.
Cùng một tên biến cho hai đối tượng. Như đã nói ở trên, m = 2k + 1 và n = 2k + 1 là giả sử m = n mà không hay biết. Mỗi định nghĩa được dùng một lần thì cần một tên mới.
Dùng AI để luyện chứng minh trực tiếp mà không bị làm hộ
Chatbot viết được những chứng minh ngắn như trên khá trôi chảy, và chính vì thế nó dễ làm bạn tưởng mình đã hiểu. Cách dùng có ích là bắt nó đóng vai người hỏi chứ không phải người giải. Một câu lệnh mẫu: "Mình đang học chứng minh trực tiếp. Mình sẽ gửi chứng minh của mình cho mệnh đề tổng của một số chẵn và một số lẻ là số lẻ. Đừng viết lại lời giải. Chỉ ra dòng nào thiếu lý do, dòng nào dùng sai định nghĩa, và hỏi lại mình một câu ở mỗi chỗ đó."
Câu lệnh thứ hai dùng để luyện thêm: "Cho mình năm mệnh đề về số chẵn, số lẻ và chia hết, độ khó tăng dần, chỉ ghi đề, không ghi lời giải. Có một mệnh đề sai trong số đó, đừng nói là mệnh đề nào." Mệnh đề sai buộc bạn phải thật sự kiểm chứ không làm theo quán tính. Sau khi tự làm, bạn mới hỏi đáp án và đối chiếu.
Hai điều cần nhớ khi đọc phản hồi của AI. Thứ nhất, nó có thể khen một chứng minh sai hoặc chê một chứng minh đúng, nhất là khi bạn viết ký hiệu không chuẩn; hãy tự kiểm lại mọi nhận xét bằng định nghĩa. Thứ hai, nếu đây là bài tập được chấm điểm, dùng AI để viết bài nộp là vi phạm liêm chính học thuật ở hầu hết các trường. Dùng nó như người bạn hỏi vặn, còn chữ trên bài là chữ của bạn.
Danh sách tự kiểm trước khi nộp một chứng minh trực tiếp
Đọc lại chứng minh của mình với danh sách dưới đây. Mỗi dòng trả lời "có" thì đi tiếp, dòng nào lấn cấn thì sửa ngay chỗ đó:
- Câu đầu tiên có nói rõ đang giả sử điều gì không, ví dụ "Giả sử n là số nguyên lẻ".
- Mọi khái niệm trong giả thiết đã được viết lại bằng định nghĩa chính xác chưa, có biến được đặt tên rõ ràng không.
- Mỗi đối tượng khác nhau có tên biến khác nhau không.
- Mỗi dòng biến đổi có lý do đi kèm, hoặc đủ hiển nhiên để một bạn cùng lớp không cần hỏi lại không.
- Nếu có chia trường hợp, các trường hợp có phủ kín mọi khả năng không, đã tính tới số âm và số 0 chưa.
- Có chỗ nào chia cho một đại lượng chưa chắc khác 0 không.
- Dòng cuối có khớp đúng với kết luận cần chứng minh, viết lại bằng định nghĩa, không.
- Đã thử lại kết quả với một hai giá trị cụ thể để bắt lỗi tính toán chưa, dù việc thử không thay cho chứng minh.
Danh sách này áp dụng được cho cả những kỹ thuật khác trong danh mục, vì như đã nói, mọi chứng minh đều có một đoạn đi thẳng ở bên trong.
Câu hỏi thường gặp
Chứng minh trực tiếp khác chứng minh phản chứng ở điểm nào?
Chứng minh trực tiếp giả sử giả thiết đúng rồi đi thẳng tới kết luận. Phản chứng giả sử kết luận sai rồi đi tới một mâu thuẫn. Khi có thể làm trực tiếp, chứng minh thường ngắn và dễ đọc hơn.
Thử nhiều ví dụ đều đúng thì có được coi là chứng minh không?
Không. Với mệnh đề có dạng với mọi số nguyên, thử bao nhiêu ví dụ cũng chỉ là bằng chứng gợi ý. Chứng minh phải lập luận cho một phần tử bất kỳ, được đặt tên nhưng không gán giá trị cụ thể.
Vì sao phải viết số lẻ là 2k + 1 mà không viết bằng lời?
Vì lời nói không biến đổi được, còn phương trình thì có. Khi viết n = 2k + 1, bạn có thể bình phương, cộng, nhân và nhìn thấy kết quả có dạng chẵn hay lẻ. Đó là cầu nối từ khái niệm sang đại số.
Khi nào cần chia trường hợp trong chứng minh trực tiếp?
Khi giả thiết không cho bạn một dạng biểu diễn duy nhất, ví dụ chỉ biết n là số nguyên mà không biết chẵn hay lẻ. Khi đó chia thành các trường hợp phủ kín mọi khả năng và chứng minh riêng từng trường hợp.
Có nên nhờ AI viết lời giải mẫu để học theo không?
Có thể đọc lời giải mẫu sau khi đã tự làm, nhưng phải kiểm từng dòng vì AI đôi khi bỏ bước hoặc dùng sai định nghĩa. Cách học hiệu quả hơn là gửi bài của mình và bảo AI chỉ chỉ ra chỗ thiếu lý do.
Chứng minh trực tiếp có dùng được cho giải tích không?
Có. Ví dụ chứng minh một hàm khả vi tại một điểm thì liên tục tại điểm đó là chứng minh trực tiếp: viết định nghĩa đạo hàm, biến đổi giới hạn và đi tới định nghĩa liên tục. Khung vẫn là giả thiết, định nghĩa, biến đổi, đích.