数论四大定理

数论四大定理

数论中表示同余的符号为 “ ≡ ”
给定一个正整数n，如果两个整数a和b满足a-b能被n整除
$即(a-b)modn=0，amodn=b$
那么就称整数a与b对模n同余，记作 $a\equiv b(modn)$
同余方程是一个数学方程式，该方程式的内容为：对于一组整数Z，Z里的每一个数都除以同一个数m，得到的余数可以为0，1，2，…m-1,共m种，我们就以余数的大小作为标准将Z分为m类，每一类都有相同的余数

• 威尔逊定理

  $p$可整除$(p-1)!+1$是$p$为质数的充要条件
  即如果p是素数，则 $(p-1)!\equiv -1(modp)$
  如果$p$不是素数，
  当$p=4$时，显然$（p-1)!=6，6\equiv 2(modp)$
  当$p>4$时，若p不是完全平方数，则存在两个不等的因数$a，b$使得$ab=p$，
  则$(p-1)!\equiv nab\equiv 0(modp);$
  $例如p=8，(p-1)!=1\times 2\times 3\times 4\times 5\times 6\times 7=(2\times 4)\times 1\times 3\times 5\times 6\times 7$，$(p-1)!能被p整除$
  $若p是完全平方数即p=k^2，因为p>4,所以k>2，k,2k<p，$
  $(p-1)!\equiv n(k\ast 2k)\equiv n\times k^2\equiv 0(modp)$
  $例如p=9，(p-1)!=1\times 2\times 3\times 4\times 5\times 6\times 7\times 8\times 9=(3\times 6)\times 1\times 2\times 4\times 5\times 7\times 8=(2\times 3\times 3)\times 1\times 2\times 4\times 5\times 7\times 8$
  如果p是素数，
  取集合 A={1,2,3,…p -1}，则A 构成模p乘法的缩系
  即任意a∈A ,存在不同的b∈A,使得:( a×b ) ≡ 1 ( mod p )
  A中的元素不一定恰好两两配对，若$x^2\equiv 1(modp)，x\equiv 1(modp)或x\equiv p-1(modp)$
  其余两两配对;故而$(p-1)!\equiv 1﹡(p-1)\equiv -1(modp)$
  $例如p=7，(p-1)!=1\times 2\times 3\times 4\times 5\times 6=1\times （2\times 3）\times （4\times 5）\times 6$

• 欧拉定理

  若 $n$ , $a$为正整数，且 $n$ , $a$ 互质，即 $gcd(a,n)=1$，则 $a^{\phi }(n)\equiv 1(modn)$
  $将1到n中与n互质的数按顺序排布：x_1,x_2\dots \dots x_{\phi (n)}（显然，共有\phi (n)个数）$
  $m_1=a\ast x_1;m_2=a\ast x_2;m_3=a\ast x_3\dots \dots m_{\phi }(n)=a\ast x_{\phi (n)}$
  这些数中的任意两个都不模$n$同余
  $若m_a,m_b模n同余，可得ma-mb=n\ast k，即xa-xb=n\ast a\ast k，xa-xb\equiv 0(modn)$
  $由于x_a,x_b与n互质，且x_a̸=x_b$
  $所以x_a-x_b\equiv 0(modn)不成立，这些数中的任意两个都不模n同余$
  这些数除$n$的余数都与$n$互质
  $因为a与n互质，x_i与n互质，m_i=a\ast x_i，所以可得m_i与n互质$
  $m_1\ast m_2\ast ...\ast m_{\phi (n)}\equiv x_1\ast x_2\ast \dots \ast x_{\phi (n)}(modn)$
  $a\ast x_1\ast a\ast x_2\ast \dots \ast a\ast x_{\phi (n)}\equiv x_1\ast x_2\ast \dots \ast x_{\phi (n)}(modn)$
  $a^{\phi }(n)\ast x_1\ast x_2\ast \dots \ast x_{\phi (n)}\equiv x_1\ast x_2\ast \dots \ast x_{\phi (n)}(modn)$
  $(a^{\phi (n)}-1)\ast x_1\ast x_2\ast \dots \ast x_{\phi (n)}\equiv 0(modn)$
  $a^{\phi (n)}\equiv 1(modn)$

• 孙子定理（中国剩余定理）

  $$\{\begin{array}{l}x\equiv a_{1}mod(m_1)\\ x\equiv a_{2}mod(m_2)\\ .\\ .\\ .\\ x\equiv a_{n}mod(m_n)\end{array}$$

  假设整数$m_1,m_2,...,m_n$两两互质，则对任意的整数$a_1,a_2,...,a_n$方程组有解，并且通 解可以用如下方式构造得到：
  设$M$是$m_1,m_2,...,m_n$的乘积，$M_i$是除了$m_i$以外$n-1$个数的乘积
  设$t_i=M_i^{-1}$为$M_i$ 模 $m_i$的数论倒数,$M_i{t}_i\equiv 1mod(m_i)$
  方程组的通解为$$x=kM+\sum _{i=1}^n{a}_i{t}_i{M}_i$$

• 费马小定理

  假如$p$是质数，且$a$，$p$互质，则 $a^{(p-1)}\equiv 1$，$a^p\equiv a(modp)$
  因为$p$是质数，所以$\phi (p)=p-1$，若$a$，$p$互质，由欧拉定理可得$a^{(p-1)}\equiv 1(modp)$
  $a^p\equiv a(modp)$