数论概论读书笔记 8.同余式

同余式

整除性是很好的性质，这在勾股数组、最大公因数与素数分解中得到了体现。

而同余式提供了一种描述整除性质的简便方式。

如果$m|(a-b)$，我们就说a与b模m同余并记之为$a\equiv b(mod\ m)$

特别地，$a\equiv a\%m(mod\ m)$

数m叫做同余式的模。 具有相同模的同余式在许多方面表现得很像通常的等式。例如：

若$a_1\equiv b_1(mod\ m) \quad a_2\equiv b_2(mod\ m)$ 则$a_1\pm a_2\equiv b_1\pm b_2(mod \ m)$ ，$a_1a_2\equiv b_1b_2(mod \ m)$

但 $ac\equiv bc(mod \ m)$ 时，未必有$a\equiv b(mod \ m)$ 如果$gcd(c,m)=1$ 则可以消去c

如果同余式含有未知数，我们考虑如何求解

首先考虑“穷举法” ，要解模m同余式，可让每个变量试取0,1,2…,m-1 例如，解同余式

$$x^2+2x-1\equiv 0(mod\ 7)$$
就去试 $x=0\quad, x=1\quad,...\quad,x=6$ 这导出两个解 $x\equiv 2(mod\ 7)$和 $x\equiv 3(mod\ 7)$ 当然还有其他解，但新的解与2或3是同余的，如9。当我们说“求同余式的所有解时”，是指求所有不同余的解，即相互不同余的所有解。

许多同余式是没有解的，如$x^2\equiv 3(mod\ 10)$

下面考虑如何求解同余式$ax\equiv c(mod\ m)$

试解一个例子，解同余式

$$18x\equiv8(mod\ 22)$$
等价于求 $22|(18x-8)$ 即求 $18x-22y=8$ 解这类方程的问题在第六章中研究过。

对于$ax\equiv c(mod\ m)$ ，其有解当且仅当 线性方程$ax-my=c$ 有解

由前可知，线性方程$ax-my=c$ 有解的充分必要条件是$gcd(a,m)|c$

且方程$au+mv=g$ 一定有解 ，设一个解为$(u_0,v_0)$ 则有

$$a\frac{cu_0}{g}+m\frac{cv_0}{g}=c$$
这说明 $x_0\equiv \frac{cu_0}{g}(mod\ m )$是同余式 $ax\equiv c(mod\ m)$ 的一个解

通解$x=x_0+k\cdot \frac{m}{g}$

由于相差m的倍数的任何两个解认为是相同的，所有恰好有$g$个不同的解，这些解通过取$k=0,1,2...,g-1$而得到。将上述过程概述为定理：

定理8.1（线性同余式定理）. 设a,c与m是整数，m>=1,且设$g=gcd(a,m)$。

(a) 如果$g\nmid c$，则同余式$ax\equiv c(mod\ m)$ 没有解

(b) 如果$g|c$ ，则同余式$ax\equiv c(mod\ m)$ 恰好有g个不同的解。要求这些解，首先求线性方程$au+mv=g$ 的一个解$(u_0,v_0)$ （欧几里得回带法，在计算机上递归求得，称为扩展欧几里得算法） 。则$x_0=cu_0/g$是$ax\equiv c(mod\ m)$ 的解，不同余解的完全集由

$$x\equiv x_0+k\cdot \frac{m}{g} （mod\ m),\quad k=0,1,2,...,g-1$$
给出。(由于只需要求解x，y这里正负符号就没讨论)

例如，同余式$943x\equiv 381(mod\ 2576)$ 无解，这是因为$gcd(943,2576) \nmid 381$ ，另一方面，同余式

$$893x\equiv 266(mod\ 2432)$$
有19个解，因为 $gcd(893,2432)=19,\ 19|266$ 这个19即为不同余解的个数（不需要其他计算）

下面解方程$893u-2432v=19$ ，使用欧几里得回带法可以求得解$(u,v)=(79,29)$ ，乘以266/19=14得方程$893x-2432y=266$的解$(x,y)=(1106,406)$ ，即1106是同余式方程的一个解，这样的互不同余的解共有19个。1106加上2432/19=128的倍数（%2432）就可得到完全解集。

注

线性同余式定理最重要的情形是$gcd(a,m)=1$ ，在这种情形下，同余式恰好有一个解。

对于非线性的同余式，其解“不是很确定”。

我们熟悉的是对于一个d次实系数多项式的实根不超过d个 ，这个结论对于同余式并不成立。

例如$x^2+x\equiv 0(mod\ 6)$ 有4个模6不同的根：0,2,3,5

但是，当p为素数时，这个结论依然成立

定理8.2（模p多项式根定理）. 设p为素数，$f(x)=a_0x^d+a_1x^{d-1}+...+a_d$ 是次数为d>=1的整系数多项式，且p不整除$a_0$ ，则同余式$f(x)\equiv 0(mod\ p)$ 最多有d个模p不同余的解。

这个定理的证明用到了反证法，和素数整除性质

假设方法：设至少存在一个首项系数不被p整除的整系数多项式$F(x)$ ，使得同余式$F(x)\equiv 0(mod\ p)$ 模p不同余的根的个数大于$F(x)$的次数，在所有这样的多项式中选择一个次数最低的，设为$F(x)=A_0x^d+A_1x^{d-1}+...+A_d$ ， 让$r_1,r_2,...,r_{d+1}$ 是同余式$F(x)\equiv 0(mod\ p)$ 模p不同余的解。

具体内容见P41面

素数整除性质相当重要