Bài toán: Tìm ba số thỏa điều kiện
Bài toán minh họa chuỗi heuristic quan trọng: đặt ký hiệu → biểu diễn quan hệ → thiết lập điều kiện → tổng quát hóa kết quả. Đây là kiểu bài cực kỳ phổ biến mà Pólya dùng để giảng dạy tư duy đại số hóa một bài toán lời văn.
Tìm ba số tự nhiên liên tiếp sao cho tổng của chúng bằng 135.
Nhìn vào bài toán này, người mới học thường nhảy ngay vào tính toán. Pólya nhắc ta dừng lại và trải qua đủ bốn giai đoạn, dù bài có vẻ đơn giản — vì chính những bài đơn giản mới là nơi luyện phương pháp tốt nhất.
Ẩn số là gì? Dữ kiện là gì? Điều kiện là gì?
Dữ kiện: Tổng của chúng bằng 135.
Điều kiện: Các số là tự nhiên liên tiếp (nghĩa là kề nhau, như 4, 5, 6 hoặc 44, 45, 46).
Điều kiện có đủ để xác định ẩn số không? Có thỏa mãn được không? Có dư thừa hay mâu thuẫn không?
Hãy vẽ sơ đồ (hay hình minh họa). Hãy đặt ký hiệu phù hợp.
Pólya nhấn mạnh: chọn ký hiệu tốt là một nửa lời giải. Ở đây, thay vì đặt ba ẩn $a, b, c$ (dẫn đến hệ 3 phương trình 3 ẩn), ta nhận ra quan hệ "liên tiếp" cho phép dùng một ẩn duy nhất $n$. Đây là thao tác heuristic: khai thác cấu trúc của điều kiện để giảm số ẩn.
Bạn có biết bài toán liên quan nào không? Bạn đã từng giải bài toán dạng này chưa?
Điều kiện có thể "dịch" sang ngôn ngữ toán học như thế nào?
• "Ba số tự nhiên liên tiếp" → $n,\; n+1,\; n+2$ (với $n \in \mathbb{N}$)
• "Tổng của chúng bằng 135" → $n + (n+1) + (n+2) = 135$
Kế hoạch: Thu gọn vế trái, giải phương trình bậc nhất, tìm $n$, suy ra ba số.
Nhiều học sinh đặt ba ẩn: $x + y + z = 135$ và $y = x+1$, $z = x+2$. Điều này hoàn toàn đúng nhưng không tối ưu. Pólya gọi đây là thiếu "tinh tế trong ký hiệu" — không khai thác cấu trúc để đơn giản hóa sớm nhất có thể.
Thực hiện từng bước, kiểm tra tính đúng đắn của mỗi bước:
Bạn có thể kiểm tra kết quả không?
Kiểm tra điều kiện "tổng = 135": $44 + 45 + 46 = 135$ ✓
Kiểm tra "tự nhiên": 44 ≥ 0 ✓
Bạn có thể đạt đến kết quả bằng con đường khác không?
Bạn có thể dùng kết quả hoặc phương pháp này cho bài toán khác không?
Tổng quát hóa — Nghịch lý của nhà phát minh
Pólya chỉ ra một điều kỳ lạ: đôi khi bài toán tổng quát hơn lại dễ giải hơn. Thay vì chỉ giải bài "tổng = 135", hãy giải bài tổng quát "tổng = $S$", ta sẽ thấy cấu trúc rõ hơn và lời giải ngắn gọn hơn.
Xét bài toán tổng quát: Tìm $k$ số nguyên liên tiếp có tổng bằng $S$.
| $k$ (số lượng) | Biểu diễn | Tổng | Điều kiện tồn tại nghiệm nguyên |
|---|---|---|---|
| 2 | $n,\ n+1$ | $2n+1$ | $S$ lẻ |
| 3 | $n-1,\ n,\ n+1$ | $3n$ | $S \div 3$ nguyên |
| 4 | $n-1,\ n,\ n+1,\ n+2$ | $4n+2$ | $(S-2) \div 4$ nguyên |
| $k$ (lẻ) | $n - \frac{k-1}{2},\ldots, n + \frac{k-1}{2}$ | $k \cdot n$ | $S \div k$ nguyên |
| $k$ (chẵn) | $n - \frac{k}{2}+1,\ldots, n + \frac{k}{2}$ | $k(2n+1)/2$ | $S/k$ không nguyên (nửa nguyên) |
Kết luận tổng quát thú vị
Một số nguyên dương $S$ có thể biểu diễn là tổng của $k$ số nguyên liên tiếp khi và chỉ khi $k$ là ước lẻ của $S$ (hoặc $k$ chẵn với điều kiện thích hợp). Ví dụ: $135 = 3 \times 45 = 5 \times 27 = 9 \times 15 = 15 \times 9 = 27 \times 5 = 45 \times 3$, nên 135 có thể là tổng của 3, 5, 9, 15, 27 hoặc 45 số liên tiếp!
Thử nghiệm: $66 + 67 + 68 + 69 + 70 = 5 \times 68 = 340 \neq 135$. Với $k=5$: $n = 135/5 = 27$, nên ba số là 25, 26, 27, 28, 29 — tổng = $5 \times 27 = 135$ ✓
Bài toán đảo — thử thách thêm
Một số nguyên dương $S$ được cho. Liệt kê tất cả các cách biểu diễn $S$ là tổng của các số nguyên dương liên tiếp.
Đây là bài toán khó hơn nhiều — không còn là "tìm x" mà là "đếm và liệt kê tất cả nghiệm". Pólya gọi đây là dạng tổng quát hóa quan trọng: từ "tìm một nghiệm" lên "tìm tất cả nghiệm".
Tổng kết kỹ thuật heuristic
Đặt ký hiệu thông minh
Chọn cách biểu diễn ẩn khai thác cấu trúc bài toán, tối thiểu hóa số ẩn cần thiết.
Dịch điều kiện
Chuyển từng mệnh đề ngôn ngữ thường sang biểu thức toán học một cách có hệ thống.
Tổng quát hóa
Sau khi giải xong, hỏi: "Điều này còn đúng trong trường hợp nào khác?" để học được nhiều hơn từ một bài toán.
Bài toán đảo
Đảo ngược vai trò ẩn số và dữ kiện để tạo ra bài toán mới — một thói quen quan trọng của nhà toán học.