Bối cảnh và vấn đề nghiên cứu

Khóa luận tốt nghiệp "Một số bài toán đưa về mô hình phương trình nghiệm nguyên" (trong phần lý do chọn đề tài tác giả xác định tên gọi "Một số bài toán thực tế đưa về mô hình phương trình nghiệm nguyên") được thực hiện bởi tác giả Trần Thị Thu Hiền dưới sự hướng dẫn khoa học của TS. Hoàng Nhật Quy tại Khoa Toán, Trường Đại học Sư phạm – Đại học Đà Nẵng, bảo vệ vào tháng 5 năm 2023. Đề tài thuộc lĩnh vực phương pháp giải toán và đào sâu toán học sơ cấp trong chương trình giáo dục phổ thông.

Lý do lựa chọn đề tài xuất phát từ vị trí đặc biệt của phương trình nghiệm nguyên trong lịch sử toán học cũng như trong thực tiễn dạy học:

  • Về mặt lịch sử và lý thuyết, phương trình nghiệm nguyên (phương trình Diophante) là đối tượng nghiên cứu lâu đời từ thế kỷ thứ III, trải dài qua nhiều bài toán dân gian quen thuộc như "Trăm trâu trăm cỏ" cho đến các cột mốc toán học đỉnh cao như Định lý lớn Fermat.
  • Về đặc điểm phương pháp luận, ngoại trừ phương trình bậc nhất hai ẩn có thuật giải tổng quát, phần lớn các phương trình nghiệm nguyên không tồn tại thuật toán giải chung cho mọi dạng. Mỗi bài toán với các ràng buộc số học riêng biệt đòi hỏi người học phải linh hoạt vận dụng các phương pháp đặc thù. Quá trình này rèn luyện tư duy phân tích, kỹ năng "đưa khó về dễ, đưa lạ về quen", chia nhỏ bài toán và sử dụng các công cụ đánh giá số học thích hợp.
  • Về ý nghĩa giáo dục, nội dung này đóng vai trò quan trọng trong việc hình thành, phát triển năng lực tư duy, lập luận toán học và năng lực mô hình hóa toán học cho học sinh, đồng thời là dạng bài phân loại then chốt thường xuyên xuất hiện trong các kỳ thi chọn học sinh giỏi Toán ở tất cả các cấp học.

Mục tiêu nghiên cứu của khóa luận được xác định cụ thể:

  1. Nghiên cứu, hệ thống hóa và phân loại các phương pháp cơ bản dùng để giải các dạng phương trình nghiệm nguyên trong chương trình toán sơ cấp.
  2. Khảo sát một số bài toán trong toán học và đời sống thực tế có thể thiết lập và đưa về mô hình phương trình nghiệm nguyên để giải quyết.

Đối tượng và phạm vi nghiên cứu:

  • Đối tượng nghiên cứu: Phương trình nghiệm nguyên cùng các bài toán số học, bài toán thực tế có thể chuyển hóa thành mô hình phương trình nghiệm nguyên.
  • Phạm vi nghiên cứu: Nội dung chuyên môn thuộc phạm vi đào sâu toán học phổ thông, tập trung vào các phương pháp đại số, số học sơ cấp và mô hình hóa bài toán thực tế phổ thông.

Cơ sở lý thuyết và phương pháp

Cơ sở lý thuyết của khóa luận được xây dựng hoàn toàn trên nền tảng số học và đại số sơ cấp trên tập hợp số nguyên $\mathbb{Z}$ và số tự nhiên $\mathbb{N}$. Các khái niệm, định lý và công cụ toán học được tác giả sử dụng bao gồm:

  • Lý thuyết chia hết và số dư: Quan hệ chia hết trên $\mathbb{Z}$, phép chia có dư, tính chất của số nguyên tố, ước số chung lớn nhất ($\text{ƯCLN}$) và các quy tắc xét số dư theo modulo cụ thể (đặc biệt là modulo 3, 4, 7, 8).
  • Tính chất của số chính phương: Các định lý số học nền tảng về số chính phương gồm: không có chữ số tận cùng là 2, 3, 7, 8; số chính phương chia hết cho số nguyên tố $p$ thì chia hết cho $p^2$; số dư của số chính phương khi chia cho 3 chỉ có thể là 0 hoặc 1; khi chia cho 4 chỉ có thể là 0 hoặc 1; khi chia cho 8 chỉ có thể là 0, 1 hoặc 4; khi chia cho 7 chỉ có thể là 0, 1, 2 hoặc 4; nguyên lý kẹp giữa hai số chính phương liên tiếp không tồn tại số chính phương nào khác ($a^2 < x^2 < (a+1)^2$ vô nghiệm nguyên); và tính chất nếu hai số nguyên liên tiếp có tích là số chính phương thì một trong hai số phải bằng 0 ($a(a+1) = k^2 \Leftrightarrow a = 0$ hoặc $a+1 = 0$).
  • Bất đẳng thức đại số cổ điển: Bất đẳng thức giữa trung bình cộng và trung bình nhân (AM-GM / Cauchy) cho các số thực không âm và bất đẳng thức Bunhiacopxki, dùng để đánh giá miền giá trị và xác định điểm rơi dấu bằng.
  • Tam thức bậc hai: Biện luận điều kiện có nghiệm của phương trình bậc hai ($\Delta \ge 0$) và điều kiện cần để phương trình có nghiệm nguyên ($\Delta$ phải là một số chính phương).
  • Thuật toán Euclid và liên phân số: Thuật toán chia Euclid tìm $\text{ƯCLN}(a, b)$, biểu diễn thương số qua phân số liên tục (liên phân số) để tìm nghiệm riêng của phương trình bậc nhất hai ẩn $ax + by = c$.

Phương pháp nghiên cứu thực tế được thực hiện trong khóa luận:

  • Phương pháp phân tích và tổng hợp lý thuyết: Thu thập, hệ thống hóa các tư liệu toán học chuyên khảo về lý thuyết số và phương trình nghiệm nguyên, phân chia thành các chủ đề phương pháp rõ ràng.
  • Phương pháp phân tích ví dụ điển hình (case studies): Mỗi phương pháp được xây dựng kèm theo cơ sở lý thuyết, các ví dụ giải mẫu có phân tích bài toán, các bước giải chi tiết và phần "Kinh nghiệm giải", "Nhận xét" sư phạm nhằm đúc kết quy tắc tư duy.
  • Phương pháp mô hình hóa toán học: Khái quát hóa quy trình 4 bước chuyển đổi các bài toán bằng lời văn (về cấu tạo số, tính chia hết, số nguyên tố và thực tiễn) thành mô hình phương trình nghiệm nguyên.

Nguồn dữ liệu của công trình gồm 12 tài liệu tham khảo chuyên ngành toán sơ cấp và số học (được đánh số từ [1] đến [12]). Trong đó, nội dung hệ thống phương pháp ở Chương 1 kế thừa chủ yếu từ các tài liệu số [11] và [12]; các bài toán ứng dụng ở Chương 2 được tuyển chọn, tham khảo và tổng hợp từ toàn bộ danh mục tài liệu [1] đến [12].

Nội dung chính theo từng chương

Chương 1: Một số phương pháp cơ bản giải phương trình nghiệm nguyên

Nội dung trọng tâm của Chương 1 là hệ thống hóa toàn diện các kỹ thuật giải phương trình nghiệm nguyên. Tác giả nêu rõ quy trình giải thông thường gồm hai bước: Bước 1 tìm điều kiện cần của ẩn bằng các phép biến đổi hệ quả; Bước 2 thử lại các giá trị tìm được vào phương trình ban đầu để xác định tập nghiệm chính xác (nếu các phép biến đổi hoàn toàn tương đương thì không cần bước thử lại). Tác giả đã trình bày 7 nhóm phương pháp cơ bản cùng hệ thống ví dụ và bình luận sư phạm:

  1. Phương pháp xét tính chia hết: Gồm ba phân nhánh:

    • Phát hiện tính chia hết của một ẩn: Áp dụng cho phương trình bậc nhất hai ẩn như $2x + 13y = 156$ hoặc $11x + 18y = 120$. Kinh nghiệm giải là rút ẩn có hệ số nhỏ hơn, tách phần nguyên của phân thức và đặt ẩn phụ nguyên cho phần dư để tìm nghiệm tổng quát hoặc nghiệm nguyên dương.
    • Phương pháp đưa về phương trình ước số: Đưa phương trình về dạng $A(x, y) \cdot B(x, y) = C$ với $C \in \mathbb{Z}$. Phương pháp áp dụng cho các phương trình đối xứng như $xy - x - y = 2$, $3xy + x - y = 1$, đưa về tích bằng hằng đẳng thức tam thức bậc hai như $x^2 - 2xy + 3y - 5x + 7 = 0$, hoặc dạng hiệu hai bình phương như $x^2 + 12x = y^2 \Leftrightarrow (x - y + 6)(x + y + 6) = 36$. Tác giả lưu ý kỹ thuật xét tính chẵn lẻ của các nhân tử để rút giảm số trường hợp phải thử.
    • Phương pháp biểu thị một ẩn theo ẩn còn lại rồi dùng tính chia hết: Rút ẩn bậc nhất theo biến còn lại dưới dạng phân thức hữu tỷ, ví dụ $xy - 2x - 3y + 1 = 0 \Rightarrow y = 2 + \frac{5}{x-3}$, từ đó tìm nghiệm qua các ước của tử số.

  2. Phương pháp xét số dư từng vế: Xét số dư theo modulo thích hợp để chứng minh phương trình vô nghiệm hoặc thu hẹp miền nghiệm. Ví dụ: chứng minh $x^2 - y^2 = 2022$ và $x^2 + y^2 = 2023$ vô nghiệm nguyên do số chính phương chia cho 4 chỉ dư 0 hoặc 1; giải phương trình $x^2 + 3^y = 3026$ bằng cách xét modulo 3 để xác định nghiệm duy nhất $(x, y) = (55, 0)$.

  3. Phương pháp dùng bất đẳng thức:

    • Bất đẳng thức cổ điển: Sử dụng AM-GM giải $(x^2+1)(x^2+y^2)(y^2+1) = 8x^2y^2 \Rightarrow x = y = 1$; giải phương trình bậc cao $x^6 + z^3 - 15x^2z = 3x^2y^2z - (y^2+5)^3 \Rightarrow (x, y, z) = (3, 2, 9)$; dùng Bunhiacopxki giải $(x+y+1)^2 = 3(x^2+y^2+1) \Rightarrow x = y = 1$; dùng AM-GM giải phương trình chứa căn bậc hai tìm nghiệm $(x, y, z) = (1, 2, 3)$.
    • Phương pháp sắp thứ tự các ẩn: Khi phương trình có vai trò các biến đối xứng, giả thiết $x \le y \le z$ để chặn cận. Ví dụ giải $2xyz = x + y + z \Rightarrow (x, y, z) \in {(1, 1, 2), (1, 2, 1), (2, 1, 1)}$; giải $\frac{1}{x} + \frac{1}{y} + \frac{1}{z} = 1 \Rightarrow {(2, 3, 6), (2, 4, 4), (3, 3, 3)}$.
    • Phương pháp chỉ ra nghiệm nguyên và chứng minh duy nhất: Đánh giá tính đơn điệu để chứng minh nghiệm duy nhất, ví dụ chia cho $5^x$ trong $3^x + 4^x = 5^x \Rightarrow x = 2$; hoặc thử và chặn khoảng với $2^x + 3^x = 35 \Rightarrow x = 3$.
    • Điều kiện phương trình bậc hai có nghiệm: Xem phương trình là bậc hai ẩn $x$, tham số $y$, giải điều kiện $\Delta \ge 0$ để chặn miền giá trị của $y$ như trong $x^2 + y^2 - 2x + y = 9$, $x^2 + xy + y^2 = 2x + y$, và $x^2 + 2y^2 = 2xy + 2x + 3y$.

  4. Phương pháp dùng tính chất của số chính phương:

    • Dùng tính chất chia hết: Chứng minh $9x + 5 = y(y+1)$ vô nghiệm vì $(2y+1)^2 = 3(12x+7)$ chia hết cho 3 nhưng không chia hết cho 9; phương trình $3x^2 + 4y^2 = 6x + 13$ vô nghiệm do biệt thức $\Delta' = 48 - 12y^2$ chia hết cho 3 nhưng không chia hết cho 9.
    • Tạo tổng các số chính phương: Biến đổi về dạng $\sum a_i A_i^2 = k^2$, ví dụ $x^2 + y^2 - x - y = 8 \Leftrightarrow (2x-1)^2 + (2y-1)^2 = 34 = 3^2 + 5^2$.
    • Kẹp giữa hai số chính phương liên tiếp: Giải $y^4 - x^4 = 3x^2 + 1$ hoặc $x^4 + 2x^3 + 2x^2 + x + 3 = y^2$ dựa trên nhận xét $(x^2+x)^2 < y^2 < (x^2+x+2)^2$.
    • Điều kiện biệt số $\Delta$ là số chính phương: Áp dụng cho các phương trình như $x^2 + 2y^2 + 3xy + 2x + 3y + 4 = 0$ và $x^2y^2 - xy = x^2 + 2y^2$.
    • Tính chất tích hai số nguyên liên tiếp là số chính phương: Chứng minh định lý $a(a+1) = k^2 \Rightarrow a = 0$ hoặc $a = -1$, vận dụng giải $x^2 + xy + y^2 = x^2y^2$ và $x^2 + 2xy = 5y + 6$.

  5. Phương pháp lùi vô hạn (Fermat descent): Áp dụng chứng minh nghiệm duy nhất $x = y = z = 0$ cho các phương trình thuần nhất, qua các bước suy diễn liên tiếp $x, y, z$ chia hết cho $k^n$ với mọi $n \in \mathbb{N}$. Minh họa bằng hai bài toán: $x^3 + 2y^3 = 4z^3$ (chia hết cho $2^k$) và $x^3 - 3y^3 - 9z^3 = 0$ (chia hết cho $3^k$).

  6. Thuật toán Euclid giải phương trình bậc nhất hai ẩn: Chứng minh định lý điều kiện có nghiệm $\text{ƯCLN}(a, b) = 1$ và cấu trúc nghiệm $x = x_0 + bt$, $y = y_0 - at$ ($t \in \mathbb{Z}$). Trình bày thuật toán tìm nghiệm riêng qua biểu diễn phân số liên tiếp, giải mẫu phương trình $47x + 162y = 2$ cho nghiệm tổng quát $x = -62 + 162t$, $y = 18 - 47t$.

Chương 1 kết thúc bằng hệ thống 9 bài tập tự luyện tổng hợp nhiều mức độ, bao quát từ phương trình bậc ba, phương trình chứa giá trị tuyệt đối đến các hệ thức chính phương.

Bảng tổng hợp các nhóm phương pháp giải phương trình nghiệm nguyên trong Chương 1:

Tên nhóm phương pháp Cơ sở lý thuyết toán học chính Dấu hiệu nhận dạng phương trình tiêu biểu Ví dụ điển hình trong văn bản
Xét tính chia hết và ước số Định lý chia hết, phân tích thừa số nguyên, phân thức hữu tỷ Phương trình tích, đa thức chứa tích $xy$, bậc nhất đối với một ẩn $3xy + x - y = 1$; $x^2 + 12x = y^2$; $xy - 2x - 3y + 1 = 0$
Xét số dư từng vế Đồng dư thức theo modulo cụ thể (mod 3, mod 4) Phương trình có chứa số chính phương, lũy thừa dạng $a^x$ kết hợp hằng số $x^2 - y^2 = 2022$; $x^2 + 3^y = 3026$
Bất đẳng thức và thứ tự ẩn Bất đẳng thức AM-GM, Bunhiacopxki, tính đối xứng của biến Phương trình đối xứng giữa các ẩn, tổng phân thức nghịch đảo $2xyz = x + y + z$; $\frac{1}{x} + \frac{1}{y} + \frac{1}{z} = 1$
Điều kiện nghiệm bậc hai Biệt thức $\Delta \ge 0$ hoặc $\Delta = k^2$ Phương trình đưa được về bậc hai theo một biến $x^2 + y^2 - 2x + y = 9$; $x^2 + xy + y^2 = 2x + y$
Tính chất số chính phương Tập thặng dư chính phương, kẹp giữa hai số chính phương liên tiếp Xuất hiện các bình phương, tích hai số nguyên liên tiếp $y^4 - x^4 = 3x^2 + 1$; $x^2 + xy + y^2 = x^2y^2$
Lùi vô hạn (Descent) Tính chia hết lặp, nghiệm tầm thường duy nhất $x=y=z=0$ Phương trình đẳng cấp/thuần nhất có hệ số lũy thừa của một số nguyên tố $x^3 + 2y^3 = 4z^3$; $x^3 - 3y^3 - 9z^3 = 0$
Thuật toán Euclid Phân số liên tiếp, nghiệm riêng của $ax + by = 1$ Phương trình bậc nhất hai ẩn $ax + by = c$ với hệ số tương đối lớn $47x + 162y = 2$

Chương 2: Một số bài toán đưa về phương trình nghiệm nguyên

Chương 2 trình bày các ứng dụng cụ thể của phương trình nghiệm nguyên trong toán học sơ cấp và giải quyết bài toán thực tế. Tác giả thiết lập sơ đồ chung 4 bước giải một bài toán ứng dụng:

  • Bước 1: Gọi các yếu tố phải tìm là các ẩn số thuộc tập số nguyên $\mathbb{Z}$ (hoặc $\mathbb{N}$).
  • Bước 2: Dựa vào giả thiết của bài toán, biểu thị mối liên hệ giữa các ẩn số thành một phương trình nghiệm nguyên.
  • Bước 3: Giải phương trình nghiệm nguyên bằng phương pháp thích hợp đã học ở Chương 1.
  • Bước 4: Trả kết quả cho bài toán thực tế cần giải (kiểm tra tính phù hợp với điều kiện thực tiễn).

Chương 2 phân loại các bài toán thành ba chủ đề cụ thể:

  1. Bài toán về số tự nhiên và các chữ số:

    • Tìm các số có 3 chữ số sao cho tích bằng tổng: Gọi số $\overline{abc}$, thiết lập phương trình và suy luận tìm được các số thỏa mãn là 123, 132, 213, 231, 312, 321.
    • Tìm số tự nhiên có 4 chữ số bằng lập phương tổng các chữ số của nó: Phương trình $\overline{abcd} = (a+b+c+d)^3$. Bằng cách đặt $m = a+b+c+d$, sử dụng dấu hiệu chia hết cho 9 dẫn đến $m^3 - m$ chia hết cho 9, kết hợp chặn khoảng giá trị $10 \le m \le 21$, tác giả tìm ra hai đáp số chính xác là 5832 ($18^3$) và 4913 ($17^3$).
    • Tìm số tự nhiên có 4 chữ số bằng tổng bình phương của số tạo bởi 2 chữ số đầu và 2 chữ số cuối (hai chữ số cuối giống nhau): $\overline{abcd} = \overline{ab}^2 + \overline{cc}^2$. Chuyển đổi thành phương trình với ẩn phụ $x = \overline{ab}, y = \overline{cc}$ và chặn điều kiện $\Delta$ là số chính phương, tìm được $x = 12, x = 88$ tương ứng với $y = 33$.

  2. Bài toán về tính chia hết và số nguyên tố:

    • Tìm $n \in \mathbb{N}^*$ và $p$ nguyên tố sao cho $p = \frac{n(n+1)}{2} - 1$: Tác giả biến đổi tích thành $2p = (n-1)(n+2)$, biện luận ước số để tìm được nghiệm duy nhất $n = 3, p = 5$.
    • Tìm số nguyên tố $p$ để cả hai nghiệm của $x^2 + px - 444p = 0$ đều nguyên: Biến đổi thành $x^2 = p(444-x)$, đặt $x = kp$ dẫn đến $k^2p = 444 - kp$, phân tích tính nguyên tố của $p \in {2, 3, 37}$, xác định duy nhất $p = 37$ cho nghiệm nguyên $x = 111$ và $x = -148$.
    • Tìm các số nguyên dương $x, y$ sao cho $x+1$ chia hết cho $y$ và $y+1$ chia hết cho $x$: Giả sử $x \le y$, đặt $x+1 = ky$, chặn được $k \le 2$, tìm ra các cặp số thỏa mãn là $(1; 1), (1; 2), (2; 1), (2; 3), (3; 2)$.
    • Tìm ba số nguyên dương $x, y, z > 1$ thỏa mãn $xy+1 \ \vdots \ z$, $xz+1 \ \vdots \ y$, $yz+1 \ \vdots \ x$: Đánh giá bất đẳng thức $xyz \le xy + xz + yz + 1 < 4xy \Rightarrow z < 4$, xét các trường hợp $z \in {2, 3}$, tìm được bộ nghiệm $(x; y; z) = (7; 3; 2)$ cùng các hoán vị.

  3. Ứng dụng phương trình nghiệm nguyên để giải một số bài toán thực tế:

    • Xác định năm sinh của Bác Hồ: Dựa trên sự kiện năm 1911 Bác ra đi tìm đường cứu nước, tuổi của Bác bằng tổng các chữ số của năm sinh cộng thêm 3. Biện luận thế kỷ để loại trường hợp thế kỷ 20, gọi năm sinh thế kỷ 19 là $\overline{18xy}$ ($x, y \in \mathbb{N}, x, y \le 9$), lập phương trình: $1911 - (1800 + 10x + y) = 1 + 8 + x + y + 3 \Leftrightarrow 11x + 2y = 99$. Vận dụng tính chia hết của $11x$ và $99$ cho 11 suy ra $2y$ chia hết cho 11, do $0 \le y \le 9$ nên $y = 0$, từ đó tính được $x = 9$. Kết luận chính xác năm sinh của Bác Hồ là 1890.
    • Bài toán hình học thực tế: Dựng tam giác vuông có độ dài ba cạnh là các số nguyên $a, b, c$ và có một cạnh đo được 7 đơn vị. Phân tích số dư chính phương khi chia cho 7 chỉ có thể là 0, 1, 2, 4 để biện luận trường hợp cạnh đã cho là cạnh huyền ($a = 7$) hay cạnh góc vuông.

Kết quả và đóng góp

Khóa luận đã đạt được các kết quả cụ thể bám sát đề cương nghiên cứu:

  • Hệ thống hóa hoàn chỉnh 7 nhóm phương pháp giải phương trình nghiệm nguyên: từ các phương pháp sơ cấp (xét chia hết, tách phần nguyên, ước số, xét số dư) đến các phương pháp đòi hỏi tư duy giải tích và số học nâng cao (bất đẳng thức AM-GM, Bunhiacopxki, kẹp số chính phương, lùi vô hạn Fermat, thuật toán Euclid).
  • Đúc kết quy tắc giải toán qua hệ thống "Kinh nghiệm giải" và "Nhận xét": Mỗi phương pháp không chỉ dừng lại ở lời giải thuần túy mà luôn kèm theo nhận xét định hướng tư duy như: cách chọn ẩn phụ, kỹ thuật biến đổi tam thức bậc hai thêm bớt hệ số tự do để $\Delta$ là số chính phương, kinh nghiệm giảm số trường hợp đối xứng, hay cách nhận diện điều kiện cần của bài toán.
  • Thiết lập quy trình mô hình hóa 4 bước giải toán ứng dụng: Đưa ra khung mẫu chuẩn xác để chuyển đổi các bài toán bằng lời văn sang ngôn ngữ đại số nguyên.
  • Giải quyết trọn vẹn các bài toán thực tiễn và số học chọn lọc: Xác định năm sinh lịch sử (1890), bài toán số học nhiều chữ số (5832, 4913), bài toán tham số nguyên tố ($p = 37$), và cung cấp 9 bài tập rèn luyện cuối chương 1.
  • Về mặt đóng góp học thuật tự nêu: Khóa luận đóng góp tài liệu hệ thống hóa cho giáo viên và sinh viên ngành Sư phạm Toán tham khảo, hỗ trợ bồi dưỡng học sinh năng khiếu thông qua rèn luyện năng lực tư duy logic, kỹ năng lập luận toán học và khả năng liên hệ toán học với thực tiễn đời sống.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế của khóa luận được tác giả thẳng thắn chỉ rõ trong phần mở đầu của Chương 2:

  • Do điều kiện thời gian nghiên cứu hạn chế và dung lượng của một khóa luận cử nhân, nội dung ứng dụng của phương trình nghiệm nguyên chưa thực sự đa dạng.
  • Số lượng ví dụ và bài toán thực tế được đưa vào khảo sát mới chỉ dừng lại ở mức tối thiểu (mới khai thác bài toán năm sinh và bài toán kích thước tam giác vuông).

Hướng nghiên cứu tiếp được xác định dựa trên phạm vi và giới hạn nghiên cứu của đề tài:

  • Tiếp tục mở rộng và làm phong phú hệ thống bài toán thực tế có thể mô hình hóa bằng phương trình nghiệm nguyên, đặc biệt là các bài toán liên quan đến tối ưu hóa rời rạc, phân chia tài nguyên, bài toán kinh tế sơ cấp và các hiện tượng vật lý trong chương trình phổ thông.
  • Nghiên cứu sâu hơn các lớp phương trình nghiệm nguyên phi tuyến nhiều ẩn bậc cao hơn, các phương trình dạng Pell hoặc phương trình elliptic ở mức độ sơ cấp.
  • Xây dựng thành hệ thống chuyên đề dạy học hoàn chỉnh, tích hợp vào chương trình bồi dưỡng học sinh giỏi môn Toán cấp trung học cơ sở và trung học phổ thông.

Giá trị tham khảo

Khóa luận có giá trị tham khảo rõ ràng trong công tác học tập và giảng dạy môn Toán:

  • Đối tượng sử dụng: Sinh viên chuyên ngành Sư phạm Toán học, giáo viên dạy Toán tại các trường trung học cơ sở và trung học phổ thông, đặc biệt là giáo viên phụ trách các đội tuyển học sinh giỏi môn Toán, cùng các học sinh đang ôn luyện chuyên đề Số học.
  • Nội dung đáng tham khảo nhất:
    • Hệ thống các ghi chú "Kinh nghiệm giải" và "Nhận xét" ở Chương 1, chỉ ra các "mẹo" tư duy phân tích, cách phát hiện tính chất ẩn, cách biến đổi hằng đẳng thức chứa tham số phụ $a$ để làm cho biệt số $\Delta$ trở thành số chính phương.
    • Hướng dẫn chi tiết thuật toán Euclid tìm nghiệm riêng của phương trình bậc nhất hai ẩn thông qua liên phân số, một công cụ giải toán chuẩn mực nhưng ít được trình bày chi tiết trong sách giáo khoa đại trà.
    • Sơ đồ 4 bước đưa bài toán thực tế về mô hình phương trình nghiệm nguyên ở Chương 2, cung cấp tư liệu sư phạm mẫu mực cho giáo viên khi thiết kế các bài giảng phát triển năng lực mô hình hóa toán học cho học sinh theo chương trình giáo dục phổ thông.

Câu hỏi thường gặp

  1. Thuật toán Euclid được áp dụng để giải dạng phương trình nghiệm nguyên nào trong khóa luận và quy trình tìm nghiệm riêng ra sao? Thuật toán Euclid được áp dụng cho phương trình bậc nhất hai ẩn có dạng $ax + by = c$ (với $a, b \ne 0$ và $\text{ƯCLN}(a, b) = 1$). Quy trình gồm: trước hết tìm nghiệm riêng của $ax + by = 1$ bằng cách áp dụng thuật toán chia Euclid liên tiếp để biểu diễn thương số qua liên phân số (bỏ thương cuối cùng) nhằm tìm cặp số $(|x_0|, |y_0|)$, sau đó thử chọn dấu để được nghiệm riêng. Nghiệm riêng của phương trình ban đầu được nhân lên theo hệ số $c$, từ đó suy ra công thức mọi nghiệm nguyên có dạng $x = x_0 + bt$, $y = y_0 - at$ ($t \in \mathbb{Z}$).

  2. Tác giả đã dùng phương pháp nào để giải bài toán thực tế tìm năm sinh của Bác Hồ? Tác giả đã sử dụng phương pháp phát hiện tính chia hết của một ẩn kết hợp chặn khoảng giá trị. Sau khi loại trừ thế kỷ 20, tác giả thiết lập phương trình cho năm sinh thế kỷ 19 dạng $\overline{18xy}$: $1911 - \overline{18xy} = 1 + 8 + x + y + 3$, thu gọn thành $11x + 2y = 99$. Do $11x$ và $99$ chia hết cho 11 nên $2y$ phải chia hết cho 11. Kết hợp điều kiện $0 \le y \le 9$, suy ra $y = 0$, từ đó tìm được $x = 9$ và kết luận năm sinh là 1890.

  3. Kỹ thuật biến đổi tam thức bậc hai đưa về phương trình ước số được tác giả xử lý như thế nào qua ví dụ $x^2 - 2xy + 3y - 5x + 7 = 0$? Tác giả đưa phương trình về dạng $x^2 - (2y + 5)x + 3y + 7 + a = a$, sau đó xét biệt thức $\Delta = (2y + 5)^2 - 4(3y + 7 + a) = 4y^2 + 8y - 3 - 4a$. Để $\Delta$ trở thành số chính phương dạng $4(y + 1)^2 = 4y^2 + 8y + 4$, tác giả chọn số chưa biết $a$ thỏa mãn $-3 - 4a = 4 \Leftrightarrow a = -\frac{7}{4}$. Kỹ thuật này giúp phân tích đa thức vế trái thành tích các nhân tử bậc nhất để đưa về phương trình ước số.

  4. Nguyên lý cốt lõi của phương pháp lùi vô hạn (Fermat descent) trong khóa luận là gì? Nguyên lý của phương pháp lùi vô hạn được sử dụng khi phương trình có nghiệm tầm thường $x = y = z = 0$ và tác giả muốn chứng minh đó là nghiệm duy nhất. Bằng các phép biến đổi chia hết lặp, nếu giả sử phương trình có nghiệm $(x_0, y_0, z_0)$ thì sẽ suy ra nghiệm mới $(x_1, y_1, z_1)$ với $x_0 = kx_1, y_0 = ky_1, z_0 = kz_1$. Quá trình tiếp diễn sau $n$ bước dẫn đến $x_0, y_0, z_0$ chia hết cho $k^n$ với mọi $n \in \mathbb{N}$. Điều này chỉ xảy ra khi và chỉ khi nghiệm duy nhất là $x = y = z = 0$.

  5. Sơ đồ chung để giải một bài toán thực tế đưa về phương trình nghiệm nguyên ở Chương 2 gồm các bước nào? Sơ đồ chung gồm 4 bước: Bước 1: Gọi các yếu tố phải tìm là các ẩn số thuộc tập số nguyên; Bước 2: Dựa vào giả thiết bài toán, biểu thị mối liên hệ giữa các ẩn số thành một phương trình nghiệm nguyên; Bước 3: Giải phương trình nghiệm nguyên bằng phương pháp thích hợp; Bước 4: Trả kết quả cho bài toán thực tế cần giải.

Kết luận

Khóa luận tốt nghiệp của tác giả Trần Thị Thu Hiền đã hệ thống hóa một cách bài bản, rõ ràng các phương pháp đại số và số học sơ cấp giải phương trình nghiệm nguyên, gắn liền với các ví dụ mẫu có bình luận sư phạm sâu sắc. Công trình đã xây dựng thành công quy trình mô hình hóa 4 bước nhằm vận dụng phương trình nghiệm nguyên vào giải quyết các bài toán về cấu tạo số, tính chia hết, số nguyên tố và bài toán thực tế phổ thông. Mặc dù số lượng ví dụ thực tế còn hạn chế do giới hạn thời gian nghiên cứu, khóa luận vẫn là một tài liệu tham khảo có giá trị học thuật và nghiệp vụ thực tế cho sinh viên ngành Sư phạm Toán cũng như giáo viên bồi dưỡng học sinh giỏi toán phổ thông.