欧拉定理
概述
欧拉定理(Euler’s Theorem):若 和 互素(即 ),则 ,其中 是欧拉函数,表示不超过 且与 互素的正整数个数。
定理陈述
形式化陈述
欧拉定理:设 为正整数, 为整数。若 ,则:
其中 是欧拉函数(Euler’s totient function),定义为:
特例——费马小定理:当 为素数时,,欧拉定理退化为:
前置知识:欧拉函数
欧拉函数的性质
- 若 为素数,
- 若 为素数,
- 乘性函数:若 ,则
- 对 (素因数分解):
证明概要
证明思路(群论方法)
欧拉定理的证明利用了模 剩余类乘法群的代数结构,这是数论与群论的经典交汇点。
步骤1:构造模 的简化剩余系
定义模 的简化剩余系(reduced residue system):
即所有与 互素的模 剩余类构成的集合。 中恰好有 个元素。
步骤2:验证 构成乘法群
- 封闭性:若 且 ,则
- 结合律:整数乘法满足结合律,自然传递到剩余类乘法
- 单位元: 是单位元
- 逆元存在:若 ,由贝祖定理,存在 使得 ,即
因此 是一个阶为 的有限群。
步骤3:应用拉格朗日定理
由群论中的拉格朗日定理(Lagrange’s Theorem):有限群中任意元素的阶整除群的阶。
- 元素 在群 中的阶是满足 的最小正整数
- 由拉格朗日定理,
- 因此 (某正整数 )
步骤4:等价证明(不依赖群论)
也可以用更初等的方式证明:
- 设 是模 的简化剩余系
- 由于 , 也是模 的简化剩余系(互不相同且都与 互素)
- 因此
- 由于 ,两边消去 ,得
参考资源:
关键推论
- 费马小定理:欧拉定理在 (素数)时的特例
- 模逆元的计算:,当
- RSA密码系统的基础:欧拉定理是RSA加密/解密正确性的数学基石
- 阶的性质: 模 的阶(满足 的最小正整数 )整除
应用场景
在算法导论(CLRS)Ch31数论算法中的具体应用:
- RSA密码系统:欧拉定理直接保证了RSA解密的正确性——加密后再解密能恢复原始消息
- 大数模幂运算:利用 化简大指数运算,如计算 时可先对指数取模
- 模运算:欧拉定理是模运算理论的核心结果之一,连接了数论与代数结构
- 原根:原根的存在性与欧拉函数密切相关—— 是模 的原根当且仅当 的阶为