Chào các em học sinh thân mến! Hôm nay, thầy sẽ hướng dẫn các em giải một bài toán rất thú vị về đồng dư thức, một chủ đề quan trọng trong số học lớp 9 và các cấp học cao hơn. Chúng ta cùng nhau phân tích và chứng minh bài toán này nhé!

Đề bài: Cho \(p\) là số nguyên tố lẻ, \(a\) nguyên, \(p\) không là ước của \(a\). Khi đó thì mỗi \(s∈{1;2;…;(p-1)/2}\) thì tồn tại duy nhất bộ \((u,r)\) với \(u∈{+-1}\) và \(r∈∈{1;2;…;(p-1)/2}\) thỏa: \(as≡ur\) \((mod p)\).

Để dễ hình dung, chúng ta hãy đặt tên cho các tập hợp đã cho:

• Tập \(S = \{1, 2, …, (p-1)/2\}\)
• Tập \(U = \{-1, 1\}\)
• Tập \(R = \{1, 2, …, (p-1)/2\}\)

Bài toán yêu cầu chúng ta chứng minh hai điều cho mỗi \(s \in S\):

1. Sự tồn tại: Luôn tìm được một cặp \((u,r)\) sao cho \(u \in U\), \(r \in R\) và \(as \equiv ur \pmod p\).
2. Tính duy nhất: Cặp \((u,r)\) đó là duy nhất.

Chúng ta hãy bắt đầu chứng minh từng phần một nhé!

Phần 1: Chứng minh sự tồn tại của bộ \((u,r)\)

Các em hãy nhớ rằng, vì \(p\) là số nguyên tố lẻ, nên \(p \ge 3\). Điều kiện \(p \nmid a\) có nghĩa là \(a\) không chia hết cho \(p\). Tương tự, vì \(s \in S\), nên \(1 \le s \le (p-1)/2\), do đó \(s\) cũng không chia hết cho \(p\).

Khi đó, tích \(as\) cũng không chia hết cho \(p\). (Vì nếu \(as \equiv 0 \pmod p\), thì do \(p\) là số nguyên tố, \(p\) phải chia hết \(a\) hoặc \(p\) phải chia hết \(s\), điều này mâu thuẫn với giả thiết).

Vì \(as \not\equiv 0 \pmod p\), nên \(as\) phải đồng dư với một số \(k\) nào đó trong tập \(\{1, 2, …, p-1\}\) theo modulo \(p\). Tức là: \(as \equiv k \pmod p\) với \(k \in \{1, 2, …, p-1\}\).

Bây giờ, chúng ta sẽ xem xét giá trị của \(k\):

Trường hợp 1: Nếu \(k \in \{1, 2, …, (p-1)/2\}\).

Trong trường hợp này, chúng ta có thể chọn \(u = 1\) và \(r = k\). Rõ ràng \(u \in U\) và \(r \in R\) (vì \(k\) đã nằm trong tập \(R\)).

Vậy, ta có \(as \equiv 1 \cdot r \pmod p\), tức là \(as \equiv r \pmod p\).

Trường hợp 2: Nếu \(k \in \{(p+1)/2, …, p-1\}\).

Trong trường hợp này, \(k\) không nằm trong tập \(R\). Tuy nhiên, chúng ta có thể làm như sau:

Xét số \(k’ = p-k\). Vì \(k \in \{(p+1)/2, …, p-1\}\), nên:

• Nếu \(k = (p+1)/2\), thì \(k’ = p – (p+1)/2 = (2p-p-1)/2 = (p-1)/2\).
• Nếu \(k = p-1\), thì \(k’ = p – (p-1) = 1\).

Như vậy, \(k’\) sẽ nằm trong tập \(\{1, 2, …, (p-1)/2\}\). Tức là \(k’ \in R\).

Mặt khác, chúng ta có \(k \equiv -k’ \pmod p\) (vì \(k+k’ = k+(p-k) = p \equiv 0 \pmod p\)).

Do đó, \(as \equiv k \pmod p\) có thể viết thành \(as \equiv -k’ \pmod p\).

Trong trường hợp này, chúng ta có thể chọn \(u = -1\) và \(r = k’\). Rõ ràng \(u \in U\) và \(r \in R\).

Từ hai trường hợp trên, chúng ta luôn tìm được một cặp \((u,r)\) thỏa mãn điều kiện.

Vậy, sự tồn tại của bộ \((u,r)\) đã được chứng minh.

Phần 2: Chứng minh tính duy nhất của bộ \((u,r)\)

Để chứng minh tính duy nhất, chúng ta giả sử có hai bộ \((u_1, r_1)\) và \((u_2, r_2)\) cùng thỏa mãn điều kiện:

\(as \equiv u_1 r_1 \pmod p\) (với \(u_1 \in U, r_1 \in R\))

\(as \equiv u_2 r_2 \pmod p\) (với \(u_2 \in U, r_2 \in R\))

Từ hai đồng dư thức trên, chúng ta suy ra:

\(u_1 r_1 \equiv u_2 r_2 \pmod p\) (1)

Vì \(r_1, r_2 \in \{1, 2, …, (p-1)/2\}\) nên \(r_1 \not\equiv 0 \pmod p\) và \(r_2 \not\equiv 0 \pmod p\).

Cũng vì \(u_1, u_2 \in \{-1, 1\}\) nên \(u_1 \not\equiv 0 \pmod p\) và \(u_2 \not\equiv 0 \pmod p\).

Do đó, \(u_1 r_1 \not\equiv 0 \pmod p\) và \(u_2 r_2 \not\equiv 0 \pmod p\).

Từ (1), chúng ta có thể có hai trường hợp xảy ra:

Trường hợp 2a: \(u_1 = u_2\).

Nếu \(u_1 = u_2\), thì từ (1) ta có \(u_1 r_1 \equiv u_1 r_2 \pmod p\).

Vì \(u_1 \in \{-1, 1\}\), nên \(u_1 \not\equiv 0 \pmod p\). Do đó, ta có thể giản ước \(u_1\) khỏi đồng dư thức:

\(r_1 \equiv r_2 \pmod p\).

Mà \(r_1, r_2 \in \{1, 2, …, (p-1)/2\}\). Tất cả các số trong tập này đều nhỏ hơn \(p\).

Vì vậy, nếu \(r_1 \equiv r_2 \pmod p\) và \(r_1, r_2\) đều nhỏ hơn \(p\), thì bắt buộc \(r_1 = r_2\).

Như vậy, trong trường hợp này, \((u_1, r_1) = (u_2, r_2)\), tức là bộ \((u,r)\) là duy nhất.

Trường hợp 2b: \(u_1 = -u_2\).

Trong trường hợp này, \(u_2 = -u_1\). Thay vào (1) ta có:

\(u_1 r_1 \equiv -u_1 r_2 \pmod p\).

Lại giản ước \(u_1\) (vì \(u_1 \not\equiv 0 \pmod p\)), ta được:

\(r_1 \equiv -r_2 \pmod p\).

Điều này có nghĩa là \(r_1 + r_2 \equiv 0 \pmod p\).

Bây giờ chúng ta hãy xem xét tổng \(r_1 + r_2\):

Vì \(r_1, r_2 \in \{1, 2, …, (p-1)/2\}\), nên:

\(1 \le r_1 \le (p-1)/2\)

\(1 \le r_2 \le (p-1)/2\)

Cộng hai bất đẳng thức này lại, ta được:

\(1+1 \le r_1 + r_2 \le (p-1)/2 + (p-1)/2\)

\(2 \le r_1 + r_2 \le p-1\).

Từ \(2 \le r_1 + r_2 \le p-1\), chúng ta thấy rằng \(r_1 + r_2\) là một số nguyên dương nhỏ hơn \(p\).

Do đó, \(r_1 + r_2\) không thể chia hết cho \(p\).

Điều này mâu thuẫn với \(r_1 + r_2 \equiv 0 \pmod p\).

Vậy, trường hợp 2b là không thể xảy ra.

Chỉ còn lại trường hợp 2a, trong đó chúng ta đã chứng minh được \((u_1, r_1) = (u_2, r_2)\).

Vậy, tính duy nhất của bộ \((u,r)\) cũng đã được chứng minh.

Kết luận

Chúng ta đã chứng minh được rằng, với mọi \(s \in \{1, 2, …, (p-1)/2\}\), luôn tồn tại và tồn tại duy nhất một bộ \((u,r)\) với \(u \in \{-1, 1\}\) và \(r \in \{1, 2, …, (p-1)/2\}\) sao cho \(as \equiv ur \pmod p\).

Đây là một kết quả quan trọng, thường được sử dụng trong việc chứng minh Định lý Gauss về luật tương hỗ bình phương, một phần lý thuyết số nâng cao hơn. Các em hãy nắm vững cách trình bày và lập luận cho bài toán này nhé!

Chúc các em học tốt!