Phần dài nhất và phong phú nhất của cuốn sách. Dưới đây là các mục từ điển cốt lõi, được biên dịch và diễn giải bằng tiếng Việt. Dùng ô tìm kiếm hoặc lọc theo chữ cái để tra cứu nhanh.
Tương tự (Analogy) — phép loại suy
Hai hệ thống là tương tự nếu chúng giống nhau ở những quan hệ được xác định rõ giữa các bộ phận tương ứng. Loại suy là một trong những nguồn gốc giàu có nhất của phỏng đoán: bài toán không gian gợi nhớ bài toán phẳng, bài toán phức tạp gợi nhớ bài đơn giản hơn. Pólya khuyên: “Đây là bài toán liên quan và đã được giải. Bạn có thể dùng nó không?”
Bài toán phụ trợ (Auxiliary problem) — bài toán phụ
Một bài toán phụ là bài ta xét không phải vì chính nó, mà vì hy vọng việc giải nó sẽ giúp giải bài toán gốc. Bài gốc là mục đích; bài phụ là phương tiện. Tìm được một bài phụ phù hợp là một thành tựu trí tuệ quan trọng (vd: đường chéo mặt đáy trong bài hình hộp).
Yếu tố phụ trợ (Auxiliary elements) — đường phụ, biến phụ
Những phần tử ta đưa thêm vào hình hoặc vào bài toán (một đường kẻ thêm, một điểm, một biến mới) để làm lộ ra mối liên hệ ẩn. Việc thêm đường phụ đúng chỗ thường là chìa khóa của lời giải hình học.
Bolzano — về heuristic
Pólya trích Bernard Bolzano, người cho rằng logic không chỉ nên dạy cách chứng minh mà còn cách phát hiện chân lý. Mục này nhấn mạnh giá trị của heuristic như một bộ phận chính đáng của tư duy khoa học.
Bạn có thể kiểm tra kết quả không? — Can you check the result?
Câu hỏi cốt lõi của Giai đoạn 4. Các phép kiểm: thử trường hợp đặc biệt, kiểm thứ nguyên, xét tính đối xứng, kiểm các giá trị cực biên. Một kết quả vượt qua nhiều phép thử độc lập thì đáng tin hơn.
Điều kiện (Condition) — ràng buộc
Phần của bài toán nối ẩn số với dữ kiện. Pólya khuyên: hãy hỏi điều kiện có đủ, thừa, thiếu hay mâu thuẫn không; và hãy tách điều kiện thành nhiều phần để xử lý từng phần.
Mâu thuẫn (Contradictory) — điều kiện vô nghiệm
Khi các phần của điều kiện không thể cùng được thỏa mãn, bài toán vô nghiệm. Nhận ra sự mâu thuẫn sớm giúp tránh lãng phí công sức.
Phân tích & tái tổ hợp (Decomposing and recombining) — chia rồi ghép
Một thao tác trí tuệ trung tâm: tách bài toán thành các phần, xem xét chi tiết từng phần, rồi ghép lại theo cách mới. Nhìn cùng một đối tượng từ nhiều góc, “xa” rồi “gần”, thường làm bừng sáng ý tưởng. Đây là tổ tiên của tư duy “chia để trị”.
Định nghĩa (Definition) — quay về định nghĩa
Khi bế tắc, hãy quay về các định nghĩa của những thuật ngữ trong đề. Thay thế một khái niệm bằng định nghĩa của nó thường biến đổi bài toán sang dạng dễ làm việc hơn.
Mô hình Descartes (Descartes) — quy về phương trình
Lý tưởng (chưa hoàn chỉnh) của Descartes: mọi bài toán quy về bài toán toán học; mọi bài toán toán học quy về bài toán đại số; mọi bài toán đại số quy về việc giải một phương trình. Một kế hoạch tổng quát để tấn công bài toán.
Chẩn đoán (Diagnosis) — đánh giá tiến độ
Việc người thầy (hoặc người giải) đánh giá xem học sinh đang ở đâu trong quá trình: đã hiểu đề chưa, có kế hoạch chưa, đang kẹt ở đâu — để đưa ra gợi ý đúng lúc, đúng chỗ.
Bạn có biết một bài toán liên quan không? — Related problem
Câu hỏi trung tâm của Giai đoạn 2. Kho kinh nghiệm cũ là tài nguyên lớn nhất của người giải. Một bài đã giải có thể cho mượn kết quả hoặc phương pháp.
Hãy vẽ một hình (Figures) — hình vẽ
Hình vẽ hỗ trợ trí tưởng tượng và trí nhớ, giữ mọi dữ kiện trước mắt cùng lúc. Ngay cả với bài toán phi hình học, một sơ đồ minh họa quan hệ cũng vô cùng hữu ích.
Tổng quát hóa (Generalization) — khái quát
Chuyển từ xét một đối tượng sang xét tập hợp chứa nó, hoặc từ một số cụ thể sang một tham số. Nghịch lý thú vị: đôi khi bài tổng quát hơn lại dễ giải hơn (xem “Nghịch lý của nhà phát minh”).
Heuristic — thuật phát hiện
Nghiên cứu về phương pháp và quy luật của khám phá và phát minh (heuretic, ars inveniendi). Khác với logic hình thức (kiểm chứng), heuristic quan tâm tới quá trình tìm ra lời giải — qua phỏng đoán hợp lý và lập luận khả nhiên.
Quy nạp (Induction) — phỏng đoán thực nghiệm
Quá trình rút ra quy luật tổng quát từ việc quan sát các trường hợp riêng. Nó cho phỏng đoán, không cho chứng minh. Pólya nhấn mạnh quy nạp là động lực khám phá, nhưng phải được kiểm chứng sau đó.
Quy nạp toán học (Mathematical induction) — chứng minh quy nạp
Một phương pháp chứng minh chặt chẽ (đừng nhầm với quy nạp thực nghiệm). Gồm: chứng minh cơ sở (đúng với $n=1$) và bước chuyển (nếu đúng với $n=k$ thì đúng với $n=k+1$). Khi đó mệnh đề đúng với mọi $n$.
Hãy nhìn vào ẩn số! — Look at the unknown
Lời khuyên đắt giá: định hướng nỗ lực bằng mục tiêu. Hãy nhớ tới một bài toán quen thuộc có cùng ẩn số hoặc ẩn số tương tự, vì nó có thể gợi ý phương pháp.
Ký hiệu (Notation) — đặt ký hiệu
Một hệ ký hiệu tốt là một nửa lời giải. Ký hiệu phải rõ ràng, gợi nhớ và không nhập nhằng; nên phản ánh quan hệ giữa các đại lượng (đại lượng cùng vai trò dùng chữ cùng loại).
Pappus — phân tích & tổng hợp
Pólya trình bày lại phương pháp cổ điển của Pappus: Phân tích (analysis) — coi cái cần tìm như đã có rồi lần ngược về dữ kiện; và Tổng hợp (synthesis) — đảo ngược trình tự đó để dựng nên lời giải xuôi chiều. Nền tảng của kỹ thuật “làm việc ngược”.
Máy móc & thành thục (Pedantry and mastery) — linh hoạt
Kẻ máy móc áp dụng quy tắc một cách cứng nhắc, bất kể có phù hợp hay không. Người thành thục dùng quy tắc một cách linh hoạt, biết khi nào nên áp dụng và khi nào nên bỏ qua. Heuristic là nghệ thuật, không phải công thức.
Bài toán cần tìm & bài toán cần chứng minh — Problems to find / to prove
Hai loại bài toán. Bài cần tìm: mục tiêu là tìm ra ẩn số (ba phần: ẩn số, dữ kiện, điều kiện). Bài cần chứng minh: mục tiêu là xác lập đúng/sai một mệnh đề (hai phần: giả thiết và kết luận).
Tiến bộ & thành tựu (Progress and achievement) — dấu hiệu đi đúng hướng
Làm sao biết mình đang tiến gần lời giải? Dấu hiệu: trực giác trở nên rõ ràng hơn, các yếu tố rời rạc bắt đầu kết nối, ta huy động được kiến thức cũ phù hợp. Niềm tin tăng dần là tín hiệu của tiến bộ thực sự.
Phản chứng & chứng minh gián tiếp — Reductio ad absurdum
Phản chứng: giả sử điều cần chứng minh là sai, rồi dẫn tới một điều vô lý. Chứng minh gián tiếp: chứng minh mệnh đề bằng cách bác bỏ mệnh đề phủ định của nó. Công cụ mạnh khi tấn công trực tiếp gặp khó.
Lập phương trình (Setting up equations) — dịch sang đại số
Nghệ thuật “dịch” bài toán lời văn sang ngôn ngữ toán. Bí quyết: chia điều kiện thành nhiều phần, dịch từng phần thành biểu thức đại số, rồi nối chúng thành phương trình bằng dấu “=”.
Đặc biệt hóa (Specialization) — xét trường hợp riêng
Ngược với tổng quát hóa: chuyển từ xét cả một tập hợp sang xét một phần tử (hoặc tập con nhỏ hơn). Xét trường hợp riêng — nhất là trường hợp cực biên — giúp kiểm tra phỏng đoán và hé lộ cơ chế của bài toán.
Đối xứng (Symmetry) — tận dụng sự đối xứng
Nếu bài toán có tính đối xứng (các phần tử hoán vị được mà không đổi bản chất), thì lời giải cũng nên đối xứng. Khai thác đối xứng giúp giảm khối lượng tính toán và kiểm tra kết quả.
Thuật ngữ cũ & mới (Terms, old and new) — quy về điều đã biết
Khi gặp khái niệm mới, hãy diễn đạt nó qua những thuật ngữ đã quen thuộc. Đưa cái lạ về cái quen là một bước heuristic căn bản.
Nhà toán học tương lai — The future mathematician
Pólya bàn về vai trò người thầy trong nuôi dưỡng tài năng: khơi gợi tò mò, cho học sinh nếm trải niềm vui khám phá, dạy cách hỏi chứ không chỉ cách trả lời.
Biến đổi bài toán (Variation of the problem) — thay hình đổi dạng
Khi bế tắc, hãy biến đổi bài toán: tổng quát hóa, đặc biệt hóa, dùng loại suy, bỏ bớt một phần điều kiện, hoặc phát biểu lại. Mục tiêu là tìm một dạng tương đương dễ tấn công hơn.
Vì sao cần chứng minh? — Why proofs?
Chứng minh biến một phỏng đoán hợp lý thành tri thức chắc chắn. Pólya khuyến khích phân biệt rạch ròi giữa điều ta tin (qua quy nạp, loại suy) và điều ta biết (qua chứng minh).
Làm việc ngược (Working backwards) — đi ngược từ đích
Xuất phát từ cái muốn đạt và tự hỏi: “Điều này có thể suy ra từ đâu?”, cứ thế lùi dần cho tới khi chạm một thứ đã biết. Cực kỳ hiệu quả với các bài đố (vd: đong nước), bài dựng hình và chứng minh. Là một nửa của phương pháp Pappus.
Ý tưởng loé sáng (Bright idea) — khoảnh khắc "Aha!"
Pólya mô tả khoảnh khắc một ý tưởng then chốt bỗng xuất hiện — thường sau một thời gian ủ trong tiềm thức. Đây không phải phép màu mà là kết quả của việc chuẩn bị kỹ, thư giãn, và quay lại với tâm thế mới. Khi bế tắc, Pólya khuyên: đừng cố bằng mọi giá, hãy tạm nghỉ rồi nhìn bài toán từ góc khác.
Thực hiện kế hoạch (Carrying out the plan) — Giai đoạn 3
Giai đoạn 3 trong khung bốn bước. Pólya nhắc: có kế hoạch là một chuyện, thực hiện đúng là chuyện khác. Ở mỗi bước, phải tự hỏi: "Mình có chắc bước này đúng không? Mình có thể chứng minh nó đúng không?" Đừng viết liều — mỗi bước cần lý do rõ ràng.
Bạn có thể dẫn ra kết quả theo cách khác không? — Alternate solution
Câu hỏi quan trọng trong Giai đoạn 4. Tìm lời giải thứ hai giúp: (1) kiểm chứng kết quả, (2) hiểu sâu hơn bản chất bài toán, (3) phát hiện phương pháp mạnh hơn. Pólya coi việc tìm nhiều lời giải là dấu hiệu của tư duy trưởng thành.
Hệ quả (Corollary) — bài toán mới từ lời giải cũ
Sau khi giải xong, hãy hỏi: "Kết quả này kéo theo điều gì khác?" Nhiều định lý quan trọng ra đời như hệ quả của lời giải một bài toán khác. Đây là lý do Pólya coi Giai đoạn 4 không phải "kiểm tra lại" mà là "học hỏi từ lời giải".
Lập kế hoạch (Devising a plan) — Giai đoạn 2
Giai đoạn 2 trong khung bốn bước — giai đoạn khó nhất. Đây là lúc cần huy động tất cả kinh nghiệm, sáng tạo và heuristic. Không có thuật toán nào đảm bảo tìm được kế hoạch; nhưng có những câu hỏi hữu ích: bài liên quan, loại suy, tổng quát hóa, đặc biệt hóa, làm việc ngược, thêm yếu tố phụ.
Liệt kê đầy đủ (Exhaustive enumeration) — xét hết các trường hợp
Đôi khi cách duy nhất là chia bài toán thành tất cả các trường hợp có thể và giải từng trường hợp. Kỹ thuật này đòi hỏi: (1) danh sách đầy đủ — không bỏ sót; (2) các trường hợp loại trừ lẫn nhau — không trùng. Pólya liên kết kỹ thuật này với việc phân tích toàn diện điều kiện.
Thiên tài (Genius) — và người thường
Pólya lý giải: thiên tài không phải ai đó có tư duy hoàn toàn khác người thường, mà là người áp dụng cùng những thao tác heuristic nhưng nhanh hơn, phong phú hơn, sâu hơn. Điều này có nghĩa: heuristic là có thể học được và thực hành được bởi bất kỳ ai.
Bất biến (Invariant) — đại lượng không đổi
Một tính chất hoặc đại lượng không thay đổi qua mọi phép biến đổi hợp lệ trong bài toán. Kỹ thuật tìm bất biến cực kỳ mạnh trong tổ hợp: nếu trạng thái đầu và đích có giá trị bất biến khác nhau → không thể chuyển từ trạng thái đầu sang đích. Ví dụ điển hình: tô màu trong bài toán lát gạch domino.
Nghịch lý của nhà phát minh (Inventor's paradox) — bài tổng quát đôi khi dễ hơn
Đôi khi đặt ra và giải một bài toán tham vọng hơn lại dễ hơn bài gốc. Lý do: bài tổng quát có ít thông tin "rác", cấu trúc rõ hơn, phương pháp áp dụng trực tiếp hơn. Ví dụ: thay vì "tính $1^3+2^3+\cdots+5^3$", hãy giải "tìm công thức cho $1^3+2^3+\cdots+n^3$" — bài tổng quát hơn nhưng dễ định hướng hơn.
Bổ đề (Lemma) — bước đệm quan trọng
Một mệnh đề được chứng minh không phải vì chính nó mà để dùng trong chứng minh mệnh đề chính. Nhận ra rằng ta cần một bổ đề và đặt tên cho nó là bước quan trọng trong việc cấu trúc hóa lời giải. Pólya: "Đặt tên cho một phần của bài toán giúp ta nghĩ về nó rõ ràng hơn."
Suy luận hợp lý (Plausible reasoning) — lập luận khả nhiên
Khác với suy luận diễn dịch (chắc chắn 100%), suy luận hợp lý chỉ cho ta kết quả có khả năng đúng. Đây là nền tảng của khám phá khoa học: ta phỏng đoán, kiểm tra, điều chỉnh. Pólya viết cuốn sách riêng về chủ đề này: Mathematics and Plausible Reasoning (1954).
Nới lỏng điều kiện (Relaxing the condition) — bỏ bớt ràng buộc
Khi bế tắc, hãy thử bỏ đi một phần điều kiện và giải bài dễ hơn. Lời giải của bài dễ hơn thường gợi ý cách xử lý bài gốc. Kỹ thuật này cho ra bài toán phụ. Ví dụ điển hình: dựng hình vuông nội tiếp tam giác — bỏ điều kiện "nội tiếp" trước, dùng phép vị tự để phục hồi điều kiện sau.
Phát biểu lại bài toán (Restatement) — diễn đạt lại
Diễn đạt lại bài toán bằng ngôn ngữ hoặc ký hiệu khác để nhìn ra góc độ mới. Đây không phải thay đổi bài toán mà là thay đổi cách nhìn. Ví dụ: "Chứng minh $n^2$ lẻ khi $n$ lẻ" có thể phát biểu lại bằng mệnh đề tương đương ngược: "Nếu $n^2$ chẵn thì $n$ chẵn" — đôi khi dễ tấn công hơn.
Tiềm thức làm việc (Subconscious work) — ủ bài toán
Pólya theo Hadamard mô tả: sau khi làm việc chăm chỉ với bài toán và bị bế tắc, nếu tạm gác lại, tiềm thức tiếp tục xử lý. Ý tưởng thường loé sáng sau giấc ngủ, hoặc khi đang làm việc khác. Bài học thực tế: cho não nghỉ là một phần chính đáng của quá trình giải toán.
Dạy học (Teaching) — vai trò của người thầy
Theo Pólya, người thầy lý tưởng không dạy kết quả mà dạy quá trình tìm ra kết quả. Người thầy đặt câu hỏi thay vì thuyết giảng; gợi ý chứ không làm thay; tạo điều kiện để học sinh tự khám phá. Câu hỏi Socrat là công cụ chính: "Bạn có biết bài toán liên quan nào không?"
Hiểu bài toán (Understanding the problem) — Giai đoạn 1
Giai đoạn đầu tiên và thường bị bỏ qua nhất. Pólya nhấn mạnh: chưa hiểu rõ bài thì chưa được làm. Dấu hiệu hiểu bài: có thể nói lại đề bằng lời mình, chỉ rõ ẩn số/dữ kiện/điều kiện, vẽ được hình và đặt được ký hiệu, biết điều kiện có đủ xác định ẩn không.
Nhìn lại (Looking back) — Giai đoạn 4
Giai đoạn bị bỏ qua nhiều nhất. Pólya coi đây là giai đoạn học hỏi và trưởng thành: kiểm tra kết quả nhiều cách, tìm lời giải ngắn hơn, tổng quát hóa, tìm hệ quả, kết nối với bài khác. "Nhìn lại" tốt chuyển một bài đã giải thành nhiều bài toán mới và củng cố kinh nghiệm lâu dài.