欧拉定理 (数论)

欧拉定理 (数论)[编辑]

维基百科,自由的百科全书

数论中,欧拉定理(也称费马-欧拉定理欧拉{\varphi}函数定理)是一个关于同余的性质。欧拉定理表明,若n,a为正整数,且n,a互素(即\gcd(a,n)=1),则

a^{\varphi(n)} \equiv 1 \pmod n

a^{\varphi(n)}与1在模n下同余φ(n)为欧拉函数。欧拉定理得名于瑞士数学家莱昂哈德·欧拉

欧拉定理实际上是费马小定理的推广。

目录

   [隐藏

例子[编辑]

首先看一个基本的例子。令a = 3n = 5,这两个数是互素的。比5小的正整数中与5互素的数有1、2、3和4,所以\varphi(5)=4(详情见欧拉函数)。计算:a^{\varphi(n)} = 3^4 = 81,而81 \equiv 80 + 1 \equiv 1 \pmod{5} 。与定理结果相符。

这个定理可以用来简化幂的模运算。比如计算7^{222}的个位数,实际是求7^{222}被10除的余数。7和10互素,且\varphi(10)=4。由欧拉定理知7^4\equiv 1\pmod {10}。所以7^{222}= 7^{4\cdot 55+2}= (7^4)^{55}\cdot 7^2\equiv 1^{55}\cdot 7^2\equiv 49\equiv 9\pmod{10}

一般地,在简化幂的模运算的时候,(当an互素) 我们要对a的指数取模\varphi(n)

x\equiv y \pmod {\varphi(n)},则a^x \equiv a^y \pmod n

证明[编辑]

一般的证明中会用到“所有与n互质的同余类构成一个”的性质,也就是说,设\left\{ \overline{a_1}, \overline{a_2}, \cdots , \overline{a_{\varphi(n)}} \right\}是比n 小的正整数中所有与n 互素的数对应的同余类组成的集合(这个集合也称为模n 的简化剩余系)。这些同余类构成一个群,称为整数模n乘法群。所以当对这些数进行变换\pi_a : \overline{a_i} \longmapsto \overline{a \cdot a_i} = \overline{a} \cdot \overline{a_i} 的时候(a是和n互素的一个数,从而的 爱上对方个同余类),变换所得的同余类集合仍然是原来的\overline{a_1}, \overline{a_2}, \cdots , \overline{a_{\varphi(n)}}。即是说,集合\left\{ \overline{a_1}, \overline{a_2}, \cdots , \overline{a_{\varphi(n)}} \right\}\left\{ \overline{a a_1}, \overline{a a_2}, \cdots , \overline{a a_{\varphi(n)}} \right\}相同。因此,a^{\varphi(n)} a_1 a_2 \cdots a_{\varphi(n)} \equiv (a a_1)(a a_2) \cdots (a a_{\varphi(n)}) \equiv a_1 a_2 \cdots a_{\varphi(n)} \pmod n。从而a^{\varphi(n)} \equiv 1 \pmod n

n素数的时候,\varphi(n) =n -1 ,所以欧拉定理变为:

a^{n - 1} \equiv 1 \pmod n
a^{n} \equiv a \pmod n

这就是费马小定理

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值