1. 定理表述

是大于 的正整数。如果整数 互素(即 ),则: 其中 欧拉函数,表示小于等于 且与 互素的正整数个数。

2. 证明思路

利用 简化剩余系 (RRS) 的性质进行证明:

  1. 是模 的一个简化剩余系。
  2. 因为 ,所以 也是模 的一个简化剩余系(只是顺序不同)。
  3. 将两个集合中的所有元素分别相乘,结果在模 下同余:
  4. 提取
  5. 由于 互素,它们的乘积也与 互素,根据消去律消去乘积项,即得证。

3. 重要推论

3.1 费马小定理

当模数 为素数 时,。此时欧拉定理退化为: 这是欧拉定理的特例。

3.2 模逆元的计算

如果 ,则 的模 逆元为: 这提供了一种不使用扩展欧几里得算法求逆元的方法(虽然通常效率较低,除非已知 )。

4. 核心应用:RSA 算法

RSA 公钥密码体制的解密过程正确性直接依赖于欧拉定理。

  • 密钥满足:,即
  • 解密验证: (注:上述推导在 时直接成立;不互素时需额外证明,但结论依然成立)

计算示例

计算

  1. 模数
  2. 底数 ,满足条件。
  3. 由欧拉定理:
  4. 指数