Định Lý Fermat Về Tổng Của Hai Số Chính Phương: Khám Phá Sâu Sắc Cho Bài Toán Số Học

by Thầy Đông · January 15, 2026

Rate this post

Trong thế giới toán học, có những định lý không chỉ mang vẻ đẹp trừu tượng mà còn mở ra những cánh cửa hiểu biết sâu sắc về cấu trúc của các con số. Một trong số đó là Định lý Fermat về tổng của hai số chính phương, một kết quả kinh điển với lịch sử phát triển đầy hấp dẫn. Bài viết này sẽ đi sâu vào khám phá định lý, phân tích yêu cầu của các bài toán liên quan, cung cấp kiến thức nền tảng cần thiết và hướng dẫn giải chi tiết, giúp bạn đọc nắm vững phương pháp giải quyết các dạng bài tập về chủ đề này.

Đề Bài

Định lý Fermat về tổng của hai số chính phương phát biểu rằng: Một số nguyên dương $n$ có thể được biểu diễn dưới dạng tổng của hai số chính phương (tức là $n = a^2 + b^2$ với $a, b$ là các số nguyên) khi và chỉ khi trong phân tích thừa số nguyên tố của $n$, mọi ước số nguyên tố có dạng $4k+3$ đều có số mũ chẵn.

Phân Tích Yêu Cầu

Các bài toán liên quan đến Định lý Fermat về tổng của hai số chính phương thường yêu cầu chúng ta:

Xác định xem một số nguyên dương cho trước có thể biểu diễn dưới dạng tổng của hai số chính phương hay không.
Tìm tất cả các cặp số nguyên $(a, b)$ sao cho $n = a^2 + b^2$ .
Chứng minh một tính chất nào đó dựa trên điều kiện của định lý.

Để giải quyết các yêu cầu này, chúng ta cần nắm vững hai phần chính của định lý: điều kiện cần và điều kiện đủ. Điều kiện cần cho biết nếu $n$ là tổng của hai bình phương thì các ước nguyên tố dạng $4k+3$ của $n$ phải có số mũ chẵn. Ngược lại, điều kiện đủ cho biết nếu các ước nguyên tố dạng $4k+3$ của $n$ có số mũ chẵn thì $n$ chắc chắn có thể biểu diễn dưới dạng tổng của hai bình phương.

Kiến Thức/Nền Tảng Cần Dùng

Để hiểu và áp dụng Định lý Fermat về tổng của hai số chính phương, chúng ta cần làm quen với một số khái niệm và công cụ toán học cơ bản:

Số chính phương: Là bình phương của một số nguyên. Ví dụ: $0, 1, 4, 9, 16, 25, ldots$
$n = a^2$ với $a in mathbb{Z}$ .
Phân tích thừa số nguyên tố: Biểu diễn một số nguyên dương thành tích của các số nguyên tố. Ví dụ: $12 = 2^2 \times 3^1$ .
Mọi số nguyên dương $n > 1$ đều có một phân tích thừa số nguyên tố duy nhất (sai khác thứ tự các thừa số).
$n = p_1^{e_1} p_2^{e_2} cdots p_k^{e_k}$
Phân loại số nguyên tố theo dạng $4k+1$ và $4k+3$ :
- Số nguyên tố 2 là trường hợp đặc biệt.
- Các số nguyên tố lẻ có thể chia cho 4 dư 1 hoặc dư 3.
  - Dạng $4k+1$ : $5, 13, 17, 29, 37, ldots$
  - Dạng $4k+3$ : $3, 7, 11, 19, 23, 31, ldots$
Tính chất của đồng dư thức:
- Nếu $a equiv b pmod{m}$ và $c equiv d pmod{m}$ , thì $a+c equiv b+d pmod{m}$ và $ac equiv bd pmod{m}$ .
- Một số chính phương khi chia cho 4 chỉ có thể dư 0 hoặc 1:
  - Nếu $a$ chẵn, $a = 2k$ , thì $a^2 = (2k)^2 = 4k^2 equiv 0 pmod{4}$ .
  - Nếu $a$ lẻ, $a = 2k+1$ , thì $a^2 = (2k+1)^2 = 4k^2 + 4k + 1 = 4(k^2+k) + 1 equiv 1 pmod{4}$ .
- Do đó, tổng của hai số chính phương a^2 + b^2 khi chia cho 4 có thể có các dạng:
  - $0 + 0 equiv 0 pmod{4}$ (khi cả $a, b$ đều chẵn)
  - $0 + 1 equiv 1 pmod{4}$ (khi một số chẵn, một số lẻ)
  - $1 + 0 equiv 1 pmod{4}$ (khi một số lẻ, một số chẵn)
  - $1 + 1 equiv 2 pmod{4}$ (khi cả $a, b$ đều lẻ)
- Như vậy, $a^2 + b^2$ không bao giờ chia cho 4 dư 3. Điều này dẫn đến một hệ quả quan trọng: nếu một số $n$ có ước nguyên tố dạng $4k+3$ với số mũ lẻ, thì $n$ không thể là tổng của hai số chính phương.
Bổ đề quan trọng (Bổ đề Fermat về số nguyên tố dạng $4k+1$ ): Một số nguyên tố $p$ có thể biểu diễn dưới dạng tổng của hai số chính phương khi và chỉ khi $p=2$ hoặc $p equiv 1 pmod{4}$ .

Hướng Dẫn Giải Chi Tiết

Chúng ta sẽ xem xét các bước để giải quyết các dạng bài tập phổ biến liên quan đến Định lý Fermat về tổng của hai số chính phương.

Dạng 1: Kiểm tra xem một số có là tổng của hai số chính phương hay không.

Các bước thực hiện:

Phân tích số $n$ ra thừa số nguyên tố: Tìm tất cả các ước nguyên tố của $n$ và số mũ tương ứng của chúng.
$n = 2^e \cdot p_1^{e_1} \cdot p_2^{e_2} cdots p_k^{e_k} \cdot q_1^{f_1} \cdot q_2^{f_2} cdots q_m^{f_m}$
Trong đó, $p_i$ là các số nguyên tố có dạng $4k+1$ và $q_j$ là các số nguyên tố có dạng $4k+3$ .
Kiểm tra số mũ của các ước nguyên tố dạng $4k+3$ : Duyệt qua tất cả các ước nguyên tố $q_j$ (có dạng $4k+3$ ). Nếu có bất kỳ ước nguyên tố $q_j$ nào mà số mũ $f_j$ của nó là số lẻ, thì $n$ không thể biểu diễn dưới dạng tổng của hai số chính phương.
Kết luận: Nếu tất cả các ước nguyên tố có dạng $4k+3$ đều có số mũ chẵn, thì $n$ có thể biểu diễn dưới dạng tổng của hai số chính phương.

Ví dụ:
Xét số $n = 45$ .
Phân tích thừa số nguyên tố: $45 = 3^2 \times 5^1$ .
Các ước nguyên tố là 3 và 5.

Số nguyên tố 3 có dạng $4k+3$ (với $k=0$ ). Số mũ của 3 là 2 (chẵn).
Số nguyên tố 5 có dạng $4k+1$ (với $k=1$ ).

Vì tất cả các ước nguyên tố có dạng $4k+3$ (ở đây chỉ có số 3) đều có số mũ chẵn, nên 45 có thể biểu diễn dưới dạng tổng của hai số chính phương. (Thực tế: $45 = 3^2 + 6^2 = 9 + 36$ ).

Xét số $n = 21$ .
Phân tích thừa số nguyên tố: $21 = 3^1 \times 7^1$ .
Các ước nguyên tố là 3 và 7.

Số nguyên tố 3 có dạng $4k+3$ (với $k=0$ ). Số mũ của 3 là 1 (lẻ).
Số nguyên tố 7 có dạng $4k+3$ (với $k=1$ ). Số mũ của 7 là 1 (lẻ).

Vì có ít nhất một ước nguyên tố dạng $4k+3$ có số mũ lẻ (cả 3 và 7 đều có số mũ lẻ), nên 21 không thể biểu diễn dưới dạng tổng của hai số chính phương.

Dạng 2: Tìm tất cả các cặp số nguyên $(a, b)$ sao cho $n = a^2 + b^2$ .

Nếu đã xác định được $n$ có thể biểu diễn dưới dạng tổng hai bình phương, việc tìm các cặp $(a, b)$ có thể phức tạp hơn, đặc biệt với các số lớn. Tuy nhiên, có một số phương pháp và thuật toán (như thuật toán của Fermat hoặc sử dụng các định lý liên quan đến số lượng biểu diễn) có thể áp dụng.

Một phương pháp phổ biến là sử dụng thuật toán tìm kiếm hoặc các tính chất của số phức Gaussian. Tuy nhiên, đối với các bài toán ở cấp độ phổ thông, thường sẽ có các gợi ý hoặc bài toán được thiết kế để có thể giải bằng cách thử hoặc sử dụng các tính chất đặc biệt.

Ví dụ: Tìm các cặp $(a, b)$ sao cho $50 = a^2 + b^2$ .

Phân tích $50$: $50 = 2 \times 5^2$ .
- Ước nguyên tố 2.
- Ước nguyên tố 5 có dạng $4k+1$ ( $k=1$ ). Số mũ là 2 (chẵn).
- Không có ước nguyên tố nào dạng $4k+3$ . Vậy 50 có thể biểu diễn dưới dạng tổng hai bình phương.
Tìm các cặp:
Chúng ta có thể thử các giá trị của $a$ từ 0 đến $\sqrt{50} \approx 7$ .
- Nếu $a=0$ , $b^2 = 50$ (không nguyên).
- Nếu $a=1$ , $b^2 = 50 - 1^2 = 49 implies b=7$ . Cặp $(1, 7)$.
- Nếu $a=2$ , $b^2 = 50 - 2^2 = 46$ (không nguyên).
- Nếu $a=3$ , $b^2 = 50 - 3^2 = 41$ (không nguyên).
- Nếu $a=4$ , $b^2 = 50 - 4^2 = 34$ (không nguyên).
- Nếu $a=5$ , $b^2 = 50 - 5^2 = 25 implies b=5$ . Cặp $(5, 5)$.
- Nếu $a=6$ , $b^2 = 50 - 6^2 = 14$ (không nguyên).
- Nếu $a=7$ , $b^2 = 50 - 7^2 = 1$ . $implies b=1$ . Cặp $(7, 1)$.
Các cặp $(a, b)$ không kể thứ tự và dấu là $(1, 7)$ và $(5, 5)$. Nếu xét cả dấu và thứ tự, ta có các cặp: $(\pm 1, \pm 7), (\pm 7, \pm 1), (\pm 5, \pm 5)$ .

Dạng 3: Chứng minh tính chất dựa trên định lý.

Các bài toán chứng minh thường yêu cầu áp dụng trực tiếp điều kiện của định lý.

Ví dụ: Chứng minh rằng nếu $n$ là tổng của hai số chính phương, thì mọi ước nguyên tố của $n$ có dạng $4k+3$ đều có số mũ chẵn.

Chứng minh:
Giả sử $n = a^2 + b^2$ với $a, b in mathbb{Z}$ .
Xét phân tích thừa số nguyên tố của $n$: $n = 2^e \cdot p_1^{e_1} cdots p_k^{e_k} \cdot q_1^{f_1} cdots q_m^{f_m}$ , trong đó $p_i equiv 1 pmod{4}$ và $q_j equiv 3 pmod{4}$ .
Ta cần chứng minh rằng tất cả các $f_j$ đều chẵn.

Xét một ước nguyên tố $q$ của $n$ sao cho $q equiv 3 pmod{4}$ .
Nếu $q$ chia hết cho $a$ và $q$ chia hết cho $b$, thì $q^2$ chia hết cho $a^2$ và $q^2$ chia hết cho $b^2$ . Do đó, $q^2$ chia hết cho $a^2 + b^2 = n$ .
Nếu $q$ chia hết cho $n$, thì $n = q \cdot n'$ .
Xét $n = a^2 + b^2$ . Nếu $q$ là ước nguyên tố của $n$ và $q equiv 3 pmod{4}$ .
Nếu $q$ không chia hết cho $a$, thì tồn tại nghịch đảo modulo $q$ của $a$.
Ta có: $a^2 + b^2 equiv 0 pmod{q}$ .
$b^2 equiv -a^2 pmod{q}$ .
Nếu $q$ không chia hết cho $a$, ta có thể chia cả hai vế cho $a^2$ :
$(b \cdot a^{-1})^2 equiv -1 pmod{q}$ .
Điều này có nghĩa là $-1$ là một thặng dư bậc hai modulo $q$. Tuy nhiên, theo một bổ đề quan trọng trong lý thuyết số, $-1$ là một thặng dư bậc hai modulo $q$ khi và chỉ khi $q=2$ hoặc $q equiv 1 pmod{4}$ .
Vì $q$ là số nguyên tố dạng $4k+3$ , nên $-1$ không thể là thặng dư bậc hai modulo $q$.
Mâu thuẫn này chỉ xảy ra nếu giả định ban đầu của chúng ta là sai. Giả định đó là “$q$ không chia hết cho $a$”.
Do đó, $q$ phải chia hết cho $a$.
Nếu $q$ chia hết cho $a$, và $a^2 + b^2 equiv 0 pmod{q}$ , thì $0^2 + b^2 equiv 0 pmod{q}$ , suy ra $b^2 equiv 0 pmod{q}$ , nghĩa là $q$ chia hết cho $b$.
Vậy, nếu một số nguyên tố $q equiv 3 pmod{4}$ là ước của $n = a^2 + b^2$ , thì $q$ phải chia hết cho cả $a$ và $b$.
Khi đó, ta có thể viết $a = q \cdot a'$ và $b = q \cdot b'$ .
Thay vào phương trình: $n = (q a')^2 + (q b')^2 = q^2 (a'^2 + b'^2)$ .
Đặt $n' = a'^2 + b'^2$ , ta có $n = q^2 n'$ .
Nếu $q$ vẫn là ước của $n’$, ta có thể lặp lại quá trình này. Tuy nhiên, nếu $q$ chỉ xuất hiện với số mũ lẻ trong phân tích thừa số nguyên tố của $n$, thì sau một số lần chia, ta sẽ đi đến một số $n^{(k)}$ mà $q$ là ước của $n^{(k)}$ nhưng $q$ không chia hết cho cả hai thành phần tương ứng của $n^{(k)}$ (tức là $a^{(k)}$ và $b^{(k)}$ ). Điều này dẫn đến mâu thuẫn như đã phân tích ở trên.
Do đó, mọi ước nguyên tố $q$ có dạng $4k+3$ của $n$ phải có số mũ chẵn.

Mẹo kiểm tra:

Luôn ưu tiên phân tích số ra thừa số nguyên tố.
Chú ý phân loại các ước nguyên tố theo dạng $4k+1$ và $4k+3$ .
Kiểm tra kỹ số mũ của các ước nguyên tố dạng $4k+3$ .

Lỗi hay gặp:

Nhầm lẫn giữa các dạng $4k+1$ và $4k+3$ .
Bỏ sót các ước nguyên tố dạng $4k+3$ hoặc nhầm lẫn số mũ của chúng.
Áp dụng sai bổ đề về thặng dư bậc hai của $-1$ .
Khi tìm cặp $(a, b)$, chỉ liệt kê một số cặp mà bỏ sót các trường hợp khác (ví dụ: quên xét cả dấu hoặc thứ tự).

Đáp Án/Kết Quả

Định lý Fermat về tổng của hai số chính phương là một công cụ mạnh mẽ trong lý thuyết số. Nó cho phép chúng ta xác định một cách dứt khoát liệu một số nguyên dương có thể được biểu diễn dưới dạng tổng của hai bình phương hay không, dựa trên phân tích thừa số nguyên tố của nó. Cụ thể, một số $n$ là tổng của hai số chính phương khi và chỉ khi mọi ước nguyên tố có dạng $4k+3$ trong phân tích thừa số nguyên tố của $n$ đều có số mũ chẵn.

🖼️ Hình ảnh minh họa

Hình minh họa cho Định lý Fermat về tổng của hai số chính phương, cho thấy các số có thể biểu diễn dưới dạng $a^2 + b^2$ .

Minh họa phân tích một số ra thừa số nguyên tố, một bước quan trọng để áp dụng định lý.

Trong hành trình khám phá toán học, việc hiểu rõ các định lý nền tảng như Định lý Fermat về tổng của hai số chính phương không chỉ giúp chúng ta giải quyết các bài toán cụ thể mà còn bồi đắp tư duy logic và khả năng suy luận toán học. Bằng cách nắm vững điều kiện và phương pháp áp dụng, bạn có thể tự tin chinh phục các dạng bài tập liên quan đến chủ đề này.

Ngày chỉnh sửa nội dung mới nhất January 15, 2026 by Thầy Đông

Thầy Đông

Thầy Đông – Giảng viên Đại học Công nghiệp Hà Nội, giáo viên luyện thi THPT
Thầy Đông bắt đầu sự nghiệp tại một trường THPT ở quê nhà, sau đó trúng tuyển giảng viên Đại học Công nghiệp Hà Nội nhờ chuyên môn vững và kinh nghiệm giảng dạy thực tế. Với nhiều năm đồng hành cùng học sinh, thầy được biết đến bởi phong cách giảng dạy rõ ràng, dễ hiểu và gần gũi. Hiện thầy giảng dạy tại dehocsinhgioi, tiếp tục truyền cảm hứng học tập cho học sinh cấp 3 thông qua các bài giảng súc tích, thực tiễn và giàu nhiệt huyết.