关于欧拉定理证明两则

费马小定理:若p为素数,则满足a^(p-1)=1(mod p)(中间的内个是三横..)

下面证明一下(先是看了Matrix67的博客)

结论1:a,a*2,a*3....a*(p-1)这p-1项数模p是1到p-1的排列。。

证明:若任意两项a*x,a*y同模p,则p|a*(x-y),又因为a是素数,则p|(x-y),而x,y<p,(x-y)<p与之前的式子矛盾。

所以结论1成立

则a*(a*2)*...*(a*(p-1))=(p-1)!,化简a^(p-1)*(p-1)!=(p-1)!(mod p)

根据wilson定理,若p为素数,则(p-1)!=1(mod p)

所以a^(p-1)=1(mod p)  费马小定理证明完毕

 

ax=1(mod p)的最小整数解必为phi(p)的约数(向zz1215求教的)

设a0足此代数式的最小整数解且x不为phi(p)约数,b0=phi(p)

则存在a0x+phi(p)y=gcd(a0,b0)的一组整数解<x,y>

由于a0不是b0约数,即gcd(a0,b0)<a0

根据乘法法则a^gcd(a0,b0)=(a^a0)*x*(a^b0)^y=1*1=1(mod p)(*),与题设矛盾(gcd(a0,b0)<a0,a0不是最小解)

注释:虽然x,y必有一负数,但不影响结果。假设x>0,y<0.可以用反证法证明若a^gcd(a0,b0)!=1(mod p),则a^gcd(a0,b0)*a^(b0*y0)!=1(mod p)

因为a^gcd(a0,b0)*a^(b0*y0)=a^(a0*x)=1(mod p),所以上述证明a^gcd(a0,b0)=1(mod p)

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值