X
トップページ⇒数学
1002コメント471KB
奇数の完全数の有無について [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0073１３２人目の素数さん
垢版 |
2018/02/15(木) 01:01:57.70ID:EGDusbJh
>>72
偶数には使えないことは使ってないから偶数の完全数も存在しないことになるが
0075１３２人目の素数さん
垢版 |
2018/02/15(木) 01:18:12.00ID:EGDusbJh
y=6でp=3とすれば矛盾するんだろ
0076１３２人目の素数さん
垢版 |
2018/02/15(木) 01:28:31.08ID:EGDusbJh
6が完全数だとするとy=6,p=3として>>71を使うと1<d<3/4となって矛盾するから6は完全数じゃない
0078１３２人目の素数さん
垢版 |
2018/02/15(木) 02:05:41.39ID:9GXVdFDs
>>77
じゃないか
＞d=2(p-1)/(p-1/p^n)
＞(p-1)/(p-1/p^n)<p/(p+1)であり、
＞となるから、dは1<d<p/(p+1) …⑤
2を掛けるの忘れてるよ
0079１３２人目の素数さん
垢版 |
2018/02/15(木) 02:39:10.90ID:O6aE9A8Z
>>71
この方向性ではいくらやってもダメなのよ

｜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/b＝2p^n/(1+p+p^2+…+p^n) こうなるんだけれども
左辺＝a/b＞1は定義より明らか
右辺＝2p^n/((p^(n+1)-1)/(p-1))
＝2p^n(p-1)/(p^(n+1)-1)
＝(2p^(n+1)-2p^n)/(p^(n+1)-1)
＝((p^(n+1)-2p^n+1)+(p^(n+1)-1))/(p^(n+1)-1)
＝(p^(n+1)-2p^n+1)/(p^(n+1)-1)+1
＝((p-2)p^n+1)/(p^(n+1)-1)+1
なのでp≧2なら右辺＞1
だからこの式をいくらいじってもd＝a/b＜1は出てこない

また、1＜d＜2のときp=(2-d/p^n)/(2-d)＞1だから、
この式をいくらいじってもp＜1は出てこない
出てきたとしたら導出が誤っている
0080１３２人目の素数さん
垢版 |
2018/02/16(金) 07:59:42.15ID:ROeNsO6N
>>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
0081１３２人目の素数さん
垢版 |
2018/02/16(金) 08:02:23.66ID:ROeNsO6N
>>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の偶奇は反対になっている。
0082１３２人目の素数さん
垢版 |
2018/02/16(金) 08:03:07.57ID:ROeNsO6N
>>81 つづき
整数をtとして
a-c=(p-1)t

ps+k=(p-1)t
k+t=(t-s)p
k+t≡0 (mod p)

整数をuとして
k=up-t
a-c=(p-1)(up-k)
a((p^n-1)/p^n)=(p-1)(up-k)
a/(p^n(p^(n-1)+p^(n-2)+…+p+1))=up-k
a=(up-k)p^n(p^(n-1)+p^(n-2)+…+p+1)

a≡0 (mod p)
c≡-k (mod p)

a≡h+k (mod p)で、a≡0 (mod p)、0<h,k<pだから
h+k=p

a=jp^2-jp+h+k
a=jp^2-jp+p=jp(p-1)+p

a≡1 (mod p-1)

整数をvとして
a=v(p-1)+1

a((p^n-1)/p^n)=(p-1)(up-k)
(v(p-1)+1)((p^n-1)/p^n)=(p-1)(up-k)

(p^n-1)/p^n≡0 (mod p-1)
(p^(n-1)+p^(n-2)+…+p+1)(p-1)/p^n≡0 (mod p-1)

整数wとして
(p^(n-1)+p^(n-2)+…+p+1)(p-1)/p^n=w(p-1)

w=(p^(n-1)+p^(n-2)+…+p+1)/p^n
wp^n=p^(n-1)+p^(n-2)+…+p+1

wp^n≡0 (mod p)
p^(n-1)+p^(n-2)+…+p+1≡1 (mod p)

となり、wが整数になることに矛盾する。


以上から、奇数の完全数は存在しない。
0083DJ学術　
垢版 |
2018/02/16(金) 08:45:53.89ID:yN3n4O8g
東アジアなら　兵糧、金、兵士数の実数の　ほうが大事だと思われ。
僕は１なんて数を打ち続けても、レア化しないで、直観数術にならないし、
駄目だと思うけどなあ。虚数となるとさらに。
0084１３２人目の素数さん
垢版 |
2018/02/16(金) 09:58:09.93ID:n3/HZSNp
>>81 長いね
＞pj=gi
＞pは素数だから、i=1で、g=pjでなければならい
iがpの倍数でないとなぜ言えるの？
0085１３２人目の素数さん
垢版 |
2018/02/16(金) 11:23:04.07ID:n3/HZSNp
>>84
やっぱりか
＞gp^2+(-a-g+h)p+c-h=0
＞整数iを用いて
＞p(-a+h)+c-h=gi
よりgp^2-gp+gi=0であり、i=p-p^2
新しい変数を持ち出すときは、その意味するところを考えた方がいい
0086DJ学術　
垢版 |
2018/02/16(金) 12:26:08.67ID:yN3n4O8g
数学は一度部分点が出たぐらいで意外に特異な方。確率統計は
ギャンブル好きだから、確実には極めない方がよい。
0087DJ学術　
垢版 |
2018/02/16(金) 12:38:53.17ID:yN3n4O8g
記号が簡単すぎて幼いころに積み上げた数学が台無しになる。数も小数点
分数、数自体の集合分岐がないから、つまらないものにしたくない。
0088DJ学術　
垢版 |
2018/02/16(金) 12:46:04.61ID:yN3n4O8g
数式を血統と数式で議論するのも本末転倒だが、詩学と数学の相性を考えると、
数式は真　空　中に建てる方が　綺麗かもしれない。将来は。
私は他者であり、数学は自分だ。

般若心経よりもいいのか。はたして。
0089１３２人目の素数さん
垢版 |
2018/02/16(金) 12:58:37.75ID:n3/HZSNp
>>82
＞a((p^n-1)/p^n)=(p-1)(up-k)
＞a/(p^n(p^(n-1)+p^(n-2)+…+p+1))=up-k
ここの変換も違う
分母と分子を取り違えてる
0090１３２人目の素数さん
垢版 |
2018/02/16(金) 15:30:39.59ID:ROeNsO6N
>>89
その部分は計算の誤りでした。

>>82 訂正
>>81 つづき
整数をtとして
a-c=(p-1)t

ps+k=(p-1)t
k+t=(t-s)p
k+t≡0 (mod p)

整数をuとして
k=up-t
a-c=(p-1)(up-k)
a((p^n-1)/p^n)=(p-1)(up-k)
a(p^(n-1)+p^(n-2)+…+p+1)(p-1)/p^n)=(p-1)(up-k)
a(p^(n-1)+p^(n-2)+…+p+1)=(up-k)p^n


a≡0 (mod p)
c≡-k (mod p)

a≡h+k (mod p)で、a≡0 (mod p)、0<h,k<pだから
h+k=p

a=jp^2-jp+h+k
a=jp^2-jp+p=jp(p-1)+p

a≡1 (mod p-1)

整数をvとして
a=v(p-1)+1

a((p^n-1)/p^n)=(p-1)(up-k)
(v(p-1)+1)((p^n-1)/p^n)=(p-1)(up-k)

(p^n-1)/p^n≡0 (mod p-1)
(p^(n-1)+p^(n-2)+…+p+1)(p-1)/p^n≡0 (mod p-1)

整数wとして
(p^(n-1)+p^(n-2)+…+p+1)(p-1)/p^n=w(p-1)

w=(p^(n-1)+p^(n-2)+…+p+1)/p^n
wp^n=p^(n-1)+p^(n-2)+…+p+1

wp^n≡0 (mod p)
p^(n-1)+p^(n-2)+…+p+1≡1 (mod p)

となり、wが整数になることに矛盾する。


以上から、奇数の完全数は存在しない。
0092１３２人目の素数さん
垢版 |
2018/02/16(金) 15:49:33.23ID:n3/HZSNp
>>90
あと、
＞a≡h+k (mod p)で、a≡0 (mod p)
これはg≡0(mod p)が証明できてないから言えない
0093１３２人目の素数さん
垢版 |
2018/02/16(金) 16:18:11.83ID:ROeNsO6N
>>92
>>81に書いてあります。

>>38, >>80-81, >>90が正しいと思われるレスです。
0095DJ学術　
垢版 |
2018/02/16(金) 20:06:21.75ID:yN3n4O8g
奇数に完全がないのは当たり前だが奇数を経て完全というのもおかしい話だな。
0096１３２人目の素数さん
垢版 |
2018/02/17(土) 00:46:55.71ID:ZE5af5vu
>>64
二番目のは３種類に限らない
４種類以上でも成り立つ
つまり３と５と７を同時に約数にもつ完全数は存在しない
言い換えると、１０５の倍数は完全数でない
0097DJ学術　
垢版 |
2018/02/17(土) 08:13:55.42ID:5j7H1MVc
約数といったって　詩を引いて隠す感じが大事であって、数よりクオリア向きだよな。
0098１３２人目の素数さん
垢版 |
2018/02/18(日) 08:38:15.10ID:zA6IaP63
>>81 訂正
-ap+hp+c-h≡0 (mod g)
p(-a+h)+c-h≡0 (mod g)

整数iを用いて
p(-a+h)+c-h=gi

gp^2-gp+gi=0
i=p-p^2

i≡0 (mod p)
i≡0 (mod p-1)
iは1-pを約数に持つから偶数となる。


整数jを用いて
pj=gi

pj=g(p-p^2)
j=(1-p)g=g-gp

j≡0 (mod g)
j≡0 (mod p-1)
jは1-pを約数に持つから偶数となる。

g≡j (mod p) …④


c-h≡0 (mod p)だから、整数をk(0<k<p)として
c=kp+h
c,pはともに奇数であるから、hとkの偶奇は逆になる。

ap-2bp+2b=c

ap=2b(p-1)+c
=(gp+h)(p-1)+kp+h
=gp(p-1)+hp+kp

a=g(p-1)+h+k
a=gp-g+h+k

∴a≡-g+h+k≡0 (mod p)
g≡h+k (mod p)
hとkの偶奇は逆だから、h+kは奇数となるが
④の右辺は偶数であるから矛盾が生じる。
よって、上記の整数b,gは存在しない。

以上から、奇数の完全数は存在しない。
0100１３２人目の素数さん
垢版 |
2018/02/18(日) 08:59:19.96ID:dSxwtxgZ
10≡7(mod.3)だけど矛盾はしてないな
0101１３２人目の素数さん
垢版 |
2018/02/18(日) 09:27:17.54ID:3BoN6Yxt
>>98
うん。矛盾しないね
＞g≡h+k (mod p)
＞hとkの偶奇は逆だから、h+kは奇数となるが
＞④の右辺は偶数であるから矛盾が生じる。
pは奇数だからね
偶数≡奇数 (mod p) でも何も問題ない

あのさ、いい加減書き込む前に自分で検証しようよ
0105１３２人目の素数さん
垢版 |
2018/02/19(月) 17:23:30.07ID:t7f4180D
>>80 から訂正
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,bとし
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

gp+hが偶数になることから、gとhの偶奇は一致する。
0106１３２人目の素数さん
垢版 |
2018/02/19(月) 17:24:41.85ID:t7f4180D
>>105 つづき
-ap+hp+c-h≡0 (mod g)
p(-a+h)+c-h≡0 (mod g)

c-h≡0 (mod p)


整数iを用いて
p(-a+h)+c-h=gi

gp^2-gp+gi=0
i=p-p^2

i≡0 (mod p)
i≡0 (mod p-1)
iは1-pを約数に持つから偶数となる。


整数jを用いて
pj=gi

pj=g(p-p^2)
j=(1-p)g=g-gp

j≡0 (mod g)
j≡0 (mod p-1)
jは1-pを約数に持つから偶数となる。

g≡j (mod p)


c-h≡0 (mod p)だから、整数をkとして
c=kp+h
c,pはともに奇数であるから、hとkの偶奇は逆になる。

ap-2bp+2b=c

ap=2b(p-1)+c
=(gp+h)(p-1)+kp+h
=gp(p-1)+hp+kp

a=g(p-1)+h+k
a=gp-g+h+k
∴a≡-g+h+k≡0 (mod p)
g≡h+k (mod p)

a=gp-g+h+k=g(p-1)+h+k
c≡a≡h+k (mod p-1)


gp^2+(-a-g+h)p+c-h=0
p=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)
-a-g+h=-gp-k、c-h=kpだから、

p=(-(-gp-k)±√((-gp-k)^2-4kgp))/(2g)
=(gp+k±√((gp-k)^2)/(2g)
=(gp+k±(gp-k)/(2g)
=p, k/g
0107１３２人目の素数さん
垢版 |
2018/02/19(月) 17:25:36.01ID:t7f4180D
>>107 つづき
p=k/gの場合、
h+k=h+gp=h+g(p-1)+g
c≡h+k≡g+h (mod p-1)
gとhの偶奇は一致するから、cが奇数であることに反するので
この場合は不適になる。


gp^2+(-a-g+h)p+c-h=0から
gp(p-1)+h(p-1)-ap+c=0
gp(p-1)+h(p-1)-c(p^n-1)=0
gp+h-c(p^(n-1)+…+1)=0
2b-c(p^(n-1)+…+1)=0
cとp^(n-1)+…+1は両方とも奇数であるから、上式は成立しないので
条件を満たす整数b,cは存在しない。

以上から、奇数の完全数は存在しない。
0110１３２人目の素数さん
垢版 |
2018/02/19(月) 18:35:39.94ID:MoQMDsvP
ap=cp^(n+1)が間違ってるし
cとp^n+…+1は両方とも奇数にはならない
0111１３２人目の素数さん
垢版 |
2018/02/19(月) 18:39:15.43ID:MoQMDsvP
＞y/p^n=a(1+p+p^2+…+p^n)/(2p^n)=b

ここに戻っただけ
0112１３２人目の素数さん
垢版 |
2018/02/19(月) 21:55:28.98ID:m16ZPD9z
>>107 あわてんぼさんね
｜gp(p-1)+h(p-1)-ap+c=0
｜gp(p-1)+h(p-1)-c(p^n-1)=0
この導出が違うとこね

gp(p-1)+h(p-1)-ap+c=0
gp(p-1)+h(p-1)-(cp^n)p+c=0
gp(p-1)+h(p-1)-c(p^(n+1)-1)=0 が正解
p-1で割っても 2b-c(p^n+…+1)=0 となり矛盾しない

何度も言われてるけど検算しましょう
0113１３２人目の素数さん
垢版 |
2018/02/19(月) 22:03:24.65ID:m16ZPD9z
>>107
｜gp^2+(-a-g+h)p+c-h=0
｜p=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)
｜-a-g+h=-gp-k、c-h=kpだから、
｜p=(-(-gp-k)±√((-gp-k)^2-4kgp))/(2g)
｜=(gp+k±√((gp-k)^2)/(2g)
｜=(gp+k±(gp-k)/(2g)
｜=p, k/g
ここの部分は p=p であることを再確認しているだけで無意味
-a-g+h=-gp-k、c-h=kpだから、 gp^2+(-a-g+h)p+c-h=0 が恒等式になるのです
0114１３２人目の素数さん
垢版 |
2018/02/19(月) 22:58:44.71ID:t7f4180D
>>105-107 訂正
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,bとし
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

gp+hが偶数になることから、gとhの偶奇は一致する。 …(1)
0115１３２人目の素数さん
垢版 |
2018/02/19(月) 23:00:28.44ID:t7f4180D
>>114 つづき
-ap+hp+c-h≡0 (mod g)
p(-a+h)+c-h≡0 (mod g)

c-h≡0 (mod p)


整数iを用いて
p(-a+h)+c-h=gi

gp^2-gp+gi=0
i=p-p^2

i≡0 (mod p)
i≡0 (mod p-1)
iは1-pを約数に持つから偶数となる。


整数jを用いて
pj=gi

pj=g(p-p^2)
j=(1-p)g=g-gp

j≡0 (mod g)
j≡0 (mod p-1)
jは1-pを約数に持つから偶数となる。

g≡j (mod p)


c-h≡0 (mod p)だから、整数をkとして
c=kp+h
c,pはともに奇数であるから、hとkの偶奇は逆になる。 …(2)

ap-2bp+2b=c

ap=2b(p-1)+c
=(gp+h)(p-1)+kp+h
=gp(p-1)+hp+kp

a=g(p-1)+h+k
a=gp-g+h+k
∴a≡-g+h+k≡0 (mod p)
g≡h+k (mod p)

a=gp-g+h+k=g(p-1)+h+k
c≡a≡h+k (mod p-1)


gp^2+(-a-g+h)p+c-h=0
p=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)
-a-g+h=-gp-k、c-h=kpだから、

p=(-(-gp-k)±√((-gp-k)^2-4kgp))/(2g)
=(gp+k±√((gp-k)^2)/(2g)
=(gp+k±(gp-k)/(2g)
=p, k/g
0116１３２人目の素数さん
垢版 |
2018/02/19(月) 23:01:06.54ID:t7f4180D
>>115 つづき
p=k/gの場合、
h+k=h+gp=h+g(p-1)+g
c≡h+k≡g+h (mod p-1)
gとhの偶奇は一致するから、cが奇数であることに反するので
この場合は不適になる。


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、n=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となる。


a-c=(g-k)(p-1)より、
g-k=(kp+h)(p^(n-1)+…+1)
g=c(p^(n-1)+…+1)+k
g≡(h+k)(p^(n-1)+…+1)+k (mod p-1)

p^(n-1)+…+1=(p^(n-1)-1)+1+(p^(n-2)-1)+1…+(p-1)+1+1)から
p^(n-1)+…+1≡n (mod p-1)となるので
g≡n(h+k)+k (mod p-1)
∴g-k≡n(h+k)

2b-c≡g-k≡n(h+k)≡nc (mod p-1)
(n+1)c≡2b (mod p-1)
(4m+2)c≡2b (mod p-1)
b≡(2m+1)c (mod p-1)

b≡g+h (mod p-1)より、
g+h≡(2m+1)(h+k) (mod p-1)
g≡2mh+(2m+1)k (mod p-1)

となり、gとkの偶奇が一致するが、これは(1)、(2)の条件と矛盾する。

以上から、奇数の完全数は存在しない。
0117１３２人目の素数さん
垢版 |
2018/02/19(月) 23:50:57.72ID:m16ZPD9z
｜(4m+2)c≡2b (mod p-1)
｜b≡(2m+1)c (mod p-1)
p-1は2の倍数なのでこういう導出はしちゃダメです。
(4m+2)c-2b が p-1の 倍数だからと言って (2m+1)c-b が p-1の 倍数とはいえません
0118１３２人目の素数さん
垢版 |
2018/02/20(火) 00:35:51.68ID:HFA3crJ2
>>117
計算間違いを直しました。

>>116 訂正
p=k/gの場合、
h+k=h+gp=h+g(p-1)+g
c≡h+k≡g+h (mod p-1)
gとhの偶奇は一致するから、cが奇数であることに反するので
この場合は不適になる。


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、mを整数としてn=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となる。


a-c=(g-k)(p-1)より、
g-k=(kp+h)(p^(n-1)+…+1)
g=c(p^(n-1)+…+1)+k
g≡(h+k)(p^(n-1)+…+1)+k (mod p-1)

p^(n-1)+…+1=(p^(n-1)-1)+1+(p^(n-2)-1)+1…+(p-1)+1+1)から
p^(n-1)+…+1≡n (mod p-1)となるので
g≡n(h+k)+k (mod p-1)
∴g-k≡n(h+k)

2b-c≡g-k≡n(h+k)≡nc (mod p-1)
(n+1)c≡2b (mod p-1)
(4m+2)c≡2b (mod p-1)

整数をrとして、p-1=4qとすると、
(4m+2)c-2b=4qr
(2m+1)c-b=2qr

1. rが奇数のとき
(2m+1)c-b≡2qr (mod p-1)
b≡g+h (mod p-1)より、
g+h≡(2m+1)(h+k)-2qr (mod p-1)
g≡2(mh-qr)+(2m+1)k (mod p-1)

2. rが偶数のとき
(2m+1)c-b≡0 (mod p-1)
b≡(2m+1)c
b≡g+h (mod p-1)より、
g+h≡(2m+1)(h+k) (mod p-1)
g≡2mh+(2m+1)k (mod p-1)

1.、2.の両方の場合で、gとkの偶奇が一致するが、
これは(1)、(2)の条件と矛盾する。

以上から、奇数の完全数は存在しない。
0120１３２人目の素数さん
垢版 |
2018/02/20(火) 00:49:28.95ID:7GfvdoWu
いつになったら自分で確認できるようになるのか
>b≡g+h (mod p-1)より
なんて出るわけないだろ
0121１３２人目の素数さん
垢版 |
2018/02/20(火) 12:52:50.05ID:HFA3crJ2
>>120
また、計算間違いを直しました。

>>118 訂正
p=k/gの場合、
h+k=h+gp=h+g(p-1)+g
c≡h+k≡g+h (mod p-1)
gとhの偶奇は一致するから、cが奇数であることに反するので
この場合は不適になる。


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、mを整数としてn=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となり、
p-1が4の倍数であることが必要になる。

④のpに関する2次方程式が、p=4q+1とk/gの２解を持つとすると
以下の式が成立しなければならない。
g(p-4q+1)(p-k/g)-gp^2+(-a-g+h)p+c-h=0
(-4gq+g-k)p+4kq-k-((-a-g+h)p+c-h)=0
(a-4gq+2g-k-h)p+4kq-k-c+h=0
ap-c+(-4gq+2g-k)p+4kq-k-h(p-1)=0

ap-c=2b(p-1)から
ap-c≡0 (mod p-1)を用いると
-4gq+2g-2k+4kq≡0 (mod p-1)

rを整数として、
-4gq+2g-2k+4kq=r(p-1)
-2gq+g-k+2kq=r(p-1)/2
p-1は4の倍数となるから、(p-1)/2が偶数となるから
右辺は偶数になり、gとkの偶奇は一致することになる。
しかしこれは、(1)、(2)に矛盾する。

以上から、奇数の完全数は存在しない。
0122１３２人目の素数さん
垢版 |
2018/02/20(火) 13:55:31.17ID:OyxXgfrL
>>121
＞④のpに関する2次方程式が、p=4q+1とk/gの解を持つとすると
p=k/gだと矛盾すると自分で言っておきながらなぜそういう仮定をするのか
最初から正しくない式を持ち出してそこから矛盾を引き出すことを背理法とは言いません
0123１３２人目の素数さん
垢版 |
2018/02/20(火) 14:11:26.90ID:OyxXgfrL
>>121
＞④のpに関する2次方程式が、p=4q+1とk/gの２解を持つとすると
以下の式が成立しなければならない。
＞g(p-4q+1)(p-k/g)-gp^2+(-a-g+h)p+c-h=0
最初の1の符号が違う
g(p-4q-1)(p-k/g)-gp^2+(-a-g+h)p+c-h=0
この式を同じように変形するとg-kの項は消える
0125１３２人目の素数さん
垢版 |
2018/02/20(火) 16:22:38.54ID:HFA3crJ2
>>121 訂正
p=k/gの場合、
h+k=h+gp=h+g(p-1)+g
c≡h+k≡g+h (mod p-1)
gとhの偶奇は一致するから、cが奇数であることに反するので
この場合は不適になる。


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、mを整数としてn=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となり、
p-1が4の倍数であることが必要になる。

④のpに関する2次方程式が、p=4q+1とk/gの２解を持つとすると
gp^2-4gqp+gp-kp+4kq-k-(gp^2+(-a-g+h)p+c-h)=0
-4gqp+gp-kp+4kq-k-((-a-g+h)p+c-h)=0
(-4gq+2g-k+a-h)p+4kq-c-k+h=0
ap-c+2gp-4gqp+4kq-(p+1)k-h(p-1)=0

ap-c=2b(p-1)から
ap-c≡0 (mod p-1)を用いると
-4gq+2g-2k+4kq≡0 (mod p-1)

rを整数として、
-4gq+2g-2k+4kq=r(p-1)
-2gq+g-k+2kq=r(p-1)/2
p-1は4の倍数であり、(p-1)/2が偶数となるから
右辺は偶数になり、gとkの偶奇は一致することになる。
しかしこれは、(1)、(2)に矛盾する。

以上から、奇数の完全数は存在しない。
0127１３２人目の素数さん
垢版 |
2018/02/20(火) 19:57:22.76ID:Sw9cLlv/
>>124
｜g(p-4q+1)(p-k/g)-(gp^2+(-a-g+h)p+c-h)=0
この式も間違いです。p=4q+1が解となるには以下でないといけません
g(p-(4q+1))(p-k/g)-(gp^2+(-a-g+h)p+c-h)=0
　
0128１３２人目の素数さん
垢版 |
2018/02/21(水) 08:38:44.42ID:1dkpfo/f
>>127
計算が間違えてました。

>>125 訂正
p=k/gの場合、
h+k=h+gp=h+g(p-1)+g
c≡h+k≡g+h (mod p-1)
gとhの偶奇は一致するから、cが奇数であることに反するので
この場合は不適になる。


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、mを整数としてn=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となり、
p-1が4の倍数であることが必要になる。


p=(c-2b)/(a-2b)、c-2b=(k-g)pより
a-2b=k-g
a-c=a-2b-(c-2b)=k-g-(k-g)p=(g-k)(p-1)

g-k=(a-c)/(p-1)=(p^n-1)c/(p-1)
g-k=c(p^(n-1)+…+1)
g=c(p^(n-1)+…+1)+k
g≡(h+k)(p^(n-1)+…+1)+k (mod p-1)

p^(n-1)+…+1=(p^(n-1)-1)+1+(p^(n-2)-1)+1…+(p-1)+1+1)から
p^(n-1)+…+1≡n (mod p-1)となるので
g≡n(h+k)+k (mod p-1)

n=4m+1であるから
g≡(4m+1)h+(4m+2)k (mod p-1)
となり、gとhの偶奇が異なるが、これは(1)と矛盾する。


以上から、奇数の完全数は存在しない。
0129１３２人目の素数さん
垢版 |
2018/02/21(水) 14:42:40.83ID:JFIkQrIb
>>128
＞g≡(4m+1)h+(4m+2)k (mod p-1)
＞となり、gとhの偶奇が異なる
なにゆえ？
g≡奇数×h+偶数 (mod 偶数) なのに？
0130１３２人目の素数さん
垢版 |
2018/02/22(木) 07:19:59.39ID:aRC6/fxB
>>85
i=p-p^2が答えでした。だいぶ遠回りをしましたが。

>>129
その通りでございます。

>>115 訂正
-ap+hp+c-h≡0 (mod g)
p(-a+h)+c-h≡0 (mod g)

c-h≡0 (mod p)


整数iを用いて
p(-a+h)+c-h=gi

gp^2-gp+gi=0
i=p-p^2

p^2-p+i=0
p=(1±√(1-4i))/2

pが整数となるためにはi=0
このとき、pは0か1となるため、奇素数pは存在しない。

以上から、奇数の完全数は存在しない。
0131１３２人目の素数さん
垢版 |
2018/02/22(木) 09:26:32.77ID:0lEiiK+t
i=p-p^2と書いてる時点でiは負の整数なんだなと思わないのか
0133１３２人目の素数さん
垢版 |
2018/02/22(木) 10:11:00.48ID:qyfrsyyj
>>130
書くまでもありゃしないが
i=p-p^2
だったら
p=(1+√(1-4i))/2
=(1+√(1-4(p-p^2)))/2
=(1+√(1-4p+4p^2))/2
=(1+(2p-1))/2=2p/2=p
なーんもおかしくない
0134１３２人目の素数さん
垢版 |
2018/02/22(木) 12:55:08.55ID:aRC6/fxB
>>132
本当に間違えています。調子が悪いと思います。

>>131,133
誤りを直しました。

>>130 訂正
p=k/gの場合、
h+k=h+gp=h+g(p-1)+g
c≡h+k≡g+h (mod p-1)
gとhの偶奇は一致するから、cが奇数であることに反するので
この場合は不適になる。


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、mを整数としてn=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となり、
p-1が4の倍数であることが必要になる。


p^2-p+i=0
p=(1±√(1-4i))/2

ap-c-h(p-1)=-gi
(p^(n+1)-1)c-h(p-1)=-gi
(p-1)((p^n+…+1)c-h)=-gi
(p-1)((p^n+…+1)c-h)=gp(p-1)
gp=(p^n+…+1)c-h

(p^n+…+1)c-h>=(p+1)c-h>c+p-h>c>0だから、
g>0
となる。よって
(p-1)((p^n+…+1)c-h)>0
から
i<0
0135１３２人目の素数さん
垢版 |
2018/02/22(木) 12:55:53.18ID:aRC6/fxB
>>134 つづき
p>0となるのは、
p=(1+√(1-4i))/2
のときである。
pはqを整数として、
p=4q+1とならなければならないので

4q+1=(1+√(1-4i))/2
8q+2=1+√(1-4i)
√(1-4i)=8q+1

1-4i=64q^2+16q+1

-4i=64q^2+16q

i≡0 (mod p-1)
だからiは偶数であり、√(1-4i)が整数になるために
奇数をsとして、
s=-i/2 (s>0)

8s=64q^2+16q
s=8q^2+2q
となり、sは偶数となり矛盾がおきる。


以上から、奇数の完全数は存在しない。
0136１３２人目の素数さん
垢版 |
2018/02/22(木) 14:26:03.34ID:0lEiiK+t
根拠のない思い込みやめろよ

>奇数をsとして、

iはp-1(4の倍数)の倍数だからこんなのでないだろ
0137１３２人目の素数さん
垢版 |
2018/02/22(木) 18:42:34.80ID:zes+nHrT
俺たちはメルセンヌ素数追いかけることしかできない
0138１３２人目の素数さん
垢版 |
2018/02/23(金) 00:30:28.68ID:CLzWvXVf
>>136
ただの計算間違いです。

>>115 訂正
-ap+hp+c-h≡0 (mod g)
p(-a+h)+c-h≡0 (mod g)

c-h≡0 (mod p)


整数iを用いて
p(-a+h)+c-h=gi

gp^2-gp+gi=0
i=p-p^2


i≡0 (mod p)
i≡0 (mod p-1)
iは1-pを約数に持つから偶数となる。


整数jを用いて
pj=gi

pj=g(p-p^2)
j=(1-p)g=g-gp

j≡0 (mod g)
j≡0 (mod p-1)
jは1-pを約数に持つから偶数となる。

g≡j (mod p)


c-h≡0 (mod p)だから、整数をkとして
c=kp+h
c,pはともに奇数であるから、hとkの偶奇は逆になる。 …(2)


ap-2bp+2b=c

ap=2b(p-1)+c
=(gp+h)(p-1)+kp+h
=gp(p-1)+hp+kp

a=g(p-1)+h+k
a=gp-g+h+k
∴a≡-g+h+k≡0 (mod p)
g≡h+k (mod p)

a=gp-g+h+k=g(p-1)+h+k
c≡a≡h+k (mod p-1)


gp^2+(-a-g+h)p+c-h=0 …④
0139１３２人目の素数さん
垢版 |
2018/02/23(金) 00:31:54.34ID:CLzWvXVf
>>138 つづき
gp^2+(-a-g+h)p+c-h=0 …④
p=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)
-a-g+h=-gp-k、c-h=kpだから、

p=(-(-gp-k)±√((-gp-k)^2-4kgp))/(2g)
=(gp+k±√((gp-k)^2)/(2g)
=(gp+k±(gp-k)/(2g)
=p, k/g


④の方程式がpとk/gの２解を持つxの２次方程式だとすると
gx^2+(-a-g+h)x+c-h=0 …⑤

g(x-p)(x-k/g)=0
(x-p)(gx-k)=0
gx^2-(gp+k)x+kp=0
上式と⑤のxの1次式の項の係数を比較すると
gp+k=-a-g+h

2b=gp+hより
2b=gp+h=-a-g+2h-k
∴a+2b=-g+2h-k …⑥

p=(c-2b)/(a-2b)、c-2b=(k-g)pより
a-2b=k-g …⑦

⑥、⑦から
a=-g+h
2b=-k+h
となるが、(1)から-g+hは偶数になりaが奇数であることに反し
(2)から-k+hは奇数になるが、2bが偶数であることに反する。

方程式⑤の解から矛盾がおきたので、⑤の方程式は正しくない。
以上から、奇数の完全数は存在しない。
0140１３２人目の素数さん
垢版 |
2018/02/23(金) 01:59:12.43ID:Q+xb50pv
>>139
>gx^2+(-a-g+h)x+c-h=0 …⑤
>gx^2-(gp+k)x+kp=0
>上式と⑤のxの1次式の項の係数を比較すると
>gp+k=-a-g+h
符 号 が 逆
0141１３２人目の素数さん
垢版 |
2018/02/23(金) 18:31:08.41ID:CLzWvXVf
>>140
符号の計算を間違えました。

>>139 訂正
p=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)
-a-g+h=-gp-k、c-h=kpだから、

p=(-(-gp-k)±√((-gp-k)^2-4kgp))/(2g)
=(gp+k±√((gp-k)^2)/(2g)
=(gp+k±(gp-k)/(2g)
=p, k/g


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、mを整数としてn=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となり、
p-1が4の倍数であることが必要になる。


ap-c=(p^(n+1)-1)c=(p-1)(p^n+…+1)=(p-1)(p+1)(p^(4m)+p^(4m-2)+…+1)
ap-c≡0 (mod p+1)
ap-c≡-a-c≡-a-(-k+h)≡0 (mod p+1)
a≡k-h (mod p+1)

2b(p-1)=c(p^(n+1)-1)
2b=c(p^n+p^(n-1)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b≡0 (mod p+1)

c=kp+h
≡-k+h (mod p+1)
0142１３２人目の素数さん
垢版 |
2018/02/23(金) 18:32:02.04ID:CLzWvXVf
>>141 つづき
p^n≡p^(n-1)(p+1)-p^(n-1)≡-p^(n-1) (mod p+1)
から
p^n≡(-1)^x*p^(n-x) (mod p+1)
p^n≡-1 (mod p+1)
a≡cp^n≡-c (mod p+1)


a+c≡0 (mod p+1)
a-c≡2k-2h≡0 (mod p+1)

整数s,tを用いて
a-c=(p-1)s
a+c=(p+1)t

2a=(p-1)s+(p+1)t
p=4q+1とすると

2a=4qs+(4q+2)t

a=2qs+(2q+1)t
aは奇数だから、tは奇数

2c=(p+1)t-(p-1)s
2c=(4q+2)t-4qs

c=(2q+1)t-2qs

ap-2bp+2b=c
2b(p-1)=ap-c=(2qs+(2q+1)t)p-(2q+1)t+2qs
=(2q+1)t(p-1)+2qs(p+1)

p+1=4q+2
p-1=4q
(p+1)/(p-1)=1+1/(2q)

2b=(2q+1)t+2qs(1+1/(2q))
=(2q+1)t+(2q+1)s
=(2q+1)(t+s)
tが奇数だからsは奇数となり、bが奇数だから(s+t)/2は奇数となる。

p=(a-c)/s+1=(a+c)/t-1
p=(a-c)t+st=(a+c)s-st

(a+c)s-(a-c)t=2st
a(s-t)+c(s+t)=2st
a(s-t)/2+c(s+t)/2=st

(s+t)/2が奇数のとき、(s-t)/2は奇数となるので左辺は偶数となるが
これはstが奇数になることと矛盾する。

以上から、奇数の完全数は存在しない。
0144１３２人目の素数さん
垢版 |
2018/02/23(金) 18:51:16.07ID:jpZcZ0GN
>>142
＞(s+t)/2が奇数のとき、(s-t)/2は奇数となる
なにゆえ？
(s+t)/2-(s-t)/2=tは奇数だと上で言ってるやん
0145１３２人目の素数さん
垢版 |
2018/02/25(日) 12:21:18.53ID:M/TZHUDF
>>139 訂正
p=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)
-a-g+h=-gp-k、c-h=kpだから、

p=(-(-gp-k)±√((-gp-k)^2-4kgp))/(2g)
=(gp+k±√((gp-k)^2)/(2g)
=(gp+k±(gp-k)/(2g)
=p, k/g


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、mを整数としてn=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となり、
p-1が4の倍数であることが必要になる。


a=cp^n≡k+h (mod p-1)
2b=gp+h≡g+h (mod p-1)
c≡k+h (mod p-1)
a-c≡0 (mod p-1)
a+c≡2k+2h (mod p-1)


整数をrとして
2r=g+h
2b=(p-1)s+2r
2b=(p+1)t


(s-t)p=s+t-2r
p=1+2(t-r)/(s-t)

2q=(t-r)/(s-t)
2(s-t)q=t-r
rが奇数なので、tは奇数となる。

(2q+1)t=2sq+r
t=(2sq+r)/(2q+1)
=s+(r-s)/(2q+1)

m=(r-s)/(2q+1)とすると
m(2q+1)=r-s
s=-m(2q+1)+r

t=-m(2q+1)+r+m
t=-2mq+r

2(s-t)q=-2mq
s-t=-2m
tが奇数なので、sは奇数となる。
0146１３２人目の素数さん
垢版 |
2018/02/25(日) 12:22:56.83ID:M/TZHUDF
>>145 つづき
t=s+mだから
s-t=-m
-2m=-m
∴m=0

これにより、
r=s=t
が成立する。

2b=(p+1)r
2b=gp+hであるから、
g=h=r
が成立し、gとhは奇数となる。


a=gp+k
2b=gp+g
c=kp+g

a≡g+k≡n(h+k)+2k (mod p-1)
2b≡2g≡2n(h+k)+2k (mod p-1)
c≡k+g (mod p-1)
gが奇数であるから、kは偶数になる。



p=(c-2b)/(a-2b)、c-2b=(k-g)pより
a-2b=k-g
a-c=a-2b-(c-2b)=k-g-(k-g)p=(g-k)(p-1)

a>c、p-1>0より、g>k

g-k=(a-c)/(p-1)=(p^n-1)c/(p-1)
g-k=c(p^(n-1)+…+1)
g=c(p^(n-1)+…+1)+k

g≡(h+k)(p^(n-1)+…+1)+k (mod p-1)
p^(n-1)+…+1=(p^(n-1)-1)+1+(p^(n-2)-1)+1…+(p-1)+1+1)から
p^(n-1)+…+1≡n (mod p-1)となるので
g≡n(h+k)+k (mod p-1)

n=4m+1、h=gであるから
g≡(4m+1)g+(4m+2)k (mod p-1)
となる。
0147１３２人目の素数さん
垢版 |
2018/02/25(日) 12:23:23.40ID:M/TZHUDF
>>146 つづき
a-c=(g-k)p+k-g=(p-1)(g-k)
a+c=(g+k)p+g+k=(p+1)(g+k)

(a-c)/(g-k)+1=(a+c)/(g+k)-1
(g+k)(a-c)+(g-k)(g+k)=(g-k)(a+c)-(g-k)(g+k)
(g-k)(a+c)-(g+k)(a-c)=2(g-k)(g+k)
(g-k-(g+k))a+(g-k+g+k)c=2(g-k)(g+k)
-2ka+2gc=2(g-k)(g+k)
-ka+gc=(g-k)(g+k)
ka-gc=-(g-k)(g+k)

(kp^n-g)c=-(g-k)(g+k)

g-k=c(p^(n-1)+…+1)より
u=p^(n-1)+…+1とすると
g-k=cu

(kp^n-g)c=-cu(g+k)
kp^n-g=-u(g+k)
(u-1)g=-kp^n-uk

u≡n (mod p-1)
g≡n(h+k)+k (mod p-1)
から
(u-1)g≡(n-1)(n(h+k)+k)≡n(n-1)(h+k)+(n-1)k (mod p-1)
-kp^n-uk≡-k-nk≡-(n+1)k (mod p-1)

n(n-1)(h+k)+(n-1)k+(n+1)k≡0 (mod p-1)
n(n-1)(h+k)+2nk≡0 (mod p-1)
n(n-1)h+n(n+1)k≡0 (mod p-1)

p=4q+1とすると、整数をvとして
n(n-1)h+n(n-1)k=4qv
n((n-1)/2)h+n((n-1)/2)k=2qv
hが奇数、kが偶数であるから、左辺は奇数となるが
右辺は偶数なので矛盾する。

以上から、奇数の完全数は存在しない。
0148１３２人目の素数さん
垢版 |
2018/02/25(日) 13:04:35.01ID:XZ8Bg2E1
>>147
最近の証明もどきは長いわりに最後の文を見ただけで誤りがわかるから助かる
＞n((n-1)/2)h+n((n-1)/2)k=2qv
＞hが奇数、kが偶数であるから、左辺は奇数となる
n-1が4の倍数だから左辺は偶数ね
0149１３２人目の素数さん
垢版 |
2018/02/26(月) 12:48:00.31ID:lgc0LfCh
>>148
このような計算間違いをすることは、普段は少ないのですが。

>>145 訂正
p=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)
-a-g+h=-gp-k、c-h=kpだから、

p=(-(-gp-k)±√((-gp-k)^2-4kgp))/(2g)
=(gp+k±√((gp-k)^2)/(2g)
=(gp+k±(gp-k)/(2g)
=p, k/g


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、mを整数としてn=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となり、
p-1が4の倍数であることが必要になる。


a=cp^n≡k+h (mod p-1)
2b=gp+h≡g+h (mod p-1)
c≡k+h (mod p-1)
a-c≡0 (mod p-1)
a+c≡2k+2h (mod p-1)


ap-c=(p^(n+1)-1)c=(p-1)(p^n+…+1)=(p-1)(p+1)(p^(4m)+p^(4m-2)+…+1)
ap-c≡0 (mod p+1)
ap-c≡-a-c≡-a-(-k+h)≡0 (mod p+1)
a≡k-h (mod p+1)

2b(p-1)=c(p^(n+1)-1)
2b=c(p^n+p^(n-1)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b≡0 (mod p+1)

c=kp+h
≡-k+h (mod p+1)

a-c≡2k-2h (mod p+1)
a+c≡0 (mod p+1)


奇数をr、整数をs,tとして
r=k-h
a-c=(p+1)s+2r
a+c=(p+1)t

a+c=(p^n+1)c=(p+1)(p^(n-1)-p^(n-2)+p^(n-3)-…+1)c
となり、p^(n-1)-p^(n-2)+p^(n-3)-…+1は2で割れないから
tは奇数となる。

2a=(p+1)(s+t)+2r
a=(p+1)(s+t)/2+r
rとtが奇数だから、s+tは偶数になるのでsは奇数となる。
0150１３２人目の素数さん
垢版 |
2018/02/26(月) 12:49:33.91ID:lgc0LfCh
>>149 訂正
2a=(p+1)(s+t)+2r
(p+1)(s+t)=2(a-r)
p=2(a-r)/(s+t)-1

2c=(p+1)(t-s)-2r
c=(p+1)(t-s)/2-r



a=(p+1)(s+t)/2+r
=(s+t)p/2+(s+t+2r)/2

c=(p+1)(t-s)/2-r
=(t-s)p/2+(t-s-2r)/2

a=gp-g+h+k
c=kp+h
だから

g=(s+t)/2
-g+h+k=(s+t+2r)/2
k=(t-s)/2
h=(t-s-2r)/2

-g+h+k=-s-t+t-s-2r+t-s
=-3s+t-2r

s+t+2r=-3s+t-2r
4s+4r=0
∴s=-r

a-c=(p+1)(-r)+2r=-rp+r

g=(t-r)/2
-g+h+k=(r+t)/2
k=(r+t)/2
h=(t-r)/2
これにより、g=hが成立する。


a=gp+k
b=gp+g
c=kp+g

a-c=(g-k)p+k-g=(p-1)(g-k)
a+c=(g+k)p+g+k=(p+1)(g+k)

(a-c)/(g-k)+1=(a+c)/(g+k)-1
(g+k)(a-c)+(g-k)(g+k)=(g-k)(a+c)-(g-k)(g+k)
(g-k)(a+c)-(g+k)(a-c)=2(g-k)(g+k)
(g-k-(g+k))a+(g-k+g+k)c=2(g-k)(g+k)
-2ka+2gc=2(g-k)(g+k)
-ka+gc=(g-k)(g+k)
ka-gc=-(g-k)(g+k)
0151１３２人目の素数さん
垢版 |
2018/02/26(月) 12:51:02.69ID:lgc0LfCh
>>150 訂正
×>>149 訂正
〇>>149 つづき
0152１３２人目の素数さん
垢版 |
2018/02/26(月) 12:51:42.66ID:lgc0LfCh
>>150 つづき
(kp^n-g)c=-(g-k)(g+k)

g-k=c(p^(n-1)+…+1)より
u=p^(n-1)+…+1とすると
g-k=cu

(kp^n-g)c=-cu(g+k)
kp^n-g=-u(g+k)
(u-1)g=-kp^n-uk

u≡n (mod p-1)
g≡n(h+k)+k (mod p-1)
から
(u-1)g≡(n-1)(n(h+k)+k)≡n(n-1)(h+k)+(n-1)k (mod p-1)
-kp^n-uk≡-k-nk≡-(n+1)k (mod p-1)

n(n-1)(h+k)+(n-1)k+(n+1)k≡0 (mod p-1)
n(n-1)(h+k)+2nk≡0 (mod p-1)
n(n-1)h+n(n+1)k≡0 (mod p-1)

整数をqとしてp=4q+1だから、整数をvとして
n(n-1)h+n(n+1)k=4qv

k=(r+t)/2
h=(t-r)/2
より

n(n-1)(t-r)+n(n+1)(r+t)=8qv
tn^2+rn=4qv
n(nt+r)/2=2qv

整数をw,zとして
t=2w+1
r=2z+1とすると
(nt+r)/2=((4m+1)(2w+1)+2z+1)/2
=(8mw+4m+2w+2z+2)/2
=4mw+2m+w+z+1
となるから、(nt+r)/2は奇数となる。

よって、n(nt+r)/2は奇数となるから矛盾がおきる。

以上から、奇数の完全数は存在しない。
0153１３２人目の素数さん
垢版 |
2018/02/26(月) 12:59:58.13ID:lgc0LfCh
>>152 追加
g≡n(h+k)+kは以下のように計算されます。

g-k=(a-c)/(p-1)=(p^n-1)c/(p-1)
g-k=c(p^(n-1)+…+1)
g=c(p^(n-1)+…+1)+k

g≡(h+k)(p^(n-1)+…+1)+k (mod p-1)
p^(n-1)+…+1=(p^(n-1)-1)+1+(p^(n-2)-1)+1…+(p-1)+1+1)から
p^(n-1)+…+1≡n (mod p-1)となるので
g≡n(h+k)+k (mod p-1)

正しいと思われるレスは、
>>38,>>114,>>138,>>149-152
になります、
0154１３２人目の素数さん
垢版 |
2018/02/26(月) 13:59:45.68ID:sKRDHM6B
w+zは奇数だから(nt+r)/2は偶数
0155１３２人目の素数さん
垢版 |
2018/02/26(月) 14:33:00.48ID:R9jBckXx
>>150
これまで正しい証明が一度もないので普段は間違わないと言われても信じがたい
＞a=(p+1)(s+t)/2+r
＞=(s+t)p/2+(s+t+2r)/2
＞c=(p+1)(t-s)/2-r
＞=(t-s)p/2+(t-s-2r)/2
＞a=gp-g+h+k
＞c=kp+h
＞だから
＞g=(s+t)/2
＞-g+h+k=(s+t+2r)/2
＞k=(t-s)/2
＞h=(t-s-2r)/2
今日のおかしいところはここかな
a=gp-g+h+k=(s+t)p/2+(s+t+2r)/2 から
＞g=(s+t)/2
＞-g+h+k=(s+t+2r)/2
は言えないし
c=kp+h=(t-s)p/2+(t-s-2r)/2 から
＞k=(t-s)/2
＞h=(t-s-2r)/2
も言えない
0156１３２人目の素数さん
垢版 |
2018/02/26(月) 15:53:20.42ID:lgc0LfCh
>>155
それは、昔学生の時に数学の計算問題で
ほとんど間違えなかったということです。

指摘された部分は、aとcがpの一次式なので係数比較を
行ったものです。
0157１３２人目の素数さん
垢版 |
2018/02/26(月) 17:36:42.25ID:R9jBckXx
>>156
＞指摘された部分は、aとcがpの一次式なので係数比較を行ったもの
大方そんな考えかなと思ったので指摘した次第です
pは最初に仮定したyから一意に定まる値であり、独立変数ではありません
そのような場合、pの一次式を複数立ててそれらが等しいことを示しても一概に係数同士が等しいとはいえません
0158１３２人目の素数さん
垢版 |
2018/02/27(火) 06:27:43.64ID:ig+G0YaZ
>>157
pが一意に定まらないことを証明しました。


a=(p+1)(s+t)/2+r
=(s+t)p/2+(s+t+2r)/2

c=(p+1)(t-s)/2-r
=(t-s)p/2+(t-s-2r)/2

a=gp-g+h+k
c=kp+h
だから


(p+1)(t-s)/2-r=kp+h
(p+1)(t-s)=2kp+2h-2r
(p+1)(t-s)=2kp+4h-2k …⑤
(s-t+2k)p=-4h+2k-s+t …⑥
となるが、ここで
a-c=a+c-2c=(p+1)t-2(kp+h)
=(p+1)(t-2k)+2k-2h
r=k-hだから
s=t-2k
となり
(s-t+2k)p=-4h+4k
s-t+2k=0だから
-4h+4k=0
h=kとなるので、(2)に反するので矛盾がおきる。

(p+1)(s+t)/2+r=gp-g+h+k
(p+1)(s+t)=2gp-2g+2h+2k-2r
(p+1)(s+t)=2gp-2g+4h …⑦
(p+1)(s+t)=2g(p-1)+4h
(p+1)(s+t)/4=g(p-1)/2+h …⑧

a=(p+1)(s+t)/2+k-h
(a-k+h)/2=(p+1)(s+t)/4
a≡k-h (mod p-1)より、左辺は偶数で、(p+1)/2は奇数であるから
(s+t)/2は偶数となる。

これにより、⑧の左辺は偶数になり、hは偶数になる。
よって条件(1)、(2)により、gは偶数、kは奇数になる。

式⑦から式⑤を辺々引くと
2s(p+1)=2(g-k)p-2g+2k
s(p+1)=(g-k)p-g+k
s(p+1)=(g-k)(p-1)
s(p+1)/2=(g-k)(p-1)/2
となり、左辺は奇数に右辺は偶数になるので矛盾する。

以上から、pは一意の値にはならない。
0160１３２人目の素数さん
垢版 |
2018/02/27(火) 06:50:44.91ID:ig+G0YaZ
>>152 訂正
(kp^n-g)c=-(g-k)(g+k)

g-k=c(p^(n-1)+…+1)より
u=p^(n-1)+…+1とすると
g-k=cu

(kp^n-g)c=-cu(g+k)
kp^n-g=-u(g+k)
(u-1)g=-kp^n-uk

u≡n (mod p-1)
g≡n(h+k)+k (mod p-1)
から
(u-1)g≡(n-1)(n(h+k)+k)≡n(n-1)(h+k)+(n-1)k (mod p-1)
-kp^n-uk≡-k-nk≡-(n+1)k (mod p-1)

n(n-1)(h+k)+(n-1)k+(n+1)k≡0 (mod p-1)
n(n-1)(h+k)+2nk≡0 (mod p-1)
n(n-1)h+n(n+1)k≡0 (mod p-1)

整数をqとしてp=4q+1だから、整数をvとして
n(n-1)h+n(n+1)k=4qv

k=(r+t)/2
h=(t-r)/2
より

n(n-1)(t-r)+n(n+1)(r+t)=8qv
tn^2+rn=4qv
tn^2+rn=4qv
n(nt+r)/2=2qv

整数をw,zとして
t=2w+1
r=2z+1とすると
(nt+r)/2=((4m+1)(2w+1)+2z+1)/2
=(8mw+4m+2w+2z+2)/2
=4mw+2m+w+z+1

w+z=(t+r)/2-1
=k-1
だから
(nt+r)/2=4mw+2m+k
となり、kは奇数であるから(nt+r)/2は奇数となる。
よって、n(nt+r)/2は奇数となるから矛盾がおきる。

以上から、奇数の完全数は存在しない。
0161１３２人目の素数さん
垢版 |
2018/02/27(火) 08:22:37.18ID:sumzRYSG
自分でkは偶数と書いてんのに何で違うことになってんだ
あと計算間違い多すぎ
0163１３２人目の素数さん
垢版 |
2018/02/27(火) 10:06:50.82ID:RVqV86Rj
(p+1)(t-s)/2-r=kp+h
(p+1)(t-s)=2kp+2h-2r
この２行だけ見ても違う
もうお話にならない
0164１３２人目の素数さん
垢版 |
2018/02/27(火) 14:17:31.15ID:LJffKOFh
証明が完成したら10回読み直して10回計算し直す
大抵5回目で間違いに気が付く
確信は最大の敵だから、気をつけて
0165１３２人目の素数さん
垢版 |
2018/02/27(火) 19:58:54.02ID:ig+G0YaZ
>>158 訂正
a=(p+1)(s+t)/2+r
=(s+t)p/2+(s+t+2r)/2

c=(p+1)(t-s)/2-r
=(t-s)p/2+(t-s-2r)/2

a=gp-g+h+k
c=kp+h
だから


(p+1)(t-s)/2-r=kp+h
(p+1)(t-s)=2kp+2h+2r
(p+1)(t-s)=2kp+2k …⑤
(s-t+2k)p=-2k-s+t
となるが、ここで
a-c=a+c-2c=(p+1)t-2(kp+h)
=(p+1)(t-2k)+2k-2h
r=k-hだから
s=t-2k
となり
(s-t+2k)p=0
よって、pは不定になる。

(p+1)(s+t)/2+r=gp-g+h+k
(p+1)(s+t)/2+k-h=gp-g+h+k
(p+1)(s+t)/2=gp-g+2h
(p+1)(s+t)=2gp-2g+4h …⑥
(p+1)(s+t)=2g(p-1)+4h
(p+1)(s+t)/4=g(p-1)/2+h …⑦

a=(p+1)(s+t)/2+k-h
(a-k+h)/2=(p+1)(s+t)/4
a≡k-h (mod p-1)より、左辺は偶数で、(p+1)/2は奇数であるから
(s+t)/2は偶数となる。

これにより、⑦の左辺は偶数になり、hは偶数になる。
よって、条件(1)、(2)によりgは偶数、kは奇数になる。
0166１３２人目の素数さん
垢版 |
2018/02/27(火) 20:00:49.91ID:ig+G0YaZ
>>165 つづき
式⑥から式⑤を辺々引くと
2(p+1)s=2(g-k)p-2g+4h-2k
(p+1)s=(g-k)p-g+2h-k
(s-g+k)p=-g+2h-k-s
(s-g+k)(p-1)=2h-2k-2s
(s-g+k)(p-1)/2=h-k-s
(s-g+k)(p-1)/2=-r-s

ここで
c=(p+1)(t-s)/2-r
r=-c+(p+1)(t-s)/2
=-c+(p+1)t/2-(p+1)s/2
r+s=-c+(p+1)t/2-(p-1)s/2
となるので
(s-g+k)(p-1)/2=-(-c+(p+1)t/2-(p-1)s/2)
(s-g+k)(p-1)/2=c-(p+1)t/2+(p-1)s/2
(-g+k)(p-1)/2=c-(p+1)t/2
c=(p+1)t/2+(-g+k)(p-1)/2
2c=(p+1)t+(-g+k)(p-1)

2c≡(-g+k)(p-1)≡g-k (mod p+1) …⑧

⑥から
(p+1)(s+t)=2g(p+1)-4g+4h
(p+1)(s+t)/4=g(p+1)/2-g+h
-g+h≡0 (mod p+1)
∴g≡h (mod p+1)

⑧より
2c≡h-k (mod p+1)

c=kp+hだから
c≡-k+h (mod p+1)
となるから
2c≡2(-k+h)≡h-k (mod p+1)
-2k+2h≡h-k (mod p+1)
∴h≡k (mod p+1)
これは、条件(2)に反する。

以上から、素数pは一意の値を持つことがない。
0167１３２人目の素数さん
垢版 |
2018/02/27(火) 22:50:56.53ID:sumzRYSG
2(-k+h)≡h-k
これ見て2を付け損ねたんじゃないかと思って見直すとかしないのか
0168１３２人目の素数さん
垢版 |
2018/02/27(火) 23:38:44.68ID:RVqV86Rj
2c≡(-g+k)(p-1)≡g-k (mod p+1) …⑧
2を付け忘れた場所ってここかねえ
見直してないんだろうね
0170１３２人目の素数さん
垢版 |
2018/03/01(木) 10:54:12.07ID:AGXkXS1h
>>168
結構見直しはしているつもりです。

>>149 訂正
p=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)
-a-g+h=-gp-k、c-h=kpだから、

p=(-(-gp-k)±√((-gp-k)^2-4kgp))/(2g)
=(gp+k±√((gp-k)^2)/(2g)
=(gp+k±(gp-k)/(2g)
=p, k/g


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、mを整数としてn=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となり、
p-1が4の倍数であることが必要になる。


p=(c-2b)/(a-2b)、c-2b=(k-g)pより
a-2b=k-g
a-c=a-2b-(c-2b)=k-g-(k-g)p=(g-k)(p-1)

a>c、p-1>0より、g>k

g-k=(a-c)/(p-1)=(p^n-1)c/(p-1)
g-k=c(p^(n-1)+…+1)
g=c(p^(n-1)+…+1)+k

g≡(h+k)(p^(n-1)+…+1)+k (mod p-1)
p^(n-1)+…+1=(p^(n-1)-1)+1+(p^(n-2)-1)+1…+(p-1)+1+1)から
p^(n-1)+…+1≡n (mod p-1)となるので
g≡n(h+k)+k (mod p-1)


a=cp^n≡k+h (mod p-1)
2b=gp+h≡g+h (mod p-1)
c≡k+h (mod p-1)
a-c≡0 (mod p-1)
a+c≡2k+2h (mod p-1)


ap-c=(p^(n+1)-1)c=(p-1)(p^n+…+1)=(p-1)(p+1)(p^(4m)+p^(4m-2)+…+1)
ap-c≡0 (mod p+1)
ap-c≡-a-c≡-a-(-k+h)≡0 (mod p+1)
a≡k-h (mod p+1)

2b(p-1)=c(p^(n+1)-1)
2b=c(p^n+p^(n-1)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b≡0 (mod p+1)

c=kp+h
≡-k+h (mod p+1)
0171１３２人目の素数さん
垢版 |
2018/03/01(木) 10:57:02.36ID:AGXkXS1h
>>170 つづき
a-c≡2k-2h (mod p+1)
a+c≡0 (mod p+1)


奇数をr、整数をs,tとして
r=k-h
a-c=(p+1)s+2r
a+c=(p+1)t

a+c=(p^n+1)c=(p+1)(p^(n-1)-p^(n-2)+p^(n-3)-…+1)c
となり、p^(n-1)-p^(n-2)+p^(n-3)-…+1は2で割れないから
tは奇数となる。

2a=(p+1)(s+t)+2r
a=(p+1)(s+t)/2+r …⑤
rとtが奇数だから、s+tは偶数になるのでsは奇数となる。

2c=(p+1)(t-s)-2r
c=(p+1)(t-s)/2-r …⑥

c=kp+hから
(p+1)(t-s)/2-r=kp+h
(p+1)(t-s)=2kp+2h+2r
(p+1)(t-s)=2kp+2k …⑦
(s-t+2k)p=-2k-s+t
となるが、ここで
a-c=a+c-2c=(p+1)t-2(kp+h)
=(p+1)(t-2k)+2k-2h
r=k-hだから
s=t-2k
となり
(s-t+2k)p=0
よって、pは不定になる。

a=gp-g+h+kから
(p+1)(s+t)/2+r=gp-g+h+k
(p+1)(s+t)/2+k-h=gp-g+h+k
(p+1)(s+t)/2=gp-g+2h
(p+1)(s+t)=2gp-2g+4h …⑧
(p+1)(s+t)=2g(p-1)+4h
(p+1)(s+t)/4=g(p-1)/2+h …⑨

a=(p+1)(s+t)/2+k-h
(a-k+h)/2=(p+1)(s+t)/4
a≡k-h (mod p-1)より、左辺は偶数で、(p+1)/2は奇数であるから
(s+t)/2は偶数となる。

これにより、⑨の左辺は偶数になり、hは偶数になる。
よって、条件(1)、(2)によりgは偶数、kは奇数になる。

式⑧から式⑦を辺々引くと
2(p+1)s=2(g-k)p-2g+4h-2k
(p+1)s=(g-k)p-g+2h-k
(s-g+k)(p+1)=-2g+2h
(s-g+k)(p+1)/2=-g+h
(s-g+k)(p+1)/2≡-g+h≡0 (mod p+1)
∴g≡h (mod p+1)
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況