Đọc một chứng minh trong giáo trình đại học là việc chủ động: đọc phát biểu và tự đoán hướng trước, đọc từng dòng và hỏi lý do của nó, lấp các chỗ "dễ thấy", tìm ý chính, rồi đóng sách viết lại. Ai đọc chứng minh như đọc truyện, trôi từ đầu tới cuối và gật gù, thường thấy mình hiểu lúc đọc nhưng không viết lại được một dòng nào khi gấp sách.
Bài này dành cho sinh viên năm đầu và người tự học lại toán để làm dữ liệu hay AI, những người lần đầu gặp các trang giáo trình dày đặc định lý và chứng minh. Hướng dẫn gồm quy trình đọc năm giai đoạn, hai ví dụ trong giải tích được đọc từng dòng, cách xử lý những cụm từ làm người đọc mắc kẹt, và cách nhờ AI giải thích mà không bị nó dắt đi chỗ khác.
Vì sao đọc chứng minh chậm là bình thường
Một trang chứng minh trong giáo trình giải tích hay đại số có thể cần cả giờ để đọc cho thật hiểu, và đó không phải dấu hiệu bạn kém. Người viết giáo trình nén lập luận rất chặt: mỗi dòng có thể dựa vào một định nghĩa ở chương trước, một bổ đề ở trang trước, và một bước biến đổi mà họ coi là quen thuộc. Họ viết cho người đọc sẵn sàng dừng lại ở mỗi dấu bằng, chứ không viết để đọc lướt.
Ngay cả giới chuyên môn cũng không đọc nhanh hơn bao nhiêu khi gặp lập luận mới. Ví dụ hay được nhắc là chứng minh Định lý lớn Fermat của Andrew Wiles: công bố năm 1993, trong quá trình thẩm định người ta phát hiện một lỗ hổng, và phải tới năm 1994 Wiles cùng Richard Taylor mới sửa xong. Hội đồng thẩm định gồm những chuyên gia hàng đầu, và họ đọc từng dòng trong nhiều tháng.
Vì vậy, đặt mục tiêu theo chất lượng chứ không theo số trang. Đọc kỹ một chứng minh rồi viết lại được có giá trị hơn đọc lướt năm chứng minh. Một gợi ý thực tế cho người tự học lại toán khi đã đi làm: chọn những buổi có ít nhất bốn mươi lăm phút liền mạch, tắt thông báo điện thoại, mang theo giấy nháp chứ không chỉ đọc trên màn hình. Đọc chứng minh cần tay viết song song với mắt đọc; chỉ đọc bằng mắt, bạn sẽ bỏ qua đúng những bước cần dừng lại. Khi lập kế hoạch học, nên dành riêng thời gian cho việc đọc chứng minh, tách khỏi thời gian làm bài tập tính toán.
Quy trình đọc năm giai đoạn
Quy trình dưới đây áp dụng được cho hầu hết chứng minh ở mức giáo trình đại học. Lần đầu sẽ thấy chậm; sau vài tuần nó thành phản xạ.
- Đọc phát biểu, chưa đọc chứng minh. Gạch chân giả thiết và kết luận. Viết lại định lý dưới dạng "nếu… thì…" nếu nó chưa ở dạng đó. Nhắc lại định nghĩa của mọi khái niệm trong phát biểu.
- Thử và đoán. Lấy một hai ví dụ cụ thể thoả giả thiết, kiểm xem kết luận đúng. Thử bỏ một giả thiết và tìm ví dụ làm kết luận sai; việc này cho bạn biết giả thiết đó được dùng để làm gì. Đoán xem chứng minh sẽ đi theo hướng nào.
- Đọc lướt để tìm khung xương. Đọc nhanh toàn bộ một lần, chỉ để biết chứng minh dùng kỹ thuật gì (trực tiếp, phản chứng, quy nạp) và chia thành mấy bước lớn.
- Đọc từng dòng. Ở mỗi dòng, hỏi: dòng này suy ra từ đâu, định nghĩa nào, kết quả nào. Ghi lý do bên lề. Chỗ nào không trả lời được thì đánh dấu, đọc tiếp, quay lại sau.
- Đóng sách và viết lại. Viết lại chứng minh bằng lời của mình. Chỗ nào kẹt là chỗ chưa hiểu thật. Sau đó tự tóm ý chính trong một hai câu, ví dụ "chia đôi khoảng và dùng tính đầy đủ của số thực".
Giai đoạn hai thường bị bỏ qua nhưng lại có lời nhất. Biết mỗi giả thiết bị dùng ở đâu là biết cấu trúc của định lý, và đó là thứ giúp bạn nhớ nó lâu.
Ví dụ đọc từng dòng: dãy 1/n tiến về 0
Phát biểu: dãy số 1/n tiến về 0 khi n tiến ra vô cùng. Định nghĩa cần nhắc lại: dãy aₙ tiến về L nếu với mọi ε > 0, tồn tại số N sao cho với mọi n > N, khoảng cách |aₙ − L| nhỏ hơn ε. Thứ tự lượng từ ở đây quan trọng: ε được cho trước bởi "đối thủ", N được chọn sau và được phép phụ thuộc vào ε.
Chứng minh trong sách thường chỉ hai dòng: "Cho ε > 0. Chọn N > 1/ε. Khi đó với n > N, ta có |1/n − 0| = 1/n < 1/N < ε." Đọc từng dòng: "Cho ε > 0" là bắt đầu bằng một ε bất kỳ, vì định nghĩa nói với mọi ε. "Chọn N > 1/ε" là bước sáng tạo duy nhất, và nó đến từ việc người viết đã nháp ngược: muốn 1/n < ε thì cần n > 1/ε. Chỗ này sách không nói, bạn phải tự tái tạo. Dòng cuối có hai bất đẳng thức: 1/n < 1/N vì n > N và cả hai dương; 1/N < ε vì N > 1/ε. Mỗi dấu bé hơn có một lý do riêng.
Kiểm bằng số: với ε = 0,01 thì 1/ε = 100, chọn N = 101; với n = 102, 1/n khoảng 0,0098, đúng là nhỏ hơn 0,01. Sau khi đọc như vậy, bạn có thể tự chứng minh dãy 1/n² tiến về 0 bằng cùng khuôn, và đó là cách kiểm mình đã hiểu.
Ví dụ thứ hai: khả vi thì liên tục
Phát biểu: nếu hàm f khả vi tại điểm a thì f liên tục tại a. Giả thiết là giới hạn của thương (f(x) − f(a))/(x − a) khi x tiến về a tồn tại và bằng một số f'(a). Kết luận cần là giới hạn của f(x) khi x tiến về a bằng f(a), hay tương đương, f(x) − f(a) tiến về 0.
Chứng minh thường viết: với x khác a, f(x) − f(a) = [(f(x) − f(a))/(x − a)]·(x − a). Khi x tiến về a, thừa số thứ nhất tiến về f'(a), thừa số thứ hai tiến về 0, nên tích tiến về f'(a)·0 = 0. Đọc từng dòng: đẳng thức đầu đúng vì nhân rồi chia cho x − a, hợp lệ do x khác a, và chữ "với x khác a" là để đảm bảo điều đó. Bước tiếp theo dùng quy tắc giới hạn của tích, đòi hỏi cả hai giới hạn thành phần tồn tại, và chúng đều tồn tại: một cái do giả thiết, một cái hiển nhiên.
Thử giai đoạn hai với ví dụ này: bỏ giả thiết khả vi thì sao? Hàm nhảy bậc, bằng 0 khi x âm và bằng 1 khi x không âm, không liên tục tại 0, và thương sai phân của nó tiến ra vô cùng phía bên trái, nên không khả vi. Còn chiều ngược lại của định lý thì sai, hàm giá trị tuyệt đối là phản ví dụ. Biết cả hai điều đó, bạn đã hiểu định lý sâu hơn nhiều so với chỉ thuộc hai dòng chứng minh.
Những cụm từ hay làm người đọc mắc kẹt
Giáo trình dùng một số cụm từ cố định để bỏ bớt bước. Biết mỗi cụm thường che giấu gì giúp bạn biết phải tự lấp chỗ nào.
| Cụm từ | Thường có nghĩa là | Bạn nên làm gì |
|---|---|---|
| Dễ thấy, hiển nhiên | Một bước ngắn mà tác giả thấy quen | Tự viết ra bước đó; nếu mất quá mười phút, hỏi bạn học hoặc giảng viên |
| Tương tự | Lặp lại lập luận vừa rồi với thay đổi nhỏ | Viết đầy đủ phần tương tự ít nhất một lần |
| Không mất tính tổng quát, giả sử | Các trường hợp khác quy về trường hợp này | Tự kiểm vì sao quy về được, ví dụ bằng đối xứng |
| Theo định lý trên | Dùng một kết quả ở trước | Lật lại tìm đúng định lý, kiểm giả thiết của nó được thoả |
| Ta có | Một bước biến đổi chưa giải thích | Ghi bên lề lý do của bước đó |
Cụm "không mất tính tổng quát" đáng cảnh giác nhất, vì có lúc tác giả dùng nó hơi rộng tay. Nếu bạn không tự thuyết phục được mình rằng các trường hợp khác thật sự quy về được, đó là câu hỏi đáng mang tới giờ thảo luận.
Một mẹo nữa: khi tự viết lại chứng minh, hãy cố tình không dùng các cụm từ trong bảng. Mỗi lần định viết "dễ thấy", bạn buộc phải viết ra bước đó. Bản viết lại sẽ dài hơn bản trong sách, và đó đúng là điều bạn cần: phần dài thêm chính là phần hiểu thêm.
Nhờ AI giải thích một dòng chứng minh mà không bị dắt đi
Chatbot hữu ích khi bạn kẹt ở đúng một dòng. Nhưng nếu hỏi chung chung "giải thích chứng minh này", nó hay viết lại cả chứng minh theo cách của nó, đôi khi bằng một hướng khác hẳn giáo trình, và bạn mất dấu. Hỏi hẹp và có ngữ cảnh: "Trong giáo trình, chứng minh dãy 1/n tiến về 0 có dòng: chọn N lớn hơn 1/ε. Mình hiểu định nghĩa giới hạn. Giải thích vì sao chọn N như vậy, chỉ cho dòng này, không viết lại phần còn lại."
Một cách dùng khác là nhờ nó hỏi lại bạn: "Mình vừa đọc xong chứng minh khả vi thì liên tục. Hỏi mình ba câu để kiểm xem mình hiểu vai trò của từng giả thiết chưa, mỗi lần một câu, chờ mình trả lời rồi mới nhận xét." Kiểu hội thoại này buộc bạn tự nói ra lập luận, gần với việc đóng sách viết lại.
Cẩn thận với hai điều. AI có thể giải thích một bước sai một cách rất tự tin, nhất là các bước có bất đẳng thức hay lượng từ, nên đối chiếu lời giải thích với định nghĩa trong chính giáo trình của bạn. Và AI có thể dùng ký hiệu hoặc định nghĩa hơi khác giáo trình; khi đó hãy nói rõ giáo trình dùng định nghĩa nào và yêu cầu nó theo đúng định nghĩa đó.
Câu hỏi thường gặp
Đọc một trang chứng minh mất cả giờ có phải là chậm quá không?
Không. Giáo trình đại học viết rất nén, mỗi dòng có thể dựa vào định nghĩa và kết quả ở chỗ khác. Đọc kỹ một chứng minh rồi viết lại được có giá trị hơn đọc lướt nhiều trang.
Có nên đọc chứng minh trước rồi mới đọc phát biểu định lý không?
Ngược lại. Đọc phát biểu trước, nhắc lại định nghĩa, thử ví dụ và đoán hướng chứng minh. Khi đã có kỳ vọng, bạn đọc chứng minh chủ động hơn và nhận ra ngay chỗ tác giả đi khác dự đoán.
Gặp chữ dễ thấy mà không thấy thì làm thế nào?
Tự viết bước đó ra giấy, nhắc lại định nghĩa liên quan. Nếu sau khoảng mười phút vẫn không ra, đánh dấu và đọc tiếp, rồi hỏi bạn học, giảng viên hoặc nhờ AI giải thích riêng dòng đó.
Làm sao biết mình đã hiểu một chứng minh?
Đóng sách và viết lại được chứng minh bằng lời của mình, nói được ý chính trong một hai câu, và chỉ ra mỗi giả thiết được dùng ở đâu. Áp dụng được khuôn đó cho một bài tương tự là dấu hiệu tốt nhất.
Có nên nhờ AI giải thích cả chứng minh không?
Nên hỏi hẹp từng dòng kèm ngữ cảnh giáo trình. Hỏi chung chung, AI hay viết lại cả chứng minh theo hướng khác và bạn mất dấu. Luôn đối chiếu lời giải thích với định nghĩa trong giáo trình.
Thử bỏ một giả thiết của định lý để làm gì?
Để biết giả thiết đó có vai trò gì. Nếu bỏ nó mà tìm được phản ví dụ, bạn biết chứng minh phải dùng nó ở đâu đó. Việc này giúp hiểu cấu trúc định lý và nhớ lâu hơn.