欧拉偶完全数的部分证明与应用

开篇与闲扯

错误结论

本来是遍历到根号n,后来想改进到再去除2的倍数,想到可能2a的因子和是a的因子和的3倍

验证 6因子 1,6 2,3
那么12因子 (1,12 2,6) (2,6 4,3) 这样因子和是3倍
但是12因子 1,12 2,6 3,4 那么2,6重复了
结论错误
为什么?
猜测可能是因为6是2的倍数所以会再翻倍时导致因子有重复
a不是2的倍数
a因子 1,a x1,y1 x2,y2
2a因子 (1,2a 2,a) (x1,2y1 and 2x1,y1)…
2a因子和是a的3倍,但是没什么用因为得不到4a因子和是2a三倍

开始欧拉完全数证明

顺着欧拉思路是不是需要a为质数

p 1,p
2p 1,(2p 2),p
2^2p 1,(4p 2,2p 4),p
2^3p 1,(8p 2,4p 4,2p 8),p

也即对f数列 因子之和有fn = 2*f(n-1)+p+1 或者fn=∑1+2+4…+∑(1+2+4+…)p
=>$2^n\ast p的因子和f(n)=(p+1)\ast (2^{n+1}-1)$

$当2^n\ast p是完全数=>2^n\ast p=(p+1)(2^{n+1}-1)-2^n\ast p=>(2^{n+1})\ast p=(p+1)(2^{n+1}-1)$

a/b a整除b (a,b)=1 a,b最大公约数为1,ab互质
$p+1/(2^{n+1})\ast p,且(p,p+1)=1=>p+1/2^{n+1}$
$设p=2^k-t(t<2^{k-1})显然2^{n+1}没有奇因子=>2^k-t+1没有奇因子=>t=1=>p=2^k-1$
$=>(2^{n+1})\ast (2^k-1)=(2^k)(2^{n+1}-1)=>n=k-1结合2^n\ast p是完全数$

$有存在k当2^k-1=p为质数时2^n\ast p为完全数=>也即(2^k-1)\ast (2^{k-1})为完全数$

对比欧拉结论
$如果p是质数，且2^p-1也是质数,（2^p-1)\ast 2^{(p-1)}便是一个完全数$

梅森素数

$下证若要2^p-1也是质数,p需为质数$

$先证对a^t-b^{t}a-b是其因子数学归纳有$

$a-b\surd a^2-b^2\surd$
$a^n-b^n=(a^{n-1}-b^{n-1})(a+b)+ab(b^{n-2}-a^{n-2})\surd$

$对2^p-1若p不是质数$
$那么p有因子xx!=1p=x\ast t$
$又有(2^x{)}^t-1^t=2^p-1=>2^x-1是2^p-1因子=>2^p-1不是质数$
$=>2^p-1是质数需要p是质数$