Khi kẹt ở một bài chứng minh khó, người giỏi toán hiếm khi có một ý tưởng thiên tài rơi từ trên xuống; họ có một bộ thói quen để tạo ra ý tưởng: thử các trường hợp nhỏ, giải một bài dễ hơn, đặt tên cho mọi thứ, tìm đại lượng không đổi, đi ngược từ đích, và nhìn lại sau khi giải xong. Những thói quen này học được, và càng dùng nhiều càng nhanh.
Bài này bắt đầu từ bốn bước giải toán mà George Pólya đưa ra trong cuốn How to Solve It xuất bản năm 1945, rồi đi qua chín thói quen cụ thể kèm ví dụ tính tay, trong đó có bài bàn cờ thiếu hai góc nổi tiếng. Phần cuối là cách quản lý thời gian khi bị kẹt và cách dùng AI cho gợi ý theo từng mức thay vì lời giải.
Bốn bước giải toán của Pólya
Pólya là nhà toán học gốc Hungary, nổi tiếng với các sách bàn về cách giải toán. Khung bốn bước của ông đến nay vẫn là điểm xuất phát của hầu hết tài liệu dạy giải quyết vấn đề trong toán.
| Bước | Câu hỏi tự đặt | Lỗi hay gặp khi bỏ bước này |
|---|---|---|
| Hiểu bài toán | Cái gì đã cho, cái gì cần tìm, điều kiện là gì, mình có phát biểu lại được bằng lời của mình không | Lao vào biến đổi rồi chứng minh nhầm một mệnh đề khác |
| Lập kế hoạch | Đã gặp bài nào giống chưa, kỹ thuật nào có thể dùng, có bài dễ hơn liên quan không | Thử ngẫu nhiên hết cách này tới cách khác không có hướng |
| Thực hiện kế hoạch | Mỗi bước có đúng không, có kiểm được không | Sai một bước tính rồi đi tiếp cả trang |
| Nhìn lại | Kết quả có hợp lý không, có cách khác không, dùng được kết quả hay phương pháp này cho bài nào khác | Giải xong là quên, lần sau gặp bài tương tự lại bắt đầu từ đầu |
Bước bốn là bước bị bỏ nhiều nhất và có lời nhất. Một lời giải được nhìn lại trở thành một công cụ; một lời giải không được nhìn lại chỉ là một bài đã xong. Bốn bước nghe đơn giản, nhưng giá trị của chúng nằm ở chỗ biến những câu hỏi đó thành phản xạ mỗi khi bạn mở một bài mới. Với bài chứng minh, bước hiểu bài toán còn gồm việc viết lại mệnh đề cho rõ giả thiết, kết luận và lượng từ, như các bài khác trong danh mục này đã nhấn mạnh.
Thử trường hợp nhỏ, đặc biệt hoá và tổng quát hoá
Thử trường hợp nhỏ để thấy quy luật. Gặp tổng 1 + 3 + 5 + … + (2n − 1), tính với n = 1, 2, 3, 4 được 1, 4, 9, 16. Quy luật số chính phương hiện ra ngay, và từ đó bạn biết cần chứng minh điều gì, thường bằng quy nạp.
Đặc biệt hoá để có chỗ bám. Nếu bài nói về đa giác n cạnh, thử với tam giác và tứ giác. Nếu bài nói về ma trận cỡ n, thử với cỡ 2. Bài toán nhỏ thường giải được, và cách giải của nó gợi ý cách giải tổng quát.
Tổng quát hoá để thấy cấu trúc. Ngược lại, đôi khi bài tổng quát lại dễ hơn bài cụ thể, vì những con số cụ thể che mất cấu trúc. Bài về số 2026 có khi chỉ là một trường hợp của bài về số chẵn bất kỳ.
Vẽ hình, kể cả khi bài không phải hình học. Một bất đẳng thức giữa hai hàm số trở nên rõ khi vẽ hai đồ thị trên cùng hệ trục. Một bài về tập hợp dễ hơn khi vẽ các vòng tròn giao nhau. Hình vẽ không thay chứng minh, nhưng nó cho bạn biết điều cần chứng minh có hợp lý không, và thường gợi ra bước mấu chốt.
Đặt tên cho mọi thứ. Gọi tên các đại lượng chưa biết, các điểm, các tập hợp. Một khi có tên, bạn viết được phương trình và quan hệ, và não không phải giữ mọi thứ bằng lời.
Tìm bất biến: bài bàn cờ thiếu hai góc
Một bàn cờ 8 nhân 8 bị cắt đi hai ô ở hai góc đối nhau, còn lại 62 ô. Có thể lát kín 62 ô này bằng 31 quân domino, mỗi quân phủ đúng hai ô kề nhau, hay không? Thử xếp bằng tay sẽ mất rất lâu và không đi tới đâu, vì số cách xếp là khổng lồ. Lời giải đến từ một câu hỏi khác: có đại lượng nào không đổi bất kể xếp thế nào không?
Tô bàn cờ hai màu như bình thường. Hai góc đối nhau có cùng màu, giả sử cùng là màu trắng. Bàn cờ đầy đủ có 32 ô trắng và 32 ô đen; cắt hai góc trắng, còn 30 ô trắng và 32 ô đen. Mỗi quân domino nằm trên hai ô kề nhau, mà hai ô kề nhau luôn khác màu, nên mỗi quân phủ đúng một ô trắng và một ô đen. 31 quân sẽ phủ 31 ô trắng và 31 ô đen. Nhưng chỉ có 30 ô trắng, nên không thể lát kín. Bài toán được giải mà không cần thử một cách xếp nào.
Bất biến là một đại lượng không thay đổi qua mọi thao tác cho phép; ở đây là hiệu giữa số ô trắng và số ô đen đã được phủ, luôn bằng 0 sau mỗi quân. Khi bài toán hỏi "có thể đạt tới trạng thái X không", hãy tìm một đại lượng mà mọi thao tác đều giữ nguyên, rồi so giá trị của nó ở trạng thái đầu và trạng thái X. Kỹ thuật này dùng được từ trò chơi đố vui tới các chứng minh nghiêm túc trong đại số và tổ hợp.
Đi ngược từ đích, tìm đối xứng và đổi góc nhìn
Đi ngược từ đích. Hỏi: muốn có kết luận này, bước ngay trước đó cần có gì? Rồi lặp lại. Đây là cách nháp tự nhiên cho bất đẳng thức và cho các bài chứng minh dài. Nhớ rằng bản chính phải viết xuôi lại, và kiểm từng bước có đảo chiều được không.
Tìm đối xứng. Tổng 1 + 2 + … + 100 tính nhanh bằng cách ghép số đầu với số cuối: 1 với 100, 2 với 99, và cứ thế, được 50 cặp, mỗi cặp có tổng 101, tổng cộng 5050. Câu chuyện cậu bé Gauss tính nhanh tổng này thường được kể lại với nhiều phiên bản, chi tiết khó kiểm chứng, nhưng ý tưởng ghép cặp đối xứng thì dùng được rất nhiều nơi.
Đổi cách biểu diễn. Một bài số học có thể dễ hơn khi vẽ thành hình, một bài hình học có thể dễ hơn khi đặt hệ toạ độ, một bài đếm có thể dễ hơn khi chuyển thành bài về đường đi trên lưới. Khi kẹt lâu ở một cách nhìn, thử viết lại bài toán bằng một ngôn ngữ khác.
Tìm bài liên quan đã giải. Pólya gợi ý câu hỏi "đã gặp bài nào có cùng ẩn số chưa". Một sổ ghi chép các bài đã giải, mỗi bài một hai dòng về ý chính, giúp câu hỏi này có câu trả lời.
Khi kẹt: quản lý thời gian và giấy nháp
Bị kẹt là trạng thái bình thường của người làm toán, không phải dấu hiệu thất bại. Điều cần là kẹt một cách có ích:
- Đặt giới hạn thời gian cho mỗi hướng thử, ví dụ hai mươi phút. Hết giờ mà không tiến triển, ghi lại đã thử gì và vì sao không được, rồi đổi hướng.
- Viết mọi thứ ra giấy, kể cả hướng thử thất bại. Một hướng thất bại được ghi rõ lý do thường chỉ ra hướng đúng.
- Khi đã thử ba bốn hướng, nghỉ hẳn: đi bộ, làm việc khác, ngủ một đêm. Nhiều người làm toán kể rằng ý tưởng đến lúc không ngồi trước bàn.
- Quay lại và đọc lại đề từ đầu như lần đầu. Rất nhiều lần kẹt là do đọc sai đề hoặc bỏ sót một giả thiết.
- Nếu vẫn kẹt, hỏi một gợi ý nhỏ nhất có thể, từ bạn học, giảng viên hoặc AI, chứ không hỏi lời giải.
Ghi nhật ký giải toán, mỗi bài vài dòng về hướng đã thử và ý chính cuối cùng, là thói quen ít tốn công mà lợi lâu dài. Sau một học kỳ, cuốn nhật ký đó là bộ sưu tập kỹ thuật của riêng bạn. Khi đọc lại, bạn sẽ thấy cùng một vài ý tưởng như ghép cặp, tô màu, quy nạp, xuất hiện ở những bài tưởng như chẳng liên quan gì đến nhau.
Dùng AI cho gợi ý theo từng mức, không cho lời giải
Chatbot rất sẵn lòng đưa ra lời giải đầy đủ, và đó chính là điều bạn cần chặn khi đang luyện tư duy. Một câu lệnh mẫu: "Mình đang kẹt ở bài sau. Đừng đưa lời giải. Cho mình gợi ý mức 1, chỉ là một câu hỏi gợi hướng. Nếu mình vẫn kẹt và nhắn tiếp, mới cho gợi ý mức 2 cụ thể hơn, và cứ thế, tối đa ba mức." Bài bàn cờ ở trên, gợi ý mức 1 có thể là "Có đại lượng nào không đổi khi đặt thêm một quân domino?", mức 2 là "Thử tô màu bàn cờ."
Cách thứ hai là nhờ AI đóng vai bạn học đặt câu hỏi theo bốn bước của Pólya: "Hỏi mình lần lượt các câu của bước hiểu bài toán và lập kế hoạch cho bài này, mỗi lần một câu, không gợi ý đáp án." Kiểu hội thoại này rèn đúng thói quen bạn muốn có, vì cuối cùng bạn tự trả lời các câu hỏi đó.
Hai lưu ý. Gợi ý của AI có thể dẫn sai hướng, nhất là với bài không quen; nếu một gợi ý không đưa bạn tới đâu sau một khoảng thời gian hợp lý, bỏ nó. Và với bài nộp có chấm điểm, xem quy định của môn trước khi dùng bất kỳ dạng trợ giúp nào. Danh mục về dùng AI và công cụ để học toán trên trang có bài riêng về cách làm gia sư với AI; ở đây chỉ nhấn vào việc giữ phần tư duy ở phía bạn.
Câu hỏi thường gặp
Bốn bước giải toán của Pólya là gì?
Hiểu bài toán, lập kế hoạch, thực hiện kế hoạch và nhìn lại. Khung này nằm trong cuốn How to Solve It xuất bản năm 1945, và đến nay vẫn là nền của nhiều tài liệu dạy giải quyết vấn đề trong toán.
Bất biến trong toán học là gì?
Là một đại lượng không thay đổi qua mọi thao tác được phép trong bài toán. So giá trị bất biến ở trạng thái đầu và trạng thái đích giúp chứng minh không thể đạt tới đích, như bài bàn cờ thiếu hai góc.
Kẹt bao lâu thì nên đổi hướng?
Không có con số cố định, nhưng đặt giới hạn khoảng hai mươi đến ba mươi phút cho mỗi hướng là cách tốt để tránh sa lầy. Ghi lại hướng đã thử và lý do thất bại trước khi đổi.
Thử trường hợp nhỏ có giúp được bài chứng minh tổng quát không?
Có. Trường hợp nhỏ cho bạn thấy quy luật cần chứng minh, và cách giải bài nhỏ thường gợi ý khung cho bài tổng quát. Nhưng nhớ rằng ví dụ chỉ giúp đoán, không thay cho chứng minh.
Có nên hỏi AI lời giải khi bị kẹt lâu không?
Nên hỏi gợi ý theo từng mức thay vì lời giải. Yêu cầu AI chỉ đưa một câu hỏi gợi hướng, và chỉ cụ thể hơn khi bạn vẫn kẹt. Cách này giữ được phần tư duy, thứ bạn cần rèn.
Ghi nhật ký giải toán có thật sự cần không?
Không bắt buộc nhưng rất có lợi. Mỗi bài vài dòng về hướng đã thử và ý chính giúp bạn trả lời câu hỏi đã gặp bài nào giống chưa, và sau một học kỳ thành bộ kỹ thuật riêng.