Một chứng minh được trình bày rõ ràng khi người đọc cùng trình độ có thể đi theo từng dòng mà không phải đoán: biết bạn đang giả sử gì, đang dùng kỹ thuật gì, mỗi bước dựa vào đâu, và chứng minh kết thúc ở chỗ nào. Đúng mà rối thì người chấm không kiểm được, và trong bài thi, điều người chấm không kiểm được thường được tính như chưa làm.
Bài này gom tám nguyên tắc trình bày mà giảng viên toán hay nhắc, minh hoạ bằng một bài làm rối được viết lại cho sạch, giải thích chuyện nháp ngược và viết xuôi qua bất đẳng thức giữa trung bình cộng và trung bình nhân, bàn về cách dùng ký hiệu suy ra cho đúng, và cách nhờ AI góp ý trình bày mà không để nó viết thay.
Tám nguyên tắc trình bày một chứng minh
Viết cho một bạn cùng lớp, không viết cho chính mình. Người đọc biết các định nghĩa và định lý trong môn, nhưng không đọc được suy nghĩ của bạn. Bước nào bạn thấy hiển nhiên vì vừa nháp xong, người khác có thể cần một câu giải thích.
Nói trước sẽ làm gì. Câu đầu tiên nên báo kỹ thuật: "Ta chứng minh bằng phản chứng", "Ta quy nạp theo n". Người đọc biết khung thì đọc phần thân dễ hơn hẳn.
Giới thiệu mọi biến trước khi dùng. "Gọi k là số nguyên sao cho n = 2k + 1" chứ không để k tự nhiên xuất hiện. Biến không được giới thiệu là nguồn gốc của nhiều lỗi lượng từ.
Viết câu hoàn chỉnh. Công thức là một phần của câu, có chủ ngữ, vị ngữ, dấu chấm. Một chuỗi công thức không có chữ nối nào buộc người đọc tự đoán quan hệ giữa chúng.
Mỗi bước có lý do. Ghi ngắn "theo định nghĩa", "theo giả thiết quy nạp", "vì a khác 0". Không cần giải thích phép cộng, nhưng mọi bước dùng định lý hay giả thiết nên được gọi tên.
Tách bước dài thành bổ đề. Nếu giữa chứng minh có một khẳng định phụ cần nửa trang, đưa nó ra thành bổ đề riêng, chứng minh trước, rồi dùng. Mạch chính sẽ ngắn và dễ theo.
Đánh dấu chỗ kết thúc. Một câu như "Vậy mệnh đề được chứng minh" hoặc một ký hiệu kết thúc quen dùng trong môn. Người đọc cần biết đâu là hết chứng minh, đâu là nhận xét thêm.
Đọc lại sau một khoảng nghỉ. Viết xong đọc ngay thì não tự lấp chỗ trống. Để qua vài giờ hoặc qua đêm rồi đọc như người lạ, bạn sẽ thấy những chỗ nhảy bước.
Một bài làm rối và bản viết lại
Đề: chứng minh tổng của ba số nguyên liên tiếp luôn chia hết cho 3. Một bài làm hay gặp ở sinh viên năm nhất trông thế này: "n − 1 + n + n + 1 = 3n ⇒ chia hết cho 3 ⇒ đpcm." Về toán, ý chính đã đúng. Nhưng người chấm khó tính sẽ hỏi: n là gì, số nguyên hay số thực? Vì sao ba số liên tiếp lại viết được là n − 1, n, n + 1? Mũi tên đầu tiên nối một đẳng thức với một tính chất, nó có nghĩa là "suy ra" hay "tức là"? "Đpcm" là chứng minh điều gì, khi đề không có ký hiệu nào cho điều cần chứng minh?
Bản viết lại: "Cho ba số nguyên liên tiếp bất kỳ. Gọi n là số ở giữa; khi đó ba số là n − 1, n và n + 1, với n là số nguyên. Tổng của chúng là (n − 1) + n + (n + 1) = 3n. Vì n là số nguyên nên 3n là bội của 3, tức tổng chia hết cho 3. Do ba số được chọn tuỳ ý, mệnh đề đúng với mọi bộ ba số nguyên liên tiếp."
Bản viết lại dài gấp ba nhưng không có câu nào thừa. Câu đầu xác định đối tượng. Câu thứ hai giới thiệu biến và lý do chọn số ở giữa, một lựa chọn khéo vì nó làm các số hạng triệt tiêu đối xứng. Câu thứ ba là phép tính. Câu thứ tư nối phép tính với định nghĩa chia hết. Câu cuối khẳng định tính tổng quát. Thử viết với n là số đầu tiên thay vì số ở giữa, bạn vẫn ra kết quả, tổng là 3n + 3 = 3(n + 1), chỉ kém gọn hơn một chút.
Nháp ngược, viết xuôi: ví dụ bất đẳng thức trung bình
Khi tìm lời giải, rất tự nhiên là bắt đầu từ điều cần chứng minh rồi biến đổi tới một điều đã biết đúng. Đó là cách nháp tốt, nhưng bản chính phải đi chiều ngược lại. Ví dụ với a, b là hai số thực không âm, chứng minh (a + b)/2 ≥ căn bậc hai của ab.
- Nháp (đi ngược). Cần (a + b)/2 ≥ √(ab), tức a + b ≥ 2√(ab), tức a − 2√(ab) + b ≥ 0, tức (√a − √b)² ≥ 0. Điều cuối luôn đúng. Đến đây bạn đã biết đường đi, nhưng chưa có chứng minh, vì chuỗi trên đi từ kết luận tới điều đúng.
- Kiểm từng mũi tên có đảo được không. Ở đây mỗi bước là cộng, trừ hoặc nhân hai vế với số dương, và vì a, b không âm nên √a, √b xác định, mọi bước đều đảo chiều được. Nếu có bước bình phương hai vế hay nhân với số chưa rõ dấu, bước đó có thể không đảo được và bạn phải xử lý riêng.
- Bản chính (đi xuôi). "Vì a, b ≥ 0 nên √a và √b xác định. Bình phương một số thực luôn không âm, nên (√a − √b)² ≥ 0. Khai triển: a − 2√(ab) + b ≥ 0, tức a + b ≥ 2√(ab). Chia hai vế cho 2 được điều cần chứng minh. Dấu bằng xảy ra khi và chỉ khi √a = √b, tức a = b."
- Thử lại bằng số. Với a = 4, b = 9: trung bình cộng là 6,5, căn của 36 là 6, đúng là 6,5 ≥ 6. Với a = b = 5, hai vế đều bằng 5, khớp với điều kiện dấu bằng.
Nhiều giáo viên chấp nhận lối trình bày đi ngược nếu mỗi bước được nối bằng "khi và chỉ khi" và thật sự đảo được. Nhưng viết xuôi an toàn hơn và không bao giờ bị trừ điểm vì lý do này.
Dùng ký hiệu suy ra và tương đương cho đúng
Ký hiệu giúp viết gọn, nhưng dùng sai thì làm lập luận sai nghĩa. Bảng dưới là các lỗi hay gặp nhất.
| Cách viết | Vấn đề | Nên viết |
|---|---|---|
| Dùng ⇒ để nối các dòng tính toán | Không rõ là suy ra hay chỉ là "dòng tiếp theo" | Dùng dấu bằng nếu là biến đổi bằng nhau, dùng chữ "nên" nếu là suy luận |
| Dùng ⇔ khi chỉ có một chiều | Khẳng định sai một chiều, ví dụ khi bình phương hai vế | Dùng ⇒, hoặc nói rõ điều kiện để đảo được |
| Chuỗi dấu bằng nối hai thứ không bằng nhau | Viết x = 3 = x² = 9 khi muốn nói x² = 9 | Mỗi dấu bằng chỉ nối hai thứ thật sự bằng nhau |
| Ký hiệu thay hoàn toàn cho lời | Một dòng toàn ∀, ∃, ⇒ khó đọc và dễ đặt sai thứ tự lượng từ | Viết bằng lời, chỉ dùng ký hiệu khi nó làm câu gọn hơn |
| Ký hiệu tự đặt không giải thích | Người đọc không biết S hay f* là gì | Giới thiệu bằng một câu trước khi dùng |
Nguyên tắc chung: ký hiệu là để rút gọn câu chữ, không phải để thay thế suy nghĩ. Nếu đọc to dòng ký hiệu lên mà không thành câu có nghĩa, hãy viết lại bằng lời.
Nhờ AI góp ý trình bày mà không để nó viết thay
Chatbot có thể là người đọc thử hữu ích cho phần trình bày, vì nó không biết bạn nghĩ gì ngoài những gì bạn viết ra. Câu lệnh mẫu: "Đóng vai người chấm bài toán năm nhất khó tính. Đọc chứng minh dưới đây và chỉ ra: biến nào chưa được giới thiệu, bước nào thiếu lý do, ký hiệu nào dùng sai nghĩa, chỗ nào không rõ chứng minh đã kết thúc. Không viết lại chứng minh, chỉ liệt kê nhận xét kèm số dòng."
Tránh câu lệnh "viết lại cho đẹp". AI có xu hướng thêm chữ, thêm câu chuyển ý rườm rà, đôi khi đổi luôn cách chứng minh, và kết quả là một văn bản trơn tru nhưng không còn là của bạn, cũng có thể không còn đúng ý bạn. Phần sửa phải do bạn tự làm từ danh sách nhận xét.
Hai lưu ý nữa. Nhận xét của AI cũng có thể sai, ví dụ nó bảo một biến chưa được giới thiệu trong khi bạn đã giới thiệu ở dòng trên; hãy tự kiểm từng nhận xét. Và nếu bài là bài tập về nhà có chấm điểm, nên xem quy định của môn về việc dùng AI; nhiều môn cho phép nhờ góp ý nhưng không cho phép nộp chữ do AI viết.
Danh sách kiểm trình bày trước khi nộp
In ra hoặc chép lại danh sách này, dùng cho mọi bài chứng minh trong học kỳ:
- Câu đầu có nói kỹ thuật chứng minh và giả thiết đang dùng không.
- Mọi biến có được giới thiệu, kèm loại số và điều kiện, trước khi dùng không.
- Mỗi dấu bằng có nối hai thứ thật sự bằng nhau không.
- Mỗi ký hiệu suy ra hay tương đương có đúng chiều không.
- Bước nào dùng định lý hay giả thiết đã được gọi tên chưa.
- Chỗ chia hoặc nhân hai vế có ghi rõ số đó khác 0, hoặc dương, không.
- Có câu kết thúc rõ ràng không.
- Đọc to lên thì thành câu tiếng Việt có nghĩa không.
- Nếu có chia trường hợp, các trường hợp đã được liệt kê ngay từ đầu và có phủ kín mọi khả năng không.
- Chữ viết tay có đủ rõ để người chấm phân biệt được chữ số 1 với chữ l, số 0 với chữ o, dấu trừ với gạch nối không.
Tám dòng này mất khoảng hai phút mỗi bài. So với số điểm bị trừ vì trình bày, đó là hai phút có lời nhất trong cả buổi làm bài. Sau vài tuần, phần lớn các dòng sẽ thành phản xạ khi viết và bạn chỉ còn cần liếc qua.
Câu hỏi thường gặp
Chứng minh đúng nhưng trình bày rối có bị trừ điểm không?
Thường có. Người chấm chỉ cho điểm những gì kiểm được trên giấy. Bước không có lý do, biến không được giới thiệu hay ký hiệu dùng sai nghĩa đều có thể bị coi là lỗ hổng trong lập luận.
Có được trình bày chứng minh bất đẳng thức bằng cách biến đổi ngược không?
Chỉ khi mọi bước đều tương đương và được nối bằng khi và chỉ khi. An toàn hơn là nháp ngược để tìm đường rồi viết bản chính đi xuôi, từ điều đã biết đúng tới điều cần chứng minh.
Nên dùng ký hiệu hay viết bằng lời?
Viết bằng lời là chính, dùng ký hiệu khi nó làm câu gọn hơn mà không mất nghĩa. Một dòng toàn ký hiệu lượng từ và mũi tên rất dễ sai thứ tự và khó đọc.
Viết đpcm ở cuối có được không?
Được, nếu môn học quen dùng. Nhưng nên kèm một câu nói rõ điều đã chứng minh, nhất là khi đề không đặt tên cho mệnh đề cần chứng minh. Người đọc cần biết chứng minh kết thúc ở đâu.
Có nên nhờ AI viết lại chứng minh cho đẹp không?
Không nên. AI hay thêm chữ rườm rà và đôi khi đổi cả cách chứng minh. Nên nhờ nó liệt kê nhận xét về trình bày kèm số dòng, rồi tự sửa. Kiểm lại từng nhận xét vì AI cũng có thể nhận xét sai.
Làm sao biết chứng minh của mình đủ chi tiết?
Hình dung một bạn cùng lớp đọc nó. Nếu bạn đó có thể hỏi vì sao ở một dòng nào đó mà dòng đó không trả lời được, hãy thêm lý do. Đọc lại sau một đêm cũng giúp thấy chỗ nhảy bước.