记录笔者学习数论及其证明知识的过程。
欧拉定理
即证明
根据X集合中数的性质,首先是X中每个数都不相同,其次是X中每个数与n互质。
要研究的是两集合在模n下的性质,再细究就是首先X中每个数模n都不同余,其次是X中每个数模n与n互质。
来验证M集合是否满足这两性质
M中的每个数在模n下都不同余
M中每个数模n与n互质
得到M集合与X集合在模n下存在双射关系
因而有
费马小定理
中国剩余定理(CRT)
举个例子来理解证明过程
x≡2(mod3)
x≡3(mod5)
x≡2(mod7)
令x=a+b+c
根据同余的加法:
x%m1 =(a+b+c)%m1=(a%m1+b%m1+c%m1)%m1
从接下来的取法当中可以看出:取a时,b、c必满足是m1的倍数,则满足x的一个解就得到了
令
a≡2(mod3)
a≡0(mod5)
a≡0(mod7)
=> a=5*7p=35p(可以看到p取1的时候满足a≡2(mod3),即a=35)
b≡0(mod3)
b≡3(mod5)
b≡0(mod7)
=>b=21q (可以看到q取3的时候满足b≡3(mod5),即b=63)
c≡0(mod3)
c≡0(mod5)
c≡2(mod7)
=>c=15m(可以看到m取2的时候满足c≡2(mod7),即c=30)
得到一个满足所有等式的x
x≡2(mod3)≡a+b+c
x≡3(mod5)≡a+b+c
x≡2(mod7)≡a+b+c
我们要得到通解,就要利用同余的乘法
令2 a’≡2(mod3),3 b’≡3(mod5),2*c’≡2(mod7)
重复上述过程
a′≡1(mod3)
a′≡0(mod5)
a′≡0(mod7)
=>a′=35p(可以看到p取2的时候满足a′≡1(mod3),即a′=70)
b′≡0(mod3)
b′≡1(mod5)
b′≡0(mod7)
=>b′=21q(可以看到q取1的时候满足b′≡1(mod5),即b′=21)
c′≡0(mod3)
c′≡0(mod5)
c′≡1(mod7)
=>c′=15m(可以看到m取1的时候满足c′≡1(mod7),即c′=15)
有了a′b′c′之后就可以得到 x=2a′+3b′+2∗c′
代入a′b′c′之后就可以得到x的一个解及其通解
x=233+105t
以上面过程求通解的过程来证明
威尔逊定理
设p是一个正整数,那么p是素数的充要条件是
(p-1)!=-1(mod p)
证明如下:
首先证明必要性
若p是素数,那么(p-1)!=-1(mod p)
因为p-1=-1(mod p)
所以只需证明2,3,…p-2的总乘积模p等于1
由于p是奇素数,所以p-2是奇数,从2到p-2共有偶数个数
我们需要用到以下两个证明工具
对于素数 p,模 p 的缩系就是 {1,2,3,…,p−1}。(因为所有小于 pp 的正整数都与 pp 互质)。
对于缩系中的任意一个元素 a,存在唯一的 a‘,使得 a⋅a’≡1(modp)且 a’ 也在缩系中。
这下我们可以知道2,3,…p-2构成一个缩系,且其中两两配对能是对方在模p下的逆元。
必要性证明成立
然后来证明充分性
使用反证法,假设p是不是一个素数
当p=1是(1−1)!=0!=1,而 1≡0(mod1),并不等于 −1≡0(mod 1)
当p是合数,有p的最小素因子q,满足2<=q<=p-1,
则q必定是1,2,…p-1中的某数,即p|(p-1)!
根据已知条件(p-1)!=-1(mod p),p|(p-1)!+1,矛盾
假设不成立,充分性成立
参考Van1sh师傅的博客https://jayxv.github.io