欧拉定理推导

前言：仅个人小记。欧拉公式将会应用在RSA公钥密钥中，这里只给出关于欧拉定理的推导。这个证明方法中借助集合论以及互质的数，比较好的展现出如何把欧拉函数与该定理联系起来，进而可以和群论中阶这个概念产生紧密联系，也就是欧拉公式和群论中产生紧密联系。

欧拉公式

核心公式：$$a^{\phi (m)}\%m\equiv 1,其中a\perp m,\phi (\cdot )是欧拉函数$$公式图片展示如下，

前提知识

(1) 欧拉函数 $\phi (m)$ 是用来衡量m以内且与m互质的数的个数。$\phi (m)$的计算公式为$$\phi (m)=m(1-\frac{1}{p_1})(1-\frac{1}{p_2})...(1-\frac{1}{p_k})$$其中 $p_1,p_2,..p_k$ 是 m 的质因数分解结果序列(e.g. 24 = 2 x 2 x 2 x 3, 则质因数分解结果序列为{2, 2, 2, 3})
(2) $a\perp c$, $b\perp c$，则 $ab\perp c$,参看 https://blog.csdn.net/qq_25847123/article/details/95785264 或 https://blog.csdn.net/qq_25847123/article/details/95765764
(3) 若 $a\perp c$ 且 ab % c = 0, 则必然有 b % c = 0. 参看 https://blog.csdn.net/qq_25847123/article/details/95785264
(4) 欧几里得算法中 $gcd(a,b)=gcd(b,a\%b)$， 参看 https://blog.csdn.net/qq_25847123/article/details/95753295
(5) ab%c = [(a%c)(b%c)]%c

引理准备

(1) m 以内的且与 m互质的数共有 $\phi (m)$ 个，将它们记为$$x_1,x_2,...,x_{\phi (m)}$$注意到 $x_i$ 具有的性质包括 1. $x_i\perp m$ ; 2. $x_i=/x_j$
(2) 令 $p_i=a{x}_i$，$r_i=p_i\%m$
(3) 证明： 当 $i\ne j$ 时，恒有

1. $r_i=/r_j$
   使用反证法证明如下，
   假设$r_i=r_j$，表示$p_i和p_j$模m同余，即必然有$$(p_i-p_j)\%m=0（可以默认p_i>p_j）$$
   即$$a(x_i-x_j)\%m=0$$此时，根据 前提知识(3) 可知，因为 $a\perp m$，所以必然有 $(x_i-x_j)\%m=0$，又因为$0<x_i-x_j<m$，所以不可能出现$(x_i-x_j)\%m=0$，故而矛盾，进而假设不成立，进而必然 $r_i=/r_j$，证毕！
2. $r_i\perp m$
   借助 前提知识 (2) 和 (4)。因为$x_i\perp m,p_i=a{x}_i$，所以必然有$p_i\perp m$，这就意味着$$gcd(p_i,m)=1$$而根据欧几里得算法知$$gcd(m,r_i)=gcd(m,p_i\%m)=gcd(p_i,m)=1$$所以$m\perp r_i$.证毕！

进一步分析发现，$x_i$是 m 以内且与 m 互质的数，而$r_i$也是 m 以内且与 m 互质的数。$p_i,x_i,r_i$三者关系如下图，

欧拉公式证明

因为集合R = 集合X，所以必然有$$\Pi r_i=\Pi x_i$$进一步，$$\Pi (p_i\%m)=\Pi x_i$$进一步，$$(\Pi (p_i\%m))\%m=\Pi x_i$$根据前提知识(5)，进一步有$$(\Pi p_i)\%m=(\Pi x_i)\%m$$进一步，$$(a^{\phi (m)}\Pi x_i)\%m=(\Pi x_i)\%m$$进一步有，

$$(\Pi x_i(a^{\phi (m)}-1))\%m=0$$因为$x_i\perp m$，根据前提知识（2），则$\Pi x_i\perp m$，再根据前提知识（3），则有
$$(a^{\phi (m)}-1)\%m=0$$即$$a^{\phi (m)}\%m=1$$
证毕！

邮箱： officeforcsdn@163.com