MathLabs

第2题

设 nn 与 kk 是互质的正整数,且 k<nk < n。将集合 M={1,2,…,n−1}M = \{1, 2, \ldots, n-1\} 中每个数染成蓝色或白色,满足:(i) 对每个 i∈Mi \in M,ii 与 n−in-i 同色;(ii) 对每个满足 i≠ki \ne k 的 i∈Mi \in M,ii 与 ∣i−k∣|i-k| 同色。证明 MM 中所有的数都同色。
第 1/5 步:kk 的倍数对 MM 作出一个排列
通俗地说

模 nn 乘以 kk 只是把 1,…,n−11,\dots,n-1 按新的顺序重新编号——正因为 kk 与 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
详细分析

由于 gcd⁡(n,k)=1\gcd(n,k)=1,乘以 kk 在模 nn 的剩余类上是一个双射;记 rir_i 为 ik mod nik\bmod n 在 {1,…,n−1}\{1,\dots,n-1\} 中的代表元(它非零,因为 0<i<n0<i<n 且 gcd⁡(k,n)=1\gcd(k,n)=1 蕴含 ik≢0ik\not\equiv0)。当 ii 遍历 1,…,n−11,\dots,n-1 时,rir_i 的值按某种顺序恰好遍历 MM 的所有元素各一次。