前置工作
在分析这两个定理之前,先引入几个重要的定义和定理:
d
e
f
i
n
i
t
i
o
n
:
所
有
对
自
然
数
m
同
余
的
自
然
数
组
成
的
集
合
称
m
的
完全剩余类
.
所
有
对
自
然
数
m
同
余
的
且
余
数
和
m
互
质
的
自
然
数
组
成
的
集
合
称
m
的
简化剩余类
.
在
每
个
完全剩余类
中
任
取
一
个
,
组
成
的
集
合
称
m
的
完全剩余系
.
在
每
个
简化剩余类
中
任
取
一
个
,
组
成
的
集
合
称
m
的
简化剩余系
.
{definition:}\\ 所有对自然数m同余的自然数组成的集合称m的 \textbf{ \textit{完全剩余类}}.\\ 所有对自然数m同余的且余数和m互质的自然数组成的集合称m的 \textbf{ \textit{简化剩余类}}.\\ 在每个\textbf{完全剩余类}中任取一个,组成的集合称m的 \textbf{ \textit{完全剩余系}}.\\ 在每个\textbf{简化剩余类}中任取一个,组成的集合称m的 \textbf{ \textit{简化剩余系}}.\\
definition:所有对自然数m同余的自然数组成的集合称m的 完全剩余类.所有对自然数m同余的且余数和m互质的自然数组成的集合称m的 简化剩余类.在每个完全剩余类中任取一个,组成的集合称m的 完全剩余系.在每个简化剩余类中任取一个,组成的集合称m的 简化剩余系.
φ
(
m
)
指
简
化
剩
余
系
的
元
素
数
.
换
句
话
说
,
就
是
(
0
,
m
)
中
和
m
互
质
的
整
数
的
数
量
.
\varphi(m)指简化剩余系的元素数.换句话说,就是(0,m)中和m互质的整数的数量.\\
φ(m)指简化剩余系的元素数.换句话说,就是(0,m)中和m互质的整数的数量.
将m的某剩余类a划分为mn的剩余类的和:
该类可表示为
a
+
m
k
,
k
∈
z
a+mk,k\in\mathbb{z}
a+mk,k∈z.又全体整数可对n分为0,1,…n-1,则对k分解,有
{
a
+
m
k
}
=
{
a
+
t
m
n
}
∪
{
a
+
(
t
+
1
)
m
n
}
∪
.
.
.
∪
{
a
+
(
t
+
n
−
1
)
m
n
}
\{a+mk\}=\{a+tmn\}\cup\{a+(t+1)mn\}\cup...\cup\{a+(t+n-1)mn\}
{a+mk}={a+tmn}∪{a+(t+1)mn}∪...∪{a+(t+n−1)mn}
这就是对m的某个剩余类对
m
n
˙
m\dot n
mn˙的进一步分划.重点在于对a所在剩余类的描述是
a
+
k
m
a+km
a+km而不是常规的
k
m
+
b
km+b
km+b(好像也没差)
注意是对k分解.
关于同余的一些重要性质:
t
h
e
o
r
e
m
:
i
f
a
≡
b
(
m
o
d
m
)
a
+
c
≡
b
+
c
(
m
o
d
m
)
{theorem:}\\ if\ a\equiv b \pmod m \\ a+c\equiv b +c \pmod m\\
theorem:if a≡b(modm)a+c≡b+c(modm)
同余的两数可以同乘
i
f
a
≡
b
(
m
o
d
m
)
k
a
≡
k
b
(
m
o
d
m
)
if\ a\equiv b \pmod m \\ ka\equiv kb \pmod m
if a≡b(modm)ka≡kb(modm)
可以同除一个对m互质的数
i
f
a
k
≡
b
k
(
m
o
d
m
)
且
(
k
,
m
)
=
1
则
a
≡
b
(
m
o
d
m
)
if\ ak\equiv bk \pmod m \\ 且(k,m)=1\\ 则\ a\equiv b \pmod m \\
if ak≡bk(modm)且(k,m)=1则 a≡b(modm)
同余的两数可以同乘.如果是正整数,可以带上m一起乘.
而且反之亦然.
i
f
a
≡
b
(
m
o
d
m
)
k
a
≡
k
b
(
m
o
d
k
m
)
if\ a\equiv b \pmod m \\ ka\equiv kb \pmod {km}
if a≡b(modm)ka≡kb(modkm)
整系数的多项式组合也满足该关系.
i
f
a
≡
b
(
m
o
d
m
)
f
(
a
)
≡
f
(
b
)
(
m
o
d
m
)
if\ a\equiv b \pmod m \\ f(a)\equiv f(b)\pmod m\\
if a≡b(modm)f(a)≡f(b)(modm)
最后一条也是一个推论.
//To do:过段时间再整理这一部分.
接下来是剩余系的遍历定理:
- if a,m互质,则当x遍历m的一个完全剩余系的同时ax+b遍历m的一个完全剩余系
- if a,m互质,则当x遍历m的一个简化剩余系的同时ax遍历m的一个简化剩余系
- if (m,n)=1,当x遍历n的完全剩余系,y遍历m的完全剩余系,mx+ny遍历mn的完全剩余系.
- 简化剩余系亦同.
下面做一点分析.
- 对于一个完全剩余系 { r 1 , r 1 . . . r m } \{ r_1,r_1...r_m \} {r1,r1...rm},里面的元素互不相等也不同余…
- 因为a,m互质, a r i + b ≡ ̸ a r j + b ( m o d m ) ar_i+b\ \equiv\not ar_j+b\pmod m ari+b ≢arj+b(modm)[这个地方要好好想一想].x遍历 { r 1 , r 1 . . . r m } \{ r_1,r_1...r_m \} {r1,r1...rm}时,ax+b分属m个不同的剩余类,形成一个完全剩余系.
- 进一步的, g c d ( a , m ) = 1 → g c d ( a r i , m ) = 1 gcd(a,m)=1\rightarrow gcd(ar_i,m)=1 gcd(a,m)=1→gcd(ari,m)=1所以x遍历简化剩余系的时候ax也分属每个简化剩余类,形成简化剩余系.
欧拉定理
T
h
e
o
r
e
m
:
i
f
g
c
d
(
a
,
m
)
=
1
→
a
φ
(
m
)
≡
1
(
m
o
d
m
)
{Theorem:}\\ if gcd(a,m)=1\rightarrow a^{\varphi (m)}\equiv 1 \pmod m
Theorem:ifgcd(a,m)=1→aφ(m)≡1(modm)
下面是解释.
r
1
,
r
2
,
.
.
.
,
r
φ
(
m
)
是
m
的
简
化
剩
余
系
,
则
a
r
i
组
成
一
个
新
的
简
化
剩
余
系
a
r
1
⋅
a
r
2
⋅
.
.
.
⋅
a
r
φ
(
m
)
=
a
φ
(
m
)
⋅
r
1
⋅
r
2
⋅
.
.
.
r
φ
(
m
)
r
1
⋅
r
2
⋅
.
.
.
.
⋅
r
φ
(
m
)
≡
a
φ
(
m
)
⋅
r
1
⋅
r
2
⋅
.
.
.
r
φ
(
m
)
(
m
o
d
m
)
又
∀
r
i
,
没
有
任
何
一
个
和
m
相
同
的
质
数
分
解
方
案
(
1
不
算
)
(
否
则
就
不
叫
互
质
了
)
,
所
以
r
1
⋅
r
2
⋅
.
.
.
.
⋅
r
φ
(
m
)
与
m
互
质
.
应
用
之
前
提
到
的
同
余
的
性
质
,
两
边
同
除
r
1
⋅
r
2
⋅
.
.
.
.
⋅
r
φ
(
m
)
,
得
欧
拉
定
理
a
φ
(
m
)
≡
1
(
m
o
d
m
)
.
r_1,r_2,...,r_{\varphi(m)}是m的简化剩余系,\\ 则\\ ar_i 组成一个新的简化剩余系\\ ar_1\cdot ar_2 \cdot ...\cdot ar_{\varphi(m)}=a^{\varphi(m)}\cdot r_1\cdot r_2\cdot ... r_{\varphi(m)}\\ r_1\cdot r_2\cdot ....\cdot r_{\varphi(m)}\equiv a^{\varphi(m)}\cdot r_1\cdot r_2\cdot ... r_{\varphi(m)}\pmod m\\ 又\forall r_i,没有任何一个和m相同的质数分解方案(1不算)(否则就不叫互质了),所以\\ r_1\cdot r_2\cdot ....\cdot r_{\varphi(m)}与m互质.\\ 应用之前提到的同余的性质,两边同除 r_1\cdot r_2\cdot ....\cdot r_{\varphi(m)},\\ 得欧拉定理a^{\varphi(m)}\equiv1\pmod m.\\
r1,r2,...,rφ(m)是m的简化剩余系,则ari组成一个新的简化剩余系ar1⋅ar2⋅...⋅arφ(m)=aφ(m)⋅r1⋅r2⋅...rφ(m)r1⋅r2⋅....⋅rφ(m)≡aφ(m)⋅r1⋅r2⋅...rφ(m)(modm)又∀ri,没有任何一个和m相同的质数分解方案(1不算)(否则就不叫互质了),所以r1⋅r2⋅....⋅rφ(m)与m互质.应用之前提到的同余的性质,两边同除r1⋅r2⋅....⋅rφ(m),得欧拉定理aφ(m)≡1(modm).
欧拉定理的关键就是简化剩余系的ax遍历性质,以及同余式两边的消去.这里再次强调:
- 如果同除的系数互质于m,则可以只用除两个同余数;
- 如果不确定是否互质,则应该三个参数一起除.
如果是扩增:
- 可以三个同乘;
- 也可以不加限制的两个同乘(至少得是整数),而同除就不行
- 也可以整数项多项式同时套用在两个同余数上而m不动.
费马小定理
T
h
e
o
r
e
m
:
i
f
p
为
素
数
,
∀
a
∈
z
,
a
p
≡
a
(
m
o
d
p
)
{Theorem:}\\ if\ p为素数,\forall a\in\mathbb{z},\ a^p\equiv a\pmod p
Theorem:if p为素数,∀a∈z, ap≡a(modp)
下面做一点解释.
- i f g c d ( a , p ) = 1 , 由 欧 拉 定 理 , a p − 1 ≡ 1 ( m o d p ) 因 为 素 数 p 的 简 化 剩 余 系 数 量 为 p − 1 if\ gcd(a,p)=1,\\ 由欧拉定理,a^{p-1}\equiv 1\pmod p\\ 因为素数p的简化剩余系数量为p-1 if gcd(a,p)=1,由欧拉定理,ap−1≡1(modp)因为素数p的简化剩余系数量为p−1
- i f g c d ( a , p ) = ̸ 1 , p ∣ a . a ≡ 0 ( m o d p ) 则 a p ≡ a ≡ 0 ( m o d p ) 因 为 都 是 p 的 整 数 倍 if\ gcd(a,p)=\not 1,p|a.\\ a\equiv 0 \pmod p\\ 则 a^p\equiv a\equiv 0\pmod p\\ 因为都是p的整数倍 if gcd(a,p)≠1,p∣a.a≡0(modp)则ap≡a≡0(modp)因为都是p的整数倍
这就很清楚了.
下一篇尝试写写这两个定理的应用解题,以及在一些地方的应用.下下篇或许是一个tool:模重复平方法,用于在大数环境下求 a e ( m o d m ) a^e\pmod m ae(modm)的.