欧拉降幂公式的证明

欧拉降幂公式与证明

转载自D-Tesla

欧拉降幂公式

$$A^K\equiv A^{K \%\phi(m) +\phi(m)}(\ mod\ m)\qquad \; K > \phi(m)$$

证明

今天在牛客多校的群里看一个数学大佬写的证明，不过是拍照，我决定动手自己写一下

$$A^K\equiv A^{K \%\phi(m) +\phi(m)}(\ mod\ m)\qquad \ K > \phi(m)\quad(1)$$

证明如下
1 若 $(A,m) = 1$，根据欧拉定理 $A^{\phi(m)} \equiv 1 ( mod\ m)$,即可轻易得证
2 若 $(A,m) \not = 1$,证明如下
设 $K = a*\phi(m) + c$ $a \ge 1, 0\le c < \phi(m)$
那么欧拉降幂公式就是

$$A^K \equiv A^{ a*\phi(m) + c} \equiv A^{\phi(m)+c}(\ mod\ m)\quad{(2)}$$
即 证 $$A^{a*\phi(m)} \equiv A^{\phi(m)}( mod\ m)$$
即 证 $$A^{2*\phi(m)} \equiv A^{\phi(m)}( mod\ m)$$
移项 $$A^{\phi(m)}(A^{\phi(m)}-1) \equiv 0 ( mod\ m)$$
即证 $$m | A^{\phi(m)}(A^{\phi(m)}-1) \quad {(3)}$$

若有

$$(\frac{m}{(m,A^{\phi(m)})} , A)= 1 \quad{(4)}$$
根据欧拉定理
$$A^{\phi(m)} \equiv A^{k*\phi(\frac{m}{ {(m,A^{\phi(m)})}})}\equiv {(A^{\phi(\frac{m}{ {(m,A^{\phi(m)})}})})}^k \equiv 1 ( mod\ (\frac{m}{(m,A^{\phi(m)})})$$ 其中 $k \ge 1$

移项即得 $\frac{m}{(m,A^{\phi(m)})}| (A^{\phi(m) }- 1)$
同时乘 ${(m,A^{\phi(m)})}$
即 $m | {(m,A^{\phi(m)})}*(A^{\phi(m)}-1)$
即 $m | A^{\phi(m)}(A^{\phi(m)}-1)$
就是 式 3

所以证明 式子 4

$$(\frac{m}{(m,A^{\phi(m)})} , A)= 1$$ 就好了

进行素因子分解

$$A = p^{a_1}_1*p^{a_2}_2*....*p^{a_{t1}}_{t1} * q^{b_1}_1* q^{b_2}_2*...* q^{b_{t2}}_{t2}$$
$$m = p^{c_1}_1*p^{c_2}_2*....*p^{c_{t1}}_{t1} * r^{d_1}_1* r^{d_2}_2*...* r^{d_{t3}}_{t3}$$
$$(A,m) = p^{min(a_1,c_1)}_1*p^{min(a_2,c_2)}_2*....*p^{{min(a_{t1},c_{t1})}}_{t1}$$
$$(A^{\phi(m)},m) = p^{min(a_1*\phi(m),c_1)}_1*p^{min(a_2*\phi(m),c_2)}_2*....*p^{{min(a_{t1}*\phi(m),c_{t1})}}_{t1}$$
欧拉函数 $\phi(m) = p_1^{c_1-1}*p_2^{c_2-1}*....*p_{t1}^{c_{t1}-1}(p_1-1)*(p_2-1)*....* (p_{t1}-1)$

$a_i*\phi(m)\ge a_i*p_i^{c_i-1}*(p_i-1) \ge p_i^{c_i-1}*(p_i-1)\ge p_i^{c_i-1}$

证明

$$p_i^{c_i-1} \ge c_i \quad{(6)}$$

若 $c_i = 1$ ,成立

令 $f(x) = \frac{ln(x)}{x-1}$
在 $[3,\infty]$ 单调减\
又有

$$f(2) = ln2 < 2 \le p_i$$
$$f(3) = ln3/2 < 2\le p_i$$
于是有 式子6 成立
于是有 $$(A^{\phi(m)},m) = p^{min(a_1*\phi(m),c_1)}_1*p^{min(a_2*\phi(m),c_2)}_2*....*p^{{min(a_{t1}*\phi(m),c_{t1})}}_{t1} = p^{c_1}_1*p^{c_2}_2*....*p^{c_{t1}}_{t1}$$
$$\frac{m}{(A^{\phi(m)},m)} = q^{b_1}_1* q^{b_2}_2*...* q^{b_{t2}}_{t2}$$
式子 4 $$(\frac{m}{(m,A^{\phi(m)})} , A)= 1$$
得证
式子 3 $$m | A^{\phi(m)}(A^{\phi(m)}-1) \quad{(3)}$$
得证
式子 2 $$A^K \equiv A^{ a*\phi(m) + c} \equiv A^{\phi(m)+c}(\ mod\ m)\quad{(2)}$$
得证
欧拉降幂公式得证
$$A^K\equiv A^{K \%\phi(m) +\phi(m)}(\ mod\ m)\qquad \; K > \phi(m) {(1)}$$

---