Phương trình nghiệm nguyên yêu cầu nghiệm thuộc \(\mathbb Z\), nên ngoài biến đổi đại số còn phải khai thác tính chia hết, tính chẵn lẻ, đồng dư và đánh giá để thu hẹp số trường hợp.
Kiến thức cốt lõi cần nắm
- Nếu một tích bằng một số cố định, phân tích thành các cặp ước là cách trực tiếp để liệt kê nghiệm.
- Đồng dư giúp loại nghiệm: bình phương modulo 4 chỉ có thể là 0 hoặc 1; modulo nhỏ thường cho điều kiện chẵn lẻ mạnh.
- Đánh giá giúp chứng minh biến bị chặn, biến bài toán vô hạn thành hữu hạn trường hợp.
- Phân tích nhân tử sau khi hoàn thành bình phương hoặc nhóm hạng thường tạo ra cấu trúc chia hết.
Điểm quan trọng là không tách công thức khỏi điều kiện áp dụng. Khi gặp bài mới, hãy xác định cấu trúc trước rồi mới chọn công cụ; cách này giúp giảm đáng kể các lỗi biến đổi theo thói quen.
Quy trình giải theo từng bước
- Rút gọn và thử phân tích nhân tử.
- Xem xét chẵn lẻ và modulo 2, 4, 3, 5 tùy biểu thức.
- Tìm đánh giá để chặn độ lớn của biến.
- Liệt kê các ước/trường hợp còn lại và kiểm tra trực tiếp.
Nếu bài có nhiều dữ kiện, nên ghi các điều kiện ở đầu lời giải. Sau mỗi phép biến đổi có thể làm thay đổi miền nghiệm hoặc miền xác định, cần đánh dấu để đối chiếu ở cuối.
Ví dụ có lời giải
Ví dụ 1
Bài toán: Tìm nghiệm nguyên của \(xy=12\).
Lời giải: Các cặp \((x,y)\) là các cặp ước nguyên của 12: \((1,12),(2,6),(3,4)\) và hoán vị, cùng các cặp âm tương ứng.
Ví dụ 2
Bài toán: Chứng minh \(x^2=4k+3\) không có nghiệm nguyên x.
Lời giải: Bình phương một số nguyên modulo 4 chỉ nhận 0 hoặc 1, không thể đồng dư 3 modulo 4.
Lỗi thường gặp và cách tránh
- Chỉ tìm nghiệm dương dù đề hỏi nghiệm nguyên.
- Chia hai vế cho một biểu thức có thể bằng 0 mà không tách trường hợp.
- Dùng đồng dư nhưng không nêu môđun.
- Liệt kê ước thiếu các ước âm.
Một cách tự kiểm tra hiệu quả là thử lại kết quả bằng dữ kiện ban đầu hoặc bằng một cách nhìn thứ hai như đồ thị, dấu của biểu thức hay tính chất hình học. Máy tính cầm tay chỉ nên dùng để kiểm tra số gần đúng, không thay thế bước lập luận khi đề yêu cầu lời giải.
Bài tập tự luyện
-
\(xy=6\), số cặp có thứ tự nguyên dương
Đáp số/Gợi ý: 4
-
\(x^2\equiv?\pmod4\)
Đáp số/Gợi ý: 0 hoặc 1
-
\(x^2+y^2=3\) có nghiệm nguyên?
Đáp số/Gợi ý: Không, xét modulo 4
-
\((x-1)(y+2)=5\)
Đáp số/Gợi ý: Xét các cặp ước ±1, ±5
Checklist trước khi kết luận
- Đã ghi đủ điều kiện xác định hoặc điều kiện của biến chưa?
- Công thức đang dùng có đúng dạng và đúng điều kiện không?
- Có phép chia, bình phương, lấy log hoặc đổi biến nào có thể sinh/mất nghiệm không?
- Kết quả cuối đã đúng đơn vị, đúng miền và đúng yêu cầu “chính xác” hay “gần đúng” của đề chưa?
Xem thêm các bài cùng nhóm Học sinh giỏi & Toán nâng cao để luyện theo dạng thay vì học rời từng công thức.