Với bài chứng minh, hãy nhờ AI gợi ý hướng đi, như nên xuất phát từ giả thiết nào hay nên biến đổi vế nào, rồi tự viết từng bước; sau đó nhờ AI cùng bạn soi từng mắt xích xem bước nào thiếu căn cứ. Chứng minh là dạng bài mà một bước nhảy cóc nhỏ cũng làm cả bài mất giá trị, và đó lại là kiểu lỗi AI hay mắc nhất: viết "dễ thấy", "hiển nhiên" ở đúng chỗ khó.
Bài này áp dụng cho bài chứng minh trong Toán ở THCS, THPT, như chứng minh chia hết, chứng minh đẳng thức, bất đẳng thức, chứng minh hình học, và cho sinh viên năm đầu gặp chứng minh trong môn đại cương. Phần kiến thức của từng chương thuộc các trang chuyên môn như AI Toán; ở đây là cách hỏi, cách kiểm và các lỗi lập luận cần nhận ra.
Vì sao chứng minh là dạng bài khó hỏi AI nhất
Với một bài tính, kết quả cuối có thể kiểm bằng cách thay số. Với bài chứng minh, không có con số cuối để đối chiếu; giá trị nằm toàn bộ ở chuỗi lập luận. Một chuỗi lập luận trông trơn tru vẫn có thể có một mắt xích hỏng, và người đọc không quen sẽ không nhận ra.
AI viết chứng minh với giọng văn rất tự tin. Nó dùng đúng các từ của toán học như "suy ra", "do đó", "theo giả thiết", nên đọc qua thấy chặt chẽ. Nhưng có những lỗi điển hình: dùng chính điều cần chứng minh làm căn cứ, kiểm vài trường hợp rồi kết luận cho mọi trường hợp, viện dẫn một định lý không áp dụng được ở đây, hoặc đơn giản là bỏ qua bước khó nhất bằng chữ "dễ thấy".
Vì vậy, cách học tốt nhất với bài chứng minh là bạn tự viết, AI chỉ gợi ý và đóng vai người đọc khó tính. Kỹ năng bạn cần luyện là nhìn một lập luận và biết bước nào đứng được, bước nào chưa. Kỹ năng đó cũng chính là thứ giúp bạn kiểm lời giải của AI.
Bốn lỗi lập luận cần nhận ra
Lập luận vòng quanh. Dùng điều cần chứng minh, hoặc một hệ quả trực tiếp của nó, làm căn cứ ở giữa bài. Ví dụ: cần chứng minh hai đoạn thẳng bằng nhau, lời giải lại dùng "vì hai tam giác bằng nhau" trong khi việc hai tam giác bằng nhau lại được suy ra từ chính hai đoạn đó.
Thử vài trường hợp rồi kết luận. Kiểm với n = 1, 2, 3 thấy đúng không chứng minh được với mọi n. Thử số là cách tốt để hiểu và để tìm hướng, nhưng không thay được chứng minh.
Dùng định lý sai điều kiện. Một định lý chỉ đúng khi thoả điều kiện của nó, như tam giác vuông, số dương, hai đường thẳng song song. AI đôi khi dùng định lý mà không kiểm điều kiện.
Nhảy cóc bằng "dễ thấy". Chữ "dễ thấy" hay "hiển nhiên" chỉ hợp lệ khi bước đó thật sự đơn giản ở trình độ của người đọc. Trong lời giải AI, chúng thường che đúng chỗ khó nhất.
Ví dụ giả định: thử số không phải chứng minh
Đề: chứng minh tổng ba số tự nhiên liên tiếp luôn chia hết cho 3. Bảng so sánh một lời giải chưa đạt với một lời giải hoàn chỉnh.
| Lời giải chưa đạt | Lời giải hoàn chỉnh | |
|---|---|---|
| Cách làm | Thử 1 + 2 + 3 = 6, 4 + 5 + 6 = 15, 10 + 11 + 12 = 33, đều chia hết cho 3 | Gọi ba số là n, n + 1, n + 2 với n là số tự nhiên |
| Biến đổi | Không có | Tổng bằng 3n + 3 = 3(n + 1) |
| Kết luận | "Vậy tổng luôn chia hết cho 3" | Tổng là 3 nhân với một số tự nhiên nên chia hết cho 3 với mọi n |
| Đánh giá | Chỉ đúng với ba trường hợp đã thử | Đúng với mọi n vì không phụ thuộc giá trị cụ thể |
Cột bên trái vẫn có ích: thử số giúp bạn tin rằng mệnh đề đúng và gợi ý rằng tổng có dạng "3 nhân với số ở giữa". Từ quan sát đó mới nảy ra cách gọi ba số theo n. Khi nhờ AI, bạn có thể hỏi: "Em đã thử vài số và thấy tổng bằng ba lần số ở giữa; làm sao biến quan sát này thành chứng minh?" Đó là câu hỏi gợi ý hướng đi đúng nghĩa. Bạn tự kiểm lại: 3 · 2 = 6, 3 · 5 = 15, 3 · 11 = 33, khớp với ba phép thử bên trái.
Câu lệnh mẫu cho bài chứng minh
Ghi rõ lớp học và phạm vi kiến thức được dùng, vì một chứng minh hợp lệ ở đại học có thể dùng công cụ mà học sinh phổ thông chưa được học.
- "Em học lớp (…). Đề: chứng minh (…). Giả thiết: (…). Đừng viết chứng minh. Hãy gợi ý nên bắt đầu từ đâu và vì sao, bằng một câu hỏi."
- "Đây là chứng minh em viết: (đánh số từng dòng). Với mỗi dòng, cho biết nó dựa vào giả thiết, định lý hay dòng nào trước đó. Dòng nào không có căn cứ rõ, đánh dấu lại, không sửa."
- "Trong lời giải bạn vừa viết, chỗ nào ghi 'dễ thấy' hoặc gộp nhiều bước? Hãy viết tách chỗ đó ra từng bước nhỏ."
- "Lời giải này có dùng điều cần chứng minh làm căn cứ ở đâu không? Kiểm lại từng dòng."
- "Mệnh đề trong đề có thể sai không? Hãy thử tìm phản ví dụ trước khi chứng minh."
Câu lệnh cuối nghe lạ nhưng rất hữu ích khi bạn chép đề có thể nhầm. Nếu bạn chép sai một chữ, ví dụ "tổng hai số lẻ là số lẻ" thay vì "là số chẵn", AI có thể vẫn cố "chứng minh" một mệnh đề sai. Yêu cầu nó tìm phản ví dụ trước sẽ bắt được lỗi chép đề: 1 + 3 = 4 là số chẵn.
Ví dụ giả định: lấp chỗ "dễ thấy" trong lời giải AI
Đề: chứng minh n² + n luôn là số chẵn với mọi số tự nhiên n. Một lời giải do AI viết chỉ có hai dòng: "Ta có n² + n = n(n + 1). Dễ thấy n(n + 1) chia hết cho 2, vậy n² + n là số chẵn." Dòng đầu đúng. Dòng thứ hai mới là toàn bộ nội dung của bài, và chữ "dễ thấy" đã che mất nó.
Khi được yêu cầu viết tách chỗ "dễ thấy", lời giải cần thêm: n và n + 1 là hai số tự nhiên liên tiếp nên có đúng một số chẵn và một số lẻ; tích của một số chẵn với bất kỳ số tự nhiên nào là số chẵn; vì vậy n(n + 1) chia hết cho 2. Với học sinh lớp 6–7, đây chính là phần giáo viên muốn thấy. Bạn có thể kiểm nhanh vài giá trị: n = 3 cho 9 + 3 = 12, n = 4 cho 16 + 4 = 20, đều chẵn; nhưng như đã nói, thử số chỉ để tin chứ không thay chứng minh.
Một trường hợp ngược lại: nếu ai đó yêu cầu chứng minh "n² luôn lớn hơn n với mọi số tự nhiên n", bạn chỉ cần thử n = 1 là thấy 1 = 1, không lớn hơn; n = 0 cũng vậy. Mệnh đề sai, và một lời giải "chứng minh" nó chắc chắn có lỗ hổng ở đâu đó. Đây là lý do câu lệnh tìm phản ví dụ nên được dùng trước.
Chứng minh đẳng thức, bất đẳng thức: cẩn thận với biến đổi ngược
Một cách làm hay gặp, kể cả trong lời giải của AI, là xuất phát từ điều cần chứng minh, biến đổi dần cho tới khi ra một điều hiển nhiên đúng, rồi kết luận điều cần chứng minh đúng. Cách này chỉ hợp lệ khi mọi bước biến đổi là tương đương, tức là đi ngược lại được. Nếu có một bước chỉ đi được một chiều, chứng minh bị hỏng dù kết quả cuối trông đúng.
Bước một chiều quen thuộc nhất là bình phương hai vế của bất đẳng thức khi chưa biết dấu. Ví dụ: −2 < 1 là đúng, nhưng bình phương hai vế được 4 < 1 là sai. Tương tự, nhân hai vế với một biểu thức có thể âm làm đổi chiều bất đẳng thức. Khi đọc lời giải của AI theo kiểu biến đổi từ kết luận, hãy kiểm từng bước có ghi rõ "tương đương" và có điều kiện đi kèm không. Nếu không chắc, yêu cầu AI viết lại chứng minh theo chiều thuận: xuất phát từ điều đã biết và đi tới điều cần chứng minh.
Soi từng mắt xích: quy trình tự kiểm một chứng minh
Dùng quy trình này cho chứng minh do bạn viết và cả chứng minh do AI viết. Làm trên giấy, mỗi dòng một bước.
- Đánh số từng dòng của chứng minh.
- Bên cạnh mỗi dòng, ghi căn cứ: "giả thiết", "định lý …", "từ dòng 2 và dòng 3".
- Với mỗi định lý được dùng, kiểm điều kiện áp dụng có thoả không.
- Kiểm xem điều cần chứng minh có xuất hiện làm căn cứ ở dòng nào trước dòng kết luận không.
- Tìm các chữ "dễ thấy", "hiển nhiên", "tương tự" và tự viết rõ ra chỗ đó.
- Đọc lại từ đầu đến cuối như người chưa biết đề, xem chuỗi suy luận có liền mạch không.
Dòng nào không ghi được căn cứ là dòng cần xem lại. Quy trình này mất thêm thời gian, nhưng sau vài lần bạn sẽ tự động nhìn lời giải theo từng mắt xích, và đó là kỹ năng giúp bạn viết chứng minh chặt chẽ ngay từ đầu.
Chứng minh hình học và chứng minh ở đại học
Với chứng minh hình học, ngoài các lỗi trên còn có lỗi dựa vào hình vẽ: "nhìn hình thấy hai góc bằng nhau" không phải căn cứ. Hình bạn vẽ hoặc hình AI hình dung có thể là trường hợp đặc biệt. Mỗi khẳng định về góc, đoạn thẳng, song song, vuông góc phải dựa vào giả thiết hoặc định lý. Khi hỏi AI, liệt kê giả thiết bằng chữ và yêu cầu nó không dùng điều gì "nhìn từ hình".
Với sinh viên năm đầu, chứng minh trong môn đại cương như giải tích hay đại số tuyến tính thường dùng ngôn ngữ chặt chẽ hơn hẳn phổ thông, với các lượng từ "với mọi", "tồn tại" và cách chứng minh bằng phản chứng, quy nạp. AI giúp được nhiều ở việc giải thích ý tưởng của một chứng minh trong giáo trình, nhưng cũng hay viết chứng minh thiếu một trường hợp hoặc đổi thứ tự lượng từ. Khi gặp chứng minh khó trong giáo trình, hãy nhờ AI giải thích ý tưởng chính trước, rồi tự đọc lại từng dòng trong sách, và mang chỗ chưa rõ đến giờ tiếp sinh viên của giảng viên.
Câu hỏi thường gặp
Có nên nhờ AI viết chứng minh rồi học thuộc không?
Không nên. Học thuộc một chứng minh không giúp bạn chứng minh được bài khác. Bạn nên nhờ AI gợi ý ý tưởng, tự viết, rồi nhờ kiểm. Với các định lý quan trọng trong sách, hiểu ý tưởng chứng minh có giá trị hơn nhớ từng dòng.
Làm sao biết một bước trong chứng minh là "dễ thấy" thật hay đang che lỗi?
Thử tự viết rõ bước đó ra. Nếu viết được trong một hai dòng bằng kiến thức đã học, bước đó dễ thật. Nếu phải viết dài hoặc không viết được, đó là chỗ AI đã bỏ qua phần khó.
AI bảo chứng minh của em đúng, có tin được không?
Chưa nên tin hẳn. AI đôi khi bỏ qua lỗi tinh vi như dùng định lý sai điều kiện. Hãy tự soi từng mắt xích theo quy trình trong bài, và với bài quan trọng, nhờ giáo viên xem.
Phản ví dụ là gì và khi nào cần?
Phản ví dụ là một trường hợp cụ thể làm mệnh đề sai. Chỉ cần một phản ví dụ là đủ bác bỏ một mệnh đề nói về mọi trường hợp. Nên thử tìm phản ví dụ khi nghi ngờ đề chép sai hoặc khi chứng minh mãi không ra.
Chứng minh bằng phản chứng có nhờ AI giải thích được không?
Được. Nhờ AI chỉ rõ giả sử điều gì, mâu thuẫn xuất hiện ở đâu, mâu thuẫn với giả thiết hay với điều gì đã biết. Sau đó tự viết lại chứng minh theo đúng ba phần ấy.
Học sinh THCS mới làm quen với chứng minh nên bắt đầu thế nào?
Bắt đầu với các bài ngắn, ghi căn cứ bên cạnh mỗi dòng. Nhờ AI hoặc giáo viên kiểm căn cứ từng dòng. Thói quen ghi căn cứ ngay từ đầu giúp bạn tránh phần lớn lỗi lập luận về sau.