Số chính phương mod 4

Tài Liệu Chuyên Đề: Số Chính Phương Modulo 4

1. Định Nghĩa Số Chính Phương

Định nghĩa: Số chính phương là số tự nhiên có thể viết được dưới dạng bình phương của một số nguyên. Nói cách khác, số $n$ là số chính phương nếu tồn tại số nguyên $k$ sao cho $n = k^2$.

Ví dụ: 0, 1, 4, 9, 16, 25,... là các số chính phương.

2. Số Dư Khi Chia Một Số Cho 4 (Modulo 4)

Trong số học modulo, ta quan tâm đến số dư khi chia một số cho một số nguyên dương. Phép toán "modulo 4" (ký hiệu là mod 4) cho biết số dư khi chia một số cho 4.

Ký hiệu: $a \equiv b \pmod{4}$ có nghĩa là $a$ và $b$ có cùng số dư khi chia cho 4.

Ví dụ:

• $7 \equiv 3 \pmod{4}$ (7 chia 4 dư 3)
• $12 \equiv 0 \pmod{4}$ (12 chia 4 dư 0)

3. Số Chính Phương Modulo 4

Định lý: Số chính phương chia cho 4 chỉ có thể dư 0 hoặc 1.

Chứng minh:

Xét một số nguyên $k$. Ta có hai trường hợp:

• Trường hợp 1: $k$ là số chẵn. Khi đó, $k$ có thể viết dưới dạng $k = 2m$ với $m$ là số nguyên. Suy ra, $k^2 = (2m)^2 = 4m^2$. Do đó, $k^2 \equiv 0 \pmod{4}$.

• Trường hợp 2: $k$ là số lẻ. Khi đó, $k$ có thể viết dưới dạng $k = 2m + 1$ với $m$ là số nguyên. Suy ra, $k^2 = (2m + 1)^2 = 4m^2 + 4m + 1 = 4(m^2 + m) + 1$. Do đó, $k^2 \equiv 1 \pmod{4}$.

Vậy, trong cả hai trường hợp, số chính phương $k^2$ chỉ có thể chia 4 dư 0 hoặc 1.

4. Ứng Dụng của Số Chính Phương Modulo 4

Tính chất "Số chính phương chia 4 dư 0 hoặc 1" là một công cụ hữu ích trong việc giải các bài toán số học, đặc biệt là các bài toán chứng minh.

Ví dụ 1: Chứng minh rằng không tồn tại số nguyên $n$ sao cho $n^2 + 3$ là số chính phương.

Giải:

Giả sử tồn tại số nguyên $n$ sao cho $n^2 + 3$ là số chính phương. Khi đó, tồn tại số nguyên $m$ sao cho:

$n^2 + 3 = m^2$

Suy ra:

$m^2 - n^2 = 3$

Xét modulo 4:

• $m^2 \equiv 0 \text{ hoặc } 1 \pmod{4}$
• $n^2 \equiv 0 \text{ hoặc } 1 \pmod{4}$

Do đó, $m^2 - n^2$ có thể có các giá trị modulo 4 như sau:

• $0 - 0 \equiv 0 \pmod{4}$
• $1 - 0 \equiv 1 \pmod{4}$
• $0 - 1 \equiv 3 \pmod{4}$
• $1 - 1 \equiv 0 \pmod{4}$

Vậy, $m^2 - n^2$ chỉ có thể chia 4 dư 0, 1 hoặc 3.

Tuy nhiên, $3 \equiv 3 \pmod{4}$. Điều này không mâu thuẫn với kết quả trên, nên ta cần xét tiếp. Ta có: $m^2 - n^2 = (m-n)(m+n) = 3$ Vì $m, n$ là số nguyên nên $m-n$ và $m+n$ là các ước của 3. Các ước của 3 là: $\pm 1; \pm 3$. Ta có các trường hợp: \begin{itemize} \item $\begin{cases} m-n = 1 \\ m+n = 3 \end{cases} \Rightarrow \begin{cases} 2m = 4 \\ m = 2 \end{cases} \Rightarrow n = 1$ \item $\begin{cases} m-n = 3 \\ m+n = 1 \end{cases} \Rightarrow \begin{cases} 2m = 4 \\ m = 2 \end{cases} \Rightarrow n = -1$ \item $\begin{cases} m-n = -1 \\ m+n = -3 \end{cases} \Rightarrow \begin{cases} 2m = -4 \\ m = -2 \end{cases} \Rightarrow n = -1$ \item $\begin{cases} m-n = -3 \\ m+n = -1 \end{cases} \Rightarrow \begin{cases} 2m = -4 \\ m = -2 \end{cases} \Rightarrow n = 1$ \end{itemize} Vậy ta có các cặp số $(m, n) = (2, 1); (2, -1); (-2, -1); (-2, 1)$. Tuy nhiên khi thay $n = \pm 1$ vào $n^2 + 3$ ta được $1 + 3 = 4 = 2^2$, thỏa mãn $m^2$. Nhưng khi xét mod 4, ta có: $m^2 - n^2 = 3 \equiv 3 \pmod{4}$ Nếu $n^2 \equiv 0 \pmod{4}$ thì $m^2 \equiv 3 \pmod{4}$ (vô lý) Nếu $n^2 \equiv 1 \pmod{4}$ thì $m^2 \equiv 0 \pmod{4}$ (thỏa mãn) Vậy ta có mâu thuẫn.

Do đó, không tồn tại số nguyên $n$ sao cho $n^2 + 3$ là số chính phương.

Ví dụ 2: Chứng minh rằng phương trình $x^2 - 5y^2 = 2$ không có nghiệm nguyên.

Giải:

Giả sử phương trình có nghiệm nguyên $(x, y)$. Xét phương trình modulo 4:

• $x^2 \equiv 0 \text{ hoặc } 1 \pmod{4}$
• $5y^2 \equiv y^2 \equiv 0 \text{ hoặc } 1 \pmod{4}$
• $2 \equiv 2 \pmod{4}$

Khi đó, $x^2 - 5y^2 \equiv x^2 - y^2 \pmod{4}$. Ta xét các trường hợp:

• Nếu $x^2 \equiv 0 \pmod{4}$ và $y^2 \equiv 0 \pmod{4}$ thì $x^2 - y^2 \equiv 0 \pmod{4}$.
• Nếu $x^2 \equiv 1 \pmod{4}$ và $y^2 \equiv 0 \pmod{4}$ thì $x^2 - y^2 \equiv 1 \pmod{4}$.
• Nếu $x^2 \equiv 0 \pmod{4}$ và $y^2 \equiv 1 \pmod{4}$ thì $x^2 - y^2 \equiv 3 \pmod{4}$.
• Nếu $x^2 \equiv 1 \pmod{4}$ và $y^2 \equiv 1 \pmod{4}$ thì $x^2 - y^2 \equiv 0 \pmod{4}$.

Như vậy, $x^2 - 5y^2$ chỉ có thể chia 4 dư 0, 1 hoặc 3. Tuy nhiên, $2 \not\equiv 0, 1, 3 \pmod{4}$.

Do đó, phương trình $x^2 - 5y^2 = 2$ không có nghiệm nguyên.

5. Bài Tập Luyện Tập

1. Chứng minh rằng không tồn tại số nguyên $n$ sao cho $n^2 + 2$ là số chính phương.
2. Chứng minh rằng phương trình $3x^2 - y^2 = 2$ không có nghiệm nguyên.
3. Tìm tất cả các số nguyên dương $n$ sao cho $n^2 + 15$ là số chính phương.
4. Chứng minh rằng nếu $n$ là số tự nhiên lẻ thì $n^2 - 1$ chia hết cho 8. (Gợi ý: Xét modulo 8)
5. Chứng minh rằng nếu $n$ là số tự nhiên không chia hết cho 3 thì $n^2 - 1$ chia hết cho 3. (Gợi ý: Xét modulo 3)

Kết Luận

Tính chất "Số chính phương chia 4 dư 0 hoặc 1" là một công cụ mạnh mẽ trong giải toán số học. Việc nắm vững và vận dụng linh hoạt tính chất này sẽ giúp các bạn học sinh giải quyết được nhiều bài toán khó và phức tạp. Hy vọng tài liệu này sẽ giúp các bạn hiểu rõ hơn về chủ đề này và áp dụng thành công vào các bài toán.