MathLabs

Bài 2

Cho nn và kk là các số nguyên dương nguyên tố cùng nhau với k<nk < n. Tập M={1,2,…,n−1}M = \{1, 2, \ldots, n-1\} được tô bởi hai màu, mỗi số một màu xanh hoặc trắng, sao cho: (i) với mỗi i∈Mi \in M, hai số ii và n−in-i cùng màu; và (ii) với mỗi i∈Mi \in M mà i≠ki \ne k, hai số ii và ∣i−k∣|i-k| cùng màu. Chứng minh rằng mọi số trong MM đều cùng một màu.
Bước 1 trên 5: Các bội của kk hoán vị tập MM
Hiểu nôm na

Nhân với kk theo modulo nn chỉ đơn giản là đánh số lại các số 1,…,n−11,\dots,n-1 theo một thứ tự mới, giống như xáo một bộ bài mà không mất hay lặp lá nào, chính vì kk không có ước chung với nn.

{k,2k,…,(n−1)k}≡{1,2,…,n−1}(modn)\{k,2k,\dots,(n-1)k\} \equiv \{1,2,\dots,n-1\} \pmod n
Phân tích chi tiết

Vì gcd⁡(n,k)=1\gcd(n,k)=1 nên phép nhân với kk là một song ánh trên các lớp thặng dư modulo nn; gọi rir_i là đại diện của ik mod nik\bmod n nằm trong {1,…,n−1}\{1,\dots,n-1\} (khác 0 vì 0<i<n0<i<n và gcd⁡(k,n)=1\gcd(k,n)=1 nên ik≢0ik\not\equiv0). Khi ii chạy từ 1,…,n−11,\dots,n-1, các giá trị rir_i chạy qua đúng một lần tất cả các phần tử của MM, theo một thứ tự nào đó.