结论
∀ a , c , m ∈ Z + , { a c ≡ a c m o d ϕ ( m ) m o d m , gcd ( a , m ) = 1 a c ≡ a c m o d m , gcd ( a , m ) ≠ 1 ∧ c < ϕ ( m ) a c ≡ a c m o d ϕ ( m ) + ϕ ( m ) m o d m , gcd ( a , m ) ≠ 1 ∧ c ≥ ϕ ( m ) \forall a,c,m\in Z^+, \begin{cases} a^c\equiv a^{c\bmod \phi(m)}\bmod m,\gcd(a,m)=1 \\ a^c\equiv a^c\bmod m,\gcd(a,m)\neq 1\land c<\phi(m) \\ a^c\equiv a^{c\mod \phi(m)+\phi(m)}\bmod m ,\gcd(a,m)\neq 1\land c\geq \phi(m) \end{cases} ∀a,c,m∈Z+,⎩⎪⎨⎪⎧ac≡acmodϕ(m)modm,gcd(a,m)=1ac≡acmodm,gcd(a,m)=1∧c<ϕ(m)ac≡acmodϕ(m)+ϕ(m)modm,gcd(a,m)=1∧c≥ϕ(m)
证明
对于第一个,就是欧拉定理
对于第二个,没啥可说的,,,
下面简单证明一下第三个
设
c
=
b
+
ϕ
(
m
)
c=b+\phi(m)
c=b+ϕ(m)
设
m
=
s
⋅
p
r
,
gcd
(
s
,
p
)
=
1
m=s\cdot p^r,\gcd(s,p)=1
m=s⋅pr,gcd(s,p)=1
引理1:
ϕ
(
m
)
−
r
≥
0
\phi(m)-r\geq 0
ϕ(m)−r≥0
证明:
ϕ
(
m
)
=
ϕ
(
s
)
⋅
ϕ
(
p
r
)
=
ϕ
(
s
)
⋅
ϕ
(
p
)
⋅
p
r
−
1
=
ϕ
(
s
)
⋅
(
p
−
1
)
⋅
p
r
−
1
≥
p
r
−
1
≥
2
r
−
1
≥
r
∴
ϕ
(
m
)
−
r
≥
0
Q
.
E
.
D
.
\begin{aligned} \phi(m)&=\phi(s)\cdot\phi(p^r) \\ &=\phi(s)\cdot\phi(p)\cdot p^{r-1} \\ &=\phi(s)\cdot(p-1)\cdot p^{r-1} \\ &\geq p^{r-1}\geq 2^{r-1}\geq r \end{aligned} \\ \therefore \phi(m)-r\geq 0 \\ Q.E.D.
ϕ(m)=ϕ(s)⋅ϕ(pr)=ϕ(s)⋅ϕ(p)⋅pr−1=ϕ(s)⋅(p−1)⋅pr−1≥pr−1≥2r−1≥r∴ϕ(m)−r≥0Q.E.D.
引理2:
∀
质
数
p
,
p
c
≡
p
c
m
o
d
ϕ
(
m
)
+
ϕ
(
m
)
m
o
d
m
\forall 质数p,p^c\equiv p^{c\bmod \phi(m)+\phi(m)}\bmod m
∀质数p,pc≡pcmodϕ(m)+ϕ(m)modm
证明:
由
欧
拉
定
理
,
p
ϕ
(
s
)
≡
1
m
o
d
s
∵
ϕ
(
m
)
=
ϕ
(
s
)
ϕ
(
p
r
)
∴
p
ϕ
(
m
)
≡
1
m
o
d
s
∴
p
b
≡
p
b
m
o
d
ϕ
(
m
)
m
o
d
s
由
同
余
的
性
质
两
边
同
时
乘
上
p
r
,
p
b
+
r
≡
p
b
m
o
d
ϕ
(
m
)
+
r
m
o
d
m
(
变
了
)
由
引
理
1
,
两
遍
同
时
乘
上
p
ϕ
(
m
)
−
r
,
p
b
+
r
+
ϕ
(
m
)
−
r
≡
p
b
m
o
d
ϕ
(
m
)
+
r
+
ϕ
(
m
)
−
r
m
o
d
m
p
b
+
ϕ
(
m
)
≡
p
b
m
o
d
ϕ
(
m
)
+
ϕ
(
m
)
m
o
d
m
p
c
≡
p
[
b
+
ϕ
(
m
)
]
m
o
d
ϕ
(
m
)
+
ϕ
(
m
)
m
o
d
m
p
c
≡
p
c
m
o
d
ϕ
(
m
)
+
ϕ
(
m
)
m
o
d
m
Q
.
E
.
D
.
\begin{aligned} 由欧拉定理,p^{\phi(s)}&\equiv 1\ &\bmod s \\ \because \phi(m)&=\phi(s)\phi(p^r) \\ \therefore p^{\phi(m)}&\equiv1\ &\bmod s \\ \therefore p^b&\equiv p^{b\mod\phi(m)}\ &\bmod s \\ 由同余的性质两边同时乘上p^r,p^{b+r}&\equiv p^{b\mod\phi(m)+r}\ &\bmod m(变了) \\ 由引理1,两遍同时乘上p^{\phi(m)-r},p^{b+r+\phi(m)-r}&\equiv p^{b\bmod \phi(m)+r+\phi(m)-r}\ &\bmod m \\ p^{b+\phi(m)}&\equiv p^{b\bmod \phi(m)+\phi(m)}\ &\bmod m \\ p^c&\equiv p^{[b+\phi(m)]\bmod \phi(m)+\phi(m)}\ &\bmod m \\ p^c&\equiv p^{c\bmod\phi(m)+\phi(m)}\ &\bmod m \\ \end{aligned}\\ \qquad Q.E.D.
由欧拉定理,pϕ(s)∵ϕ(m)∴pϕ(m)∴pb由同余的性质两边同时乘上pr,pb+r由引理1,两遍同时乘上pϕ(m)−r,pb+r+ϕ(m)−rpb+ϕ(m)pcpc≡1 =ϕ(s)ϕ(pr)≡1 ≡pbmodϕ(m) ≡pbmodϕ(m)+r ≡pbmodϕ(m)+r+ϕ(m)−r ≡pbmodϕ(m)+ϕ(m) ≡p[b+ϕ(m)]modϕ(m)+ϕ(m) ≡pcmodϕ(m)+ϕ(m) modsmodsmodsmodm(变了)modmmodmmodmmodmQ.E.D.
由引理2
a
c
=
(
∏
p
i
k
i
)
c
≡
a
c
m
o
d
ϕ
(
m
)
+
ϕ
(
m
)
m
o
d
m
Q
.
E
.
D
.
\begin{aligned} a^c&=(\small {\prod} p_i^{k_i})^c \\ &\equiv a^{c\bmod\phi(m)+\phi(m)}\ \bmod m \end{aligned} \\ Q.E.D.
ac=(∏piki)c≡acmodϕ(m)+ϕ(m) modmQ.E.D.
然后,就没了