1. 定理表述
设 是大于 的正整数。如果整数 与 互素(即 ),则: 其中 是 欧拉函数,表示小于等于 且与 互素的正整数个数。
2. 证明思路
利用 简化剩余系 (RRS) 的性质进行证明:
- 设 是模 的一个简化剩余系。
- 因为 ,所以 也是模 的一个简化剩余系(只是顺序不同)。
- 将两个集合中的所有元素分别相乘,结果在模 下同余:
- 提取 :
- 由于 与 互素,它们的乘积也与 互素,根据消去律消去乘积项,即得证。
3. 重要推论
3.1 费马小定理
当模数 为素数 时,。此时欧拉定理退化为: 这是欧拉定理的特例。
3.2 模逆元的计算
如果 ,则 的模 逆元为: 这提供了一种不使用扩展欧几里得算法求逆元的方法(虽然通常效率较低,除非已知 )。
4. 核心应用:RSA 算法
RSA 公钥密码体制的解密过程正确性直接依赖于欧拉定理。
- 密钥满足:,即 。
- 解密验证: (注:上述推导在 时直接成立;不互素时需额外证明,但结论依然成立)。
计算示例
计算 。
- 模数 ,。
- 底数 ,,满足条件。
- 由欧拉定理:。
- 指数 。
- 。