同余的基本定理

同余结论：剩余类 我们把1，n+1,1-n,1-10n,1+10n.......归于一类记为1（加上上划线），或者n+1(同上) 这样我们就可以吧若干数分为n类 0,1,2,3，.......n-1(同上)

一个剩余系中包括（上式）我们把它称为完全剩余系  主要用于剩余类变形

费马小定理 任意a p是整数 p是质数有a^(p-1)同余1 在mod p 意义下

考察1,2,3,4,5....(p-1)和 a 2a 3a.......（p-1）a 注意到1~p-1倍的a 都不能被p整除 且两两mod p 不同余

故他们被p除余1,2,3,4....p-1(p-1个不同的不被p整除之数)

我们可以这么理解，对于一个缺少0的完全剩余类，在对a相乘之后也是一个1~p-1的近乎完全的剩余类 也就是剩余类*a不变

所以就有这样的一个结论1*2*3*....(p-1)同余a*2a*3a*........(p-1)  (mod p)

也就是(p-1)!同余(p-1)!*a^(p-1)  (mod p)

注意到gcd((p-1)!,p) = 1;即费马小定理 a^(p-1)同余1（mod p）

欧拉定理 对于一个数n 约定1~n中与n互质的数的个数是fai（n）个   称为欧拉函数

有一下结论 if (a,n) = 1;then a^fai(n)同余1 (mod n)

证明实质上和费马小定理一样的

取出1~n 与n互质的数a1....afai（n）.........................................................................................................

于是就证明了欧拉定理   去n = p为质数时fai（p） = p - 1,这就退化成了费马小定理

Wilson定理：if p为质数 (p-1)!同余-1 (mod p)

考察1~p-1 注意到对于其中任意一个数x 总能找到y s.t. sy 同余 1（mod p）         （同余除法）

把这两个数分成一组，最终1~p-1分成了若干组 引理： 有两个组很奇怪 1~1 p-1~p-1 剩下的都是和不同的数分到一组的

prove：x^2同余1(mod p ) 等价于 p|x^2-1 等价于p|（x+1）(x-1)等价于p|x-1 or p|x+1 等价于x同余+-1 （mod p）

(p-1)! = 1(p-1)[两两一组] 同余-1 （mod p）