奇数の完全数の有無について [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
>>71 訂正
yの素因数の指数は一つだけ奇数にならなければならない。
yが完全数であるためには、以下の式が成立しなければならない。
y/p^n=(1+p+p^2+…+p^n)Π[k=1,m](1+pk+pk^2+…+pk^qk)/(2p^n)=Π[k=1,m]pk^qk
ここで、
a=Π[k=1,m](1+pk+pk^2+…+pk^qk)
b=Π[k=1,m]pk^qk
とすると
y/p^n=a(1+p+p^2+…+p^n)/(2p^n)=b
a(p^(n+1)-1)/(2(p-1)p^n)=b
a(p^(n+1)-1)=2b(p-1)p^n
ap^(n+1)-2b(p-1)p^n=a
(ap-2bp+2b)p^n=a
ここで、ap-2bp+2bは整数だからa/p^nは整数となりこれをcとする
ap-2bp+2b=c
(a-2b)p=c-2b
p=(c-2b)/(a-2b)
となる。
有理数dをd=a/bとすると
p=(2-d/p^n)/(2-d)
b=Π[k=1,m]pk^qkだから、
b≢0 (mod p)
正整数e,fとして、
b=ep+f
0<f<p
b≡f (mod p)
が成立する
c-2b≡0 (mod p)
c≡2b≡2f (mod p)
c≢0 (mod p)
ap-2bp+2b=c
ap-c=2b(p-1)
2b=(ap-c)/(p-1)
正整数g,h、h≡2f (mod p), 0<h<p
2b=(ap-c)/(p-1)=gp+h
ap-c=gp^2+hp-gp-h
gp^2+(-a-g+h)p+c-h=0 >>80 つづき
-ap+hp+c-h≡0 (mod g)
p(-a+h)+c-h≡0 (mod g)
整数iを用いて
p(-a+h)+c-h=gi
c-h≡gi≡0 (mod p)
整数jを用いて
pj=gi
p=gi/j
pは素数だから、i=1で、g=pjでなければならい。
g≡0 (mod p)
2b=jp^2+h
c-h≡0 (mod p)だから、整数をk(0<k<p)として
c=pk+h
ap-2bp+2b=c
ap=2b(p-1)+c
=(jp^2+h)(p-1)+pk+h
=jp^3+ph-jp^2-h+pk+h
=jp^3+ph-jp^2+pk
a=jp^2-jp+h+k
∴a≡h+k (mod p)
c=pk+hで、c,pはともに奇数であるから、hとkの偶奇は反対になり、
h+kは奇数となる。
整数をmとして
a=mp+h+k
a-2b=mp+h+k-(jp^2+h)=mp-jp^2+k≡k (mod p)
c-2b=pk+h-(jp^2+h)=pk-jp^2≡0 (mod p)
a-c≡k (mod p)
a≡h+k (mod p)
c≡h (mod p)だから、2b≡c≡h (mod p)
gp^2+(-a-g+h)p+c-h=0
p^3-p(p+a-h)+c-h=0
p^3-p^2+(-a+h)p+c-h=0
p^2(p-1)+h(p-1)-ap+c=0
ap-c≡0 (mod p-1)
ap-c-a(p-1)=a-c≡0 (mod p-1)
a-c≡k (mod p)
a-c≡0 (mod p-1)
整数をsとして
a-c=ps+k
ここで、a-cは偶数だから、sとkの偶奇は反対になっている。 ■ このスレッドは過去ログ倉庫に格納されています