点个关注吧,谢谢!
后续将继续更新数论
一、定义
同余的概念很简单:给定三个整数
a
,
b
,
n
a,b,n
a,b,n,如果
n
∣
(
a
−
b
)
n|(a-b)
n∣(a−b),那么
a
a
a模
n
n
n同余
b
b
b。记作
a
=
b
(
m
o
d
n
)
a=b~(mod n)
a=b (modn)。
注意这里并没有限制
a
,
b
,
n
a,b,n
a,b,n数值的大小关系。
示例:
29
=
1
(
m
o
d
7
)
;
5
=
14
(
m
o
d
9
)
29=1(mod7); 5=14(mod9)
29=1(mod7);5=14(mod9)
二、性质
1.自反性:
a
=
a
(
m
o
d
n
)
a=a(mod~n)
a=a(mod n)
2.对称性:
a
=
b
(
m
o
d
n
)
→
b
=
a
(
m
o
d
n
)
a=b(mod~n)\rightarrow b=a(mod~n)
a=b(mod n)→b=a(mod n)
3.传递性:
a
=
b
(
m
o
d
n
)
,
b
=
c
(
m
o
d
n
)
→
a
=
c
(
m
o
d
n
)
a=b(mod~n),b=c(mod~n)\rightarrow a=c(mod~n)
a=b(mod n),b=c(mod n)→a=c(mod n)
证明:这三点全部用概念证明就行
1.
n
∣
(
a
−
a
)
=
0
n|(a-a)=0
n∣(a−a)=0,即
0
=
0
∗
n
0=0*n
0=0∗n
2.
n
∣
(
a
−
b
)
→
a
−
b
=
k
n
→
b
−
a
=
−
k
n
→
n
∣
(
−
k
n
)
=
(
b
−
a
)
n|(a-b)\rightarrow a-b=kn \rightarrow b-a=-kn \rightarrow n|(-kn)=(b-a)
n∣(a−b)→a−b=kn→b−a=−kn→n∣(−kn)=(b−a)
3.
a
−
b
=
r
n
,
b
−
c
=
k
n
→
a
−
c
=
(
r
+
k
)
n
→
n
∣
(
a
−
c
)
a-b=rn,b-c=kn\rightarrow a-c=(r+k)n\rightarrow n|(a-c)
a−b=rn,b−c=kn→a−c=(r+k)n→n∣(a−c)
4.
a
d
=
b
d
(
m
o
d
n
)
,
g
c
d
(
d
,
n
)
=
1
ad=bd(mod~n),gcd(d,n)=1
ad=bd(mod n),gcd(d,n)=1,那么
a
=
b
(
m
o
d
n
)
a=b(mod~n)
a=b(mod n)
证:
n
∣
(
a
−
b
)
d
n|(a-b)d
n∣(a−b)d,因
g
c
d
(
d
,
n
)
=
1
gcd(d,n)=1
gcd(d,n)=1,所以
n
∣
a
−
b
n|a-b
n∣a−b
(里面的一步已经证过了,这里再写一遍:
n
∣
a
b
,
g
c
d
(
a
,
n
)
=
1
n|ab,gcd(a,n)=1
n∣ab,gcd(a,n)=1,那么
n
∣
b
n|b
n∣b。证:
a
x
+
n
y
=
1
ax+ny=1
ax+ny=1两边乘以
b
b
b,
a
b
x
+
b
n
y
=
b
abx+bny=b
abx+bny=b,所以
n
∣
b
n|b
n∣b)
5.
a
=
b
(
m
o
d
n
1
)
,
a
=
b
(
m
o
d
n
2
)
a=b(mod~n_1),a=b(mod~n_2)
a=b(mod n1),a=b(mod n2),那么
a
=
b
(
m
o
d
l
c
m
(
n
1
,
n
2
)
)
a=b(mod~lcm(n_1,n_2))
a=b(mod lcm(n1,n2))
证:
n
1
∣
(
a
−
b
)
,
n
2
∣
(
a
−
b
)
n_1|(a-b),n_2|(a-b)
n1∣(a−b),n2∣(a−b),令
t
=
a
−
b
t=a-b
t=a−b。设
t
=
q
l
c
m
(
n
1
,
n
2
)
+
r
t=qlcm(n_1,n_2)+r
t=qlcm(n1,n2)+r,则
r
=
t
−
q
l
c
m
(
n
1
,
n
2
)
r=t-qlcm(n_1,n_2)
r=t−qlcm(n1,n2).因
n
1
∣
t
,
n
2
∣
t
,
n
1
∣
l
c
m
(
n
1
,
n
2
)
,
n
2
∣
l
c
m
(
n
1
,
n
2
)
n_1|t,n_2|t,n_1|lcm(n_1,n_2),n_2|lcm(n_1,n_2)
n1∣t,n2∣t,n1∣lcm(n1,n2),n2∣lcm(n1,n2),由整除知
n
1
∣
r
,
n
2
∣
r
n_1|r,n_2|r
n1∣r,n2∣r。
r r r同样也是 n 1 , n 2 n_1,n_2 n1,n2公倍数,而 r r r是余数,满足 0 ≤ r < l c m ( n 1 , n 2 ) 0\le r<lcm(n_1,n_2) 0≤r<lcm(n1,n2),所以 r = 0 r=0 r=0,所以 l c m ( n 1 , n 2 ) ∣ a − b lcm(n_1,n_2)|a-b lcm(n1,n2)∣a−b
性质5可扩展到多个模数 n 1 , . . n t n_1,..n_t n1,..nt同样成立。