欧拉定理

概述

欧拉定理(Euler’s Theorem):若 互素(即 ),则 ,其中 是欧拉函数,表示不超过 且与 互素的正整数个数。

定理陈述

形式化陈述

欧拉定理:设 为正整数, 为整数。若 ,则:

其中 欧拉函数(Euler’s totient function),定义为:

特例——费马小定理:当 为素数时,,欧拉定理退化为:

前置知识:欧拉函数

欧拉函数的性质

  • 为素数,
  • 为素数,
  • 乘性函数:若 ,则
  • (素因数分解):

证明概要

证明思路(群论方法)

欧拉定理的证明利用了模 剩余类乘法群的代数结构,这是数论与群论的经典交汇点。

步骤1:构造模 的简化剩余系

定义 的简化剩余系(reduced residue system):

即所有与 互素的模 剩余类构成的集合。 中恰好有 个元素。

步骤2:验证 构成乘法群

  • 封闭性:若 ,则
  • 结合律:整数乘法满足结合律,自然传递到剩余类乘法
  • 单位元 是单位元
  • 逆元存在:若 ,由贝祖定理,存在 使得 ,即

因此 是一个阶为 的有限群。

步骤3:应用拉格朗日定理

由群论中的拉格朗日定理(Lagrange’s Theorem):有限群中任意元素的阶整除群的阶。

  • 元素 在群 中的阶是满足 的最小正整数
  • 由拉格朗日定理,
  • 因此 (某正整数

步骤4:等价证明(不依赖群论)

也可以用更初等的方式证明:

  1. 是模 的简化剩余系
  2. 由于 也是模 的简化剩余系(互不相同且都与 互素)
  3. 因此
  4. 由于 ,两边消去 ,得

参考资源

关键推论

  • 费马小定理:欧拉定理在 (素数)时的特例
  • 模逆元的计算,当
  • RSA密码系统的基础:欧拉定理是RSA加密/解密正确性的数学基石
  • 阶的性质 的阶(满足 的最小正整数 )整除

应用场景

在算法导论(CLRS)Ch31数论算法中的具体应用:

  1. RSA密码系统:欧拉定理直接保证了RSA解密的正确性——加密后再解密能恢复原始消息
  2. 大数模幂运算:利用 化简大指数运算,如计算 时可先对指数取模
  3. 模运算:欧拉定理是模运算理论的核心结果之一,连接了数论与代数结构
  4. 原根:原根的存在性与欧拉函数密切相关—— 是模 的原根当且仅当 的阶为

参见