Tài liệu học tập: Giải phương trình nghiệm nguyên bằng phương pháp Modulo

I. Cơ sở lý thuyết

1. Tính chất chia hết

• Định nghĩa: Số nguyên a chia hết cho số nguyên b khác 0 nếu tồn tại số nguyên k sao cho a = bk. Ký hiệu: a ⋮ b.
• Tính chất cơ bản:
  • Nếu a ⋮ b và b ⋮ c thì a ⋮ c.
  • Nếu a ⋮ b và c ⋮ b thì (a ± c) ⋮ b.
  • Nếu a ⋮ b thì ka ⋮ b với mọi số nguyên k.
  • Nếu a ⋮ b và c ⋮ d thì ac ⋮ bd.

2. Số dư và phép chia có dư

• Định lý: Với hai số nguyên a và b (b > 0), tồn tại duy nhất hai số nguyên q và r sao cho a = bq + r, trong đó 0 ≤ r < b.
  • q: thương của phép chia a cho b.
  • r: số dư của phép chia a cho b.
• Ký hiệu: a ≡ r (mod b), đọc là "a đồng dư với r modulo b", nghĩa là a và r có cùng số dư khi chia cho b.

3. Tính chất của đồng dư thức

• Tính chất cơ bản:
  • a ≡ a (mod m).
  • Nếu a ≡ b (mod m) thì b ≡ a (mod m).
  • Nếu a ≡ b (mod m) và b ≡ c (mod m) thì a ≡ c (mod m).
• Tính chất quan trọng:
  • Nếu a ≡ b (mod m) và c ≡ d (mod m) thì:
    • a ± c ≡ b ± d (mod m).
    • ac ≡ bd (mod m).
    • aⁿ ≡ bⁿ (mod m) với mọi số nguyên dương n.
  • Nếu ac ≡ bc (mod m) và ƯCLN(c, m) = 1 thì a ≡ b (mod m).

4. Ứng dụng của modulo trong giải phương trình nghiệm nguyên

Phương pháp modulo là một công cụ mạnh mẽ để giải phương trình nghiệm nguyên, đặc biệt là khi các biến xuất hiện ở bậc cao hoặc trong các biểu thức phức tạp. Ý tưởng chính là:

1. Chọn một modulo thích hợp: Thường là một số nguyên tố nhỏ như 2, 3, 4, 5, 7, v.v.
2. Đưa phương trình về dạng đồng dư: Thay các biểu thức trong phương trình bằng số dư của chúng khi chia cho modulo đã chọn.
3. Xét các trường hợp của số dư: Vì số dư chỉ có thể nhận một số hữu hạn giá trị, ta có thể xét từng trường hợp để tìm ra các nghiệm có thể của phương trình đồng dư.
4. Kết luận: Nếu phương trình đồng dư vô nghiệm, thì phương trình ban đầu cũng vô nghiệm. Nếu tìm được nghiệm của phương trình đồng dư, ta cần kiểm tra xem nghiệm đó có thỏa mãn phương trình ban đầu hay không.

II. Các bước giải phương trình nghiệm nguyên bằng modulo

1. Biến đổi phương trình: Đưa phương trình về dạng đơn giản nhất có thể.
2. Chọn modulo thích hợp:
   • Chọn modulo là một số sao cho một hoặc nhiều số hạng trong phương trình trở nên đơn giản (ví dụ: bằng 0).
   • Thường chọn modulo là số nguyên tố hoặc lũy thừa của số nguyên tố.
   • Thử các giá trị nhỏ trước (2, 3, 4, 5, ...).
3. Lập bảng đồng dư: Liệt kê các số dư có thể của các biến khi chia cho modulo đã chọn.
4. Thay vào phương trình đồng dư: Thay các biến trong phương trình ban đầu bằng các số dư tương ứng và rút gọn phương trình đồng dư.
5. Xét các trường hợp: Xét từng trường hợp của các số dư để tìm ra các nghiệm có thể của phương trình đồng dư.
6. Kiểm tra và kết luận:
   • Nếu phương trình đồng dư vô nghiệm, phương trình ban đầu vô nghiệm.
   • Nếu phương trình đồng dư có nghiệm, kiểm tra xem nghiệm đó có thỏa mãn phương trình ban đầu hay không.
   • Kết luận về nghiệm của phương trình ban đầu.

III. Các ví dụ minh họa

Ví dụ 1: Tìm các nghiệm nguyên của phương trình x² + y² = 3.

Giải:

1. Chọn modulo: Xét modulo 4.
2. Lập bảng đồng dư:
   • Số dư của x khi chia cho 4: 0, 1, 2, 3.
   • Số dư của x² khi chia cho 4: 0, 1.
   • Tương tự, số dư của y² khi chia cho 4: 0, 1.
3. Thay vào phương trình đồng dư: Phương trình trở thành x² + y² ≡ 3 (mod 4).
4. Xét các trường hợp: Các trường hợp có thể xảy ra:
   • x² ≡ 0 (mod 4) và y² ≡ 0 (mod 4): x² + y² ≡ 0 (mod 4) (loại).
   • x² ≡ 0 (mod 4) và y² ≡ 1 (mod 4): x² + y² ≡ 1 (mod 4) (loại).
   • x² ≡ 1 (mod 4) và y² ≡ 0 (mod 4): x² + y² ≡ 1 (mod 4) (loại).
   • x² ≡ 1 (mod 4) và y² ≡ 1 (mod 4): x² + y² ≡ 2 (mod 4) (loại). Không có trường hợp nào thỏa mãn x² + y² ≡ 3 (mod 4).
5. Kết luận: Phương trình x² + y² = 3 vô nghiệm nguyên.

Ví dụ 2: Tìm các nghiệm nguyên của phương trình x² - y² = 2023.

Giải:

1. Phân tích: x² - y² = (x - y)(x + y).

2. Chọn modulo: Xét modulo 4.

3. Lập bảng đồng dư:

   • Số dư của x khi chia cho 4: 0, 1, 2, 3.
   • Số dư của x² khi chia cho 4: 0, 1.
   • Tương tự, số dư của y² khi chia cho 4: 0, 1.

4. Thay vào phương trình đồng dư:

   • 2023 ≡ 3 (mod 4).
   • Phương trình trở thành x² - y² ≡ 3 (mod 4).

5. Xét các trường hợp:

   • x² ≡ 0 (mod 4) và y² ≡ 0 (mod 4): x² - y² ≡ 0 (mod 4) (loại).
   • x² ≡ 0 (mod 4) và y² ≡ 1 (mod 4): x² - y² ≡ -1 ≡ 3 (mod 4) (nhận).
   • x² ≡ 1 (mod 4) và y² ≡ 0 (mod 4): x² - y² ≡ 1 (mod 4) (loại).
   • x² ≡ 1 (mod 4) và y² ≡ 1 (mod 4): x² - y² ≡ 0 (mod 4) (loại).

6. Kết luận: Ta chỉ có trường hợp x² ≡ 0 (mod 4) và y² ≡ 1 (mod 4). Điều này có nghĩa là x chẵn và y lẻ.

   • Đặt x = 2k và y = 2m + 1 (với k, m là các số nguyên).
   • Phương trình trở thành: (2k)² - (2m + 1)² = 2023
   • 4k² - (4m² + 4m + 1) = 2023
   • 4k² - 4m² - 4m = 2024
   • k² - m² - m = 506
   • k² = m² + m + 506

   Đến đây, ta có thể tiếp tục phân tích bằng cách xét các ước của 2023 hoặc thử các giá trị của m. Tuy nhiên, do 2023 = 7 * 17 * 17, ta có thể phân tích thành các cặp (1, 2023), (7, 289), (17, 119). Giải các hệ phương trình tương ứng để tìm nghiệm.

Ví dụ 3: Tìm các nghiệm nguyên của phương trình y² = x³ + 7.

Giải:

1. Chọn modulo: Xét modulo 4.

2. Lập bảng đồng dư:

   • Số dư của x khi chia cho 4: 0, 1, 2, 3.
   • Số dư của x³ khi chia cho 4: 0, 1, 0, 3.
   • Số dư của x³ + 7 khi chia cho 4: 3, 0, 3, 2.
   • Số dư của y khi chia cho 4: 0, 1, 2, 3.
   • Số dư của y² khi chia cho 4: 0, 1, 0, 1.

3. Thay vào phương trình đồng dư: Phương trình trở thành y² ≡ x³ + 7 (mod 4).

4. Xét các trường hợp:

   • Nếu x³ + 7 ≡ 3 (mod 4) thì y² ≡ 3 (mod 4) (vô lý).
   • Nếu x³ + 7 ≡ 0 (mod 4) thì y² ≡ 0 (mod 4).
   • Nếu x³ + 7 ≡ 2 (mod 4) thì y² ≡ 2 (mod 4) (vô lý).

5. Kết luận: Chỉ có thể xảy ra trường hợp x³ + 7 ≡ 0 (mod 4) và y² ≡ 0 (mod 4). Từ bảng đồng dư, ta suy ra x ≡ 1 (mod 4) và y ≡ 0 (mod 2) (y chẵn).

   Tuy nhiên, để chứng minh phương trình này vô nghiệm, cần sử dụng modulo 8.

   • Xét modulo 8:
   • Số dư của x khi chia cho 8: 0, 1, 2, 3, 4, 5, 6, 7.
   • Số dư của x³ khi chia cho 8: 0, 1, 0, 3, 0, 5, 0, 7.
   • Số dư của x³ + 7 khi chia cho 8: 7, 0, 7, 2, 7, 4, 7, 6.
   • Số dư của y khi chia cho 8: 0, 1, 2, 3, 4, 5, 6, 7.
   • Số dư của y² khi chia cho 8: 0, 1, 4, 1, 0, 1, 4, 1. Phương trình trở thành y² ≡ x³ + 7 (mod 8). Đối chiếu hai bảng đồng dư, không có giá trị nào của x và y thỏa mãn.

   Kết luận: Phương trình y² = x³ + 7 vô nghiệm nguyên.

IV. Bài tập tự luyện

1. Tìm tất cả các nghiệm nguyên của phương trình: x² + y² = 2023.
2. Tìm tất cả các nghiệm nguyên của phương trình: x² - y² = 15.
3. Tìm tất cả các nghiệm nguyên của phương trình: x² + 3y² = 17.
4. Tìm tất cả các nghiệm nguyên của phương trình: y² = x³ - 1.
5. Tìm tất cả các nghiệm nguyên của phương trình: x² + 5 = y³.
6. Chứng minh rằng phương trình x² - 3y² = 17 không có nghiệm nguyên.
7. Chứng minh rằng phương trình x² + y² + z² = 8k + 7 không có nghiệm nguyên với mọi số nguyên k.

V. Lời khuyên

• Luyện tập thường xuyên với nhiều dạng bài tập khác nhau để nắm vững phương pháp.
• Lựa chọn modulo phù hợp là yếu tố quan trọng, hãy thử nhiều giá trị khác nhau nếu cần.
• Kết hợp phương pháp modulo với các kỹ thuật khác để giải phương trình nghiệm nguyên hiệu quả hơn.
• Đọc thêm các tài liệu và ví dụ khác để mở rộng kiến thức.

Chúc các bạn học tốt!