《初等数论》：同余的概念与性质

同余

定义

定义1：给定一个正整数$m$，把它叫做模，如果用$m$去除任意两个整数$a$与$b$所得的余数相同，则称$a,b$关于模$m$同余，记作$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$；否则称$a,b$关于模$m$，记作$a\not\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$。

定义2：设$a,b$为整数，$m$为正整数，若$m\mid (a-b)$，则称$a,b$关于模$m$同余，若$m\nmid (a-b)$，则称$a,b$关于模$m$不同余。

定理

$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$的充要条件是$m\mid (a-b)$或$a=b+mk$

(1) 反身性：$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$
(2) 对称性：若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则$b\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}m)$
(3) 传递性：若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，$b\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则$a\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}m)$

若$a_1\equiv b_1(\mathrm{m}\mathrm{o}\mathrm{d}m)$，$a_2\equiv b_2(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则：
(1) $a_1\pm a_2=b_1\pm b_2(\mathrm{m}\mathrm{o}\mathrm{d}m)$
(2) $a_1{a}_2\equiv b_1{b}_2(\mathrm{m}\mathrm{o}\mathrm{d}m)$
推论：
(3) 若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，$n$为正整数，则$a^n\equiv b^n(\mathrm{m}\mathrm{o}\mathrm{d}m)$
(4) 设$p(x)$是任一整系数多项式。若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则：$p(a)\equiv p(b)(\mathrm{m}\mathrm{o}\mathrm{d}m)$
(5) 设$f(x)=\begin{array}{r}\sum _{i=0}^n{a}_i{x}^i\end{array}$，$g(x)=\begin{array}{r}\sum _{i=0}^n{b}_i{x}^i\end{array}$是两个整系数多项式。若$a_i\equiv b_i(\mathrm{m}\mathrm{o}\mathrm{d}m)(i=1,2,\cdots ,n)$，则$f(x)\equiv g(x)(\mathrm{m}\mathrm{o}\mathrm{d}m)$

若$a_1{a}_2\equiv b_1{b}_2(\mathrm{m}\mathrm{o}\mathrm{d}m)$，$a_2\equiv b_2(\mathrm{m}\mathrm{o}\mathrm{d}m)$，且$(a_2,m)=1$，则$a_1\equiv b_1(\mathrm{m}\mathrm{o}\mathrm{d}m)$
推论：若$ac\equiv bc(\mathrm{m}\mathrm{o}\mathrm{d}m)$，$(c,m)=1$，则$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$

$提示：利用恒等式(a_1-b_1)a_2+b_1(a_2-b_2)=a_1{a}_2-b_1{b}_2$

例题

• 设质数$p\nmid a$，$k\ge 1$，试证：$n^2\equiv an(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)$的充要条件是$n\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)$或$n\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)$
  $提示：充分性显然。必要性：由p^k\mid n(n-a),则有p^k\mid n或p^k\mid n-a,但两者不会同时成立，否则由p\mid p^k,p^k\mid a,得：p\mid a,与已知矛盾。$
• 设$n>4$，试证：$n$是合数的充要条件是$(n-2)!\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)$
  $证：(1)必要性：设n=d_1{d}_2是合数,则2\le d_1,d_2\le \frac{n}{2}<n-2,当d_1\ne d_2时,d_1{d}_2\mid (n-2)!,即(n-2)!\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n);当d_1=d_2=\sqrt{n}时,由于n>4,所以d_1\ge 3,从而n\ge 9,此时2d_1=2\sqrt{n}<n-2,于是3\le d_1<2d_1<n-2,即在(n-2)!中有d_1,2d_1两个互不相同的因数。因此d_1^2\mid n,即(n-2)!\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)。(2)充分性：设(n-2)!\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n),假定n不是合数,则n必为质数,因为n>4且n-2<n,故n\nmid (n-2)!,即(n-2)!\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}m),矛盾,则n是合数。$
• 试证：相邻四个整数的$4$次幂的和不可能是另一个整数的$4$次幂。
  $证：显然,对于任一奇数2m+1,都有(2m+1{)}^4\equiv (4m^2+4m+1{)}^2\equiv 1^2\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}4),对任一偶数2m,都有(2m{)}^4\equiv 16m^4\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}4),而相邻四个整数a,b,c,d中必有两个奇数和两个偶数,故a^4+b^4+c^4+d^4\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}4),于是命题成立。$
• 设$p$为质数，试证：$(a+b{)}^p\equiv a^p+b^p(\mathrm{m}\mathrm{o}\mathrm{d}p)$
  提示： 参考数学归纳法的5种常用形式——证明题的利器的反向归纳法的例题5-1，可知$a^p\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p),b^p\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}p),(a+b{)}^p\equiv a+b(\mathrm{m}\mathrm{o}\mathrm{d}p),于是得：a^p+b^p\equiv a+b\equiv (a+b{)}^p(\mathrm{m}\mathrm{o}\mathrm{d}p)$
• 试证：相邻两数的立方差不能被$5$整除。
  $提示：相邻两数必是一奇一偶$
• 试证：当且仅当指数$n$不能被$4$整除时，$1^n+2^n+3^n+4^n$能被$5$整除。
  $提示：4^n\equiv (-1{)}^n(\mathrm{m}\mathrm{o}\mathrm{d}5),3^n\equiv (-2{)}^n(\mathrm{m}\mathrm{o}\mathrm{d}5),则1^n+2^n+3^n+4^n\equiv 1^n+(-1{)}^n+2^n+(-2{)}^n(\mathrm{m}\mathrm{o}\mathrm{d}5),则当n=4m+1或4m+3为奇数时，显然成立；当n=4m+2时,1^n+(-1{)}^n+2^n+(-2{)}^n\equiv 2+2\cdot 4\cdot 16^m\equiv 2+8\cdot 1^m\equiv 10\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}5);当n=4m时,1^n+(-1{)}^n+2^n+(-2{)}^n\equiv 2+2\cdot 16^m\equiv 2+2\cdot 1^m\equiv 4(\mathrm{m}\mathrm{o}\mathrm{d}5)$
• 设$a$是任意正奇数，试证：$a^{2^n}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{2}^{n+2})$
  $提示：a^{2^n}-1=(a-1)(a+1)(a^2+1)(a^4+1)\cdots (a^{2^{n-1}}+1)$
• 设$a>1$，$n>1$，称$a^n$为一个完全方幂。试证：当$p$是一个质数时，$2^p+3^p$不是完全方幂。
  $提示：当p为奇数时，2^p+3^p=2^p-(-3{)}^p=[2-(-3)][2^{p-1}+2^{p-2}(-3)+2^{p-3}(-3{)}^2+\cdots +(-3{)}^{p-1}],同时注意到2\equiv -3(\mathrm{m}\mathrm{o}\mathrm{d}5),因此有2^{p-k}(-3{)}^{k-1}(1\le k\le p)模5同余,则2^{p-1}+2^{p-2}(-3)+2^{p-3}(-3{)}^2+\cdots +(-3{)}^{p-1}\equiv p\cdot 2^{p-1}(\mathrm{m}\mathrm{o}\mathrm{d}5),而当p\ne 5时,p\cdot 2^{p-1}\nmid 5,因此此时2^p+3^p的质因数分解式中5的指数是1,因此此时2^p+3^p不是完全方幂;当p=5时,2^5+3^5=275=25\times 11,不是完全方幂;当p=2时,2^2+3^2=13为质数,不是完全方幂。$

进一步的性质

若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则$(a,m)=(b,m)$

若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，$k$为正整数，则$ak\equiv bk(\mathrm{m}\mathrm{o}\mathrm{d}mk)$

若$ac\equiv bc(\mathrm{m}\mathrm{o}\mathrm{d}m)$，且$c\ne 0$，则$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}\frac{m}{(c,m)})$

若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，$n\mid m,n>0$，则$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)$

若$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)(i=1,2,\cdots ,k)$，则$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}[m_1,m_2,\cdots ,m_k])$

例题

• 已知$ab\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}24)$，证明：$24\mid (a+b)$
  $提示：由ab\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}24),得ab\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}3),则a\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3),若a\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3),则b\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}3),若a\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}3),则b\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3),故a+b\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3);同样有ab\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}8),若a\equiv \pm 1(\mathrm{m}\mathrm{o}\mathrm{d}8),则b\equiv \mp 1(\mathrm{m}\mathrm{o}\mathrm{d}8),若a\equiv \pm 3(\mathrm{m}\mathrm{o}\mathrm{d}8),则由3ab\equiv -3(\mathrm{m}\mathrm{o}\mathrm{d}8),即\pm b\equiv -3(\mathrm{m}\mathrm{o}\mathrm{d}8),b\equiv \mp 3(\mathrm{m}\mathrm{o}\mathrm{d}8),则a+b\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}8),于是a+b\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}24)$
• 证明：对于所有整数$a$，质数$p$，$a^p\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}2p)$
  $提示：若p是质数,则a^p\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p),对任意整数n,有a^n\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}2)$
• 若$p$是大于$5$的质数，试证：$p^4\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}240)$
  $证：(1)因为p>5为质数,故p\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3),即p\equiv 1,2(\mathrm{m}\mathrm{o}\mathrm{d}3),于是有p^4\equiv 1^4,2^4\equiv 1,16(\mathrm{m}\mathrm{o}\mathrm{d}3);(2)因为p>5为质数,即p\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}5),即p\equiv 1,2,3,4(\mathrm{m}\mathrm{o}\mathrm{d}5),于是p^4\equiv 1^4,2^4,3^4,4^4\equiv 1,16,81,256\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}5);(3)设p=2k+1,则p^4\equiv (2k+1{)}^4\equiv (2k{)}^4+4\cdot (2k{)}^3+6\cdot (2k{)}^2+4\cdot 2k+1\equiv 24k^2+8k+1\equiv 8k^2+8k+1\equiv 8k(k+1)+1\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}16)。综上，又因为3,5,16两两互素,故[3,5,16]=3\times 5\times 16=240,故p^4\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}240)$
• 若$p$是大于$3$的质数，试证：$p^2\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}24)$
  $提示：参考上一题$

剩余类及完全剩余系

定义1：设$m$ 是一个给定的正整数，把被模$m$除所得的余数为$r$的整数归于一类，记作   S r = { m q + r ∣ q 为 整 数 ,   0 ≤ r ≤ m − 1   }   \,S_r=\{mq+r \mid q为整数,\,0 \le r \le m-1\,\}\, Sr​={mq+r∣q为整数,0≤r≤m−1}，所形成的$m$类：$S_0,S_1,\cdots ,S_{m-1}$称为模$m$的剩余类。

从模$m$的每一个剩余类中各取一个数作为代表所得到的$m$个整数，称为模$m$的一个完全剩余系。

$0,1,\cdots ,m-1$这$m$个整数称为模$m$的 非负最小完全剩余系；当$m$为奇数时，$-\frac{m-1}{2},\cdots ,-1,0,1,\cdots ,\frac{m-1}{2}$ 称为 (奇数)模$m$的绝对最小完全剩余系 ；当$m$为偶数时，$-\frac{m}{2},\cdots ,-1,0,1,\cdots ,\frac{m}{2}-1$或$-\frac{m}{2}+1,\cdots ,-1,0,1,\cdots ,\frac{m}{2}$称为 (偶数)模$m$的绝对最小完全剩余系。

例题

• 试证：被$5$除余数为$2$或$3$的整数不是完全平方数。
  提 示 ： 考 虑 以   5   为 模 的 绝 对 最 小 完 全 剩 余 系   { − 2 , − 1 , 0 , 1 , 2 }   提示：考虑以\,5\,为模的绝对最小完全剩余系\,\{-2,-1,0,1,2\}\, 提示：考虑以5为模的绝对最小完全剩余系{−2,−1,0,1,2}
• 试证：当$n>3$时，$\begin{array}{r}\sum _{k=1}^{n}k!\end{array}$不是完全平方数。
  $提示：结合上一题$
• 设整数$a,b,c$满足$a^2+b^2=c^2$，试证：$a,b,c$中至少有一个是$5$的倍数。
  $提示：结合上上一题$
• 试证：中间项为完全立方的三个连续整数的乘积必能被$504$整除。
  证 ： 设   N = ( n 3 − 1 ) n 3 ( n 3 + 1 )   , 注 意 到   504 = 7 × 8 × 9   , 而   7 , 8 , 9   两 两 互 质 , 故 只 需 分 别 证   7 ∣ N   ,   8 ∣ N   ,   9 ∣ N   。 先 证   7 ∣ N   , 考 虑 以 7 为 模 的 绝 对 最 小 完 全 剩 余 系   { − 3 , − 2 , − 1 , 0 , 1 , 2 , 3 }   , 则   n ≡ 0 , ± 1 , ± 2 , ± 3  ⁣ ⁣ ( m o d 7 )   , 从 而   n 3 ≡ 0 , ± 1  ⁣ ⁣ ( m o d 7 )   , 故   7 ∣ N   , 同 理 可 证   9 ∣ N   。 当   n   为 偶 数 时 ,   8 ∣ n 3   故   8 ∣ N   ; 当   n   为 奇 数 时 , 设   n = 2 m + 1   , ( n − 1 ) ( n + 1 ) = 2 m ( 2 m + 2 ) = 4 m ( m + 1 ) ≡ 0  ⁣ ⁣ ( m o d 8 )   , 而   n − 1 ∣ n 3 − 1   ,   n + 1 ∣ n 3 + 1   , 故   8 ∣ N   。 证：设\,N=(n^3-1)n^3(n^3+1)\,,注意到\,504=7\times8\times9\,,而\,7,8,9\,两两互质,故只需分别证\,7 \mid N\,,\,8 \mid N\,,\,9 \mid N\,。先证\,7 \mid N\,,考虑以7为模的绝对最小完全剩余系\,\{-3,-2,-1,0,1,2,3\}\,,则\,n \equiv 0,\pm1,\pm2,\pm3 \!\! \pmod{7}\,,从而\,n^3 \equiv 0,\pm1 \!\! \pmod{7}\,,故\,7 \mid N\,,同理可证\,9 \mid N\,。当\,n\,为偶数时,\,8 \mid n^3\,故\,8 \mid N\,;当\,n\,为奇数时,设\,n=2m+1\,,(n-1)(n+1)=2m(2m+2)=4m(m+1) \equiv 0 \!\! \pmod{8}\,,而\,n-1 \mid n^3-1\,,\,n+1 \mid n^3+1\,,故\,8 \mid N\,。 证：设N=(n3−1)n3(n3+1),注意到504=7×8×9,而7,8,9两两互质,故只需分别证7∣N,8∣N,9∣N。先证7∣N,考虑以7为模的绝对最小完全剩余系{−3,−2,−1,0,1,2,3},则n≡0,±1,±2,±3(mod7),从而n3≡0,±1(mod7),故7∣N,同理可证9∣N。当n为偶数时,8∣n3故8∣N;当n为奇数时,设n=2m+1,(n−1)(n+1)=2m(2m+2)=4m(m+1)≡0(mod8),而n−1∣n3−1,n+1∣n3+1,故8∣N。

完全剩余系的基本性质

性质1：若$a_1,a_2,\cdots ,a_m$是关于模$m$的两两互不同余的$m$个整数，则这些整数就构成了模$m$的完全剩余系。

性质2：设$m$是正整数，$(a,m)=1$，$b$是任意整数。若$x$通过模$m$的一个完全剩余系，则$ax+b$也通过模$m$的完全剩余系。

$证：设a_0,a_1,\cdots ,a_{m-1}是模m的一个完全剩余系。由性质1,只需证明m个整数a{a}_0+b,a{a}_1+b,\cdots ,a{a}_{m-1}+b关于模m两两不同余即可。用反证法。假设a{a}_i+b\equiv a{a}_j+b(\mathrm{m}\mathrm{o}\mathrm{d}m)(i,j=0,1,\cdots ,m-1,且i\ne j),则有a{a}_i\equiv a{a}_j(\mathrm{m}\mathrm{o}\mathrm{d}m),因(a,m)=1,故a_i\equiv a_j(\mathrm{m}\mathrm{o}\mathrm{d}m),这与a_0,a_1,\cdots ,a_{m-1}是完全剩余系的假设矛盾,故结论成立。$

性质3：设$m_1,m_2$是互质的两个正整数。若$x_1,x_2$分别通过模$m_1,m_2$的完全剩余系，则$m_2{x}_1+m_1{x}_2$通过模$m_1{m}_2$的完全剩余系。

$$\begin{gathered} 证：由假设,知x_1,x_2分别通过m_1,m_2个整数,因此m_2{x}_1+m_1{x}_2通过m_1{m}_2个整数。 \\ 由性质1,只需证明这m_1{m}_2个整数关于模m_1{m}_2两两不同余即可。假定 \\ {m}_2{x}_1^{\prime }+m_1{x}_2^{\prime }\equiv m_2{x}_1^{\prime \prime }+m_1{x}_2^{\prime \prime }(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1{m}_2), \\ 这里x_1^{\prime },x_1^{\prime \prime }是x_1所通过的完全剩余系中的整数,而x_2^{\prime },x_2^{\prime \prime }是x_2所通过的完全剩余系中的整数。则m_2(x_1^{\prime }-x_1^{\prime \prime })+m_1(x_2^{\prime }-x_2^{\prime \prime })\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1{m}_2)。设x_1^{\prime }-x_1^{\prime \prime }=k_1{m}_1+a(0\le a\le m_1-1),x_2^{\prime }-x_2^{\prime \prime }=k_2{m}_2+b(0\le b\le m_2-1),于是有m_{2}a+m_{1}b=0,又由(m_1,m_2)=1,得m_2\mid b,m_1\mid a,则a=0,b=0,得：x_1^{\prime }\equiv x_1^{\prime \prime }(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1),x_2^{\prime }\equiv x_2^{\prime \prime }(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)但x_1^{\prime },x_1^{\prime \prime }是模m_1的一个完全剩余系中的整数,x_2^{\prime },x_2^{\prime \prime }是模m_2的一个完全剩余系中的整数,因此x_1^{\prime }=x_1^{\prime \prime },x_2^{\prime }=x_2^{\prime \prime }。因此,如果x_1^{\prime }与x_1^{\prime \prime }、x_2^{\prime }与x_2^{\prime \prime }不全相同,则m_2{x}_1^{\prime }+m_1{x}_2^{\prime }\not\equiv m_2{x}_1^{\prime \prime }+m_1{x}_2^{\prime \prime }(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1{m}_2),故命题成立。 \end{gathered}$$

性质4：设$m_1,m_2,\cdots ,m_k$是$k$个正整数。若$x_1,x_2,\cdots ,x_k$分别通过$m_1,m_2,\cdots ,m_k$的完全剩余系，则$x_1+m_1{x}_2+m_1{m}_2{x}_3+\cdots +m_1{m}_2\cdots m_{k-1}{x}_k$通过模$m_1{m}_2\cdots m_k$的完全剩余系。
推论：设$n$是正整数。若$x_1,x_2,\cdots ,x_k$分别通过模$n$的完全剩余系，则$x_1+n{x}_2+n^2{x}_3+\cdots +n^{k-1}{x}_k$通过模$n^k$的完全剩余系。

提示： $参考上一性质证明的反证法思想(逆否命题的思想),或者考虑《数学归纳法》+《整体法》$

性质5：若$y_1,y_2,\cdots ,y_m$是模$m$的完全剩余系，则当$2\nmid m时,\begin{array}{r}\sum _{i=1}^m{y}_i\end{array}\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}m);当2\mid m时,\begin{array}{r}\sum _{i=1}^m{y}_i\end{array}\equiv \frac{m}{2}(\mathrm{m}\mathrm{o}\mathrm{d}m)$

例题

• 设$p$是一个质数，试证：$C_n^p\equiv [\frac{n}{p}](\mathrm{m}\mathrm{o}\mathrm{d}p)$
  $证：因为p个连续正整数n,n-1,\cdots ,n-p+1构成模p的一个完全剩余系，所以有一个(也只有一个)数,不妨设为n-i,使得p\mid n-i(0\le i\le p-1),由\frac{n}{p}=\frac{n-i}{p}+\frac{i}{p},可得[\frac{n}{p}]=\frac{n-i}{p},这样M=\frac{n(n-1)\cdots (n-p+1)}{n-i}\equiv (p-1)!(\mathrm{m}\mathrm{o}\mathrm{d}p),另外,M[\frac{n}{p}]=\frac{(n-i)M}{p}=(p-1)!C_n^p,于是有(p-1)![\frac{n}{p}]\equiv (p-1)!C_n^p(\mathrm{m}\mathrm{o}\mathrm{d}p),但((p-1)!,p)=1,故C_n^p\equiv [\frac{n}{p}](\mathrm{m}\mathrm{o}\mathrm{d}p)$
• 试证：$x=u+p^{s-t}v(u=0,1,\cdots ,p^{s-t}-1;v=0,1,\cdots ,p^t-1;t\le s)$是模$p^s$的一个完全剩余系。
  提示：$性质4当k=2时的直接运用$
• 设$m_1,m_2,\cdots ,m_k$是$k$个两两互质的正整数，$x_1,x_2,\cdots ,x_k$分别通过模$m_1,m_2,\cdots ,m_k$的完全剩余系，试证：$M_1{x}_1+M_2{x}_2+\cdots +M_k{x}_k$通过模$m=m_1{m}_2\cdots m_k$的完全剩余系，这里$m=m_i{M}_i(i=1,2,\cdots ,k)$
  提示：$参考性质3、4的证明思想$
• 设$m>0$，$(a,m)=1$，试证：$\begin{array}{r}\sum _{x=1}^{m-1}[\frac{ax}{m}]=\frac{1}{2}(m-1)(a-1)\end{array}$
  提示： 易 知   a x m = [   a x m   ] + { a x m }   , 而   a x m = 1 2 ( m − 1 ) a   ,   { a x m } = 1 2 ( m − 1 )   易知\,\dfrac{ax}{m}=[\,\dfrac{ax}{m}\,]+\{\dfrac{ax}{m}\}\,,而\,\dfrac{ax}{m}=\dfrac{1}{2}(m-1)a\,,\,\{\dfrac{ax}{m}\}=\dfrac{1}{2}(m-1)\, 易知max​=[max​]+{max​},而max​=21​(m−1)a,{max​}=21​(m−1)

End