奇数の完全数の有無について [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
惜しいね
>xは偶数となるからxをp^nで割ることはできない。
偶数を奇素数で割り切れても不合理ではない
>pk^(qk+1)-1がpで割り切れるためにはフェルマーの小定理から
>sを非負整数としてqk+1=s(p-1)となることが必要
フェルマーの小定理が言っているのは必要条件ではなくて十分条件
つまりqk+1がp-1の倍数でないときにpk^(qk+1)-1がpで割り切れても不合理ではない >>29
>フェルマーの小定理が言っているのは必要条件ではなくて十分条件
>つまりqk+1がp-1の倍数でないときにpk^(qk+1)-1がpで割り切れても不合理ではない
pk^(pk+1)がpで割り切れるためには
pk^(pk+1)≡1 (mod p) …@
が必要であり、フェルマーの小定理からaとpが互いに素であるとき
a^(p-1)≡1 (mod p) …A
となるから
pk+1=s(p-1)が成立するときに、@が成立する
ということがいえると考える 必要条件ではなくて十分条件、というのは
sを非負整数として
>pk+1=s(p-1)が成立するときに、@が成立する ということがいえる
から、「@が成立する」ならば sを非負整数として「pk+1=s(p-1)が成立する」
とは必ずしも言えない。という意味です
例えば pk≡1 (mod p)であれば、任意の正整数nについて pk^n≡1 (mod p) です。
pk^(qk+1)≡1 (mod p) だけから、(qk+1) が p-1 の倍数とは言えないのです。 >>4の人が言っている通り、
>奇数の合成数をy、その素因数のうち一つをp、pの指数をn、
>p以外の素因数をp1,p2,p3,…pmとし、pkの指数をqk
かつnが奇数ならばqkはすべて偶数であることは言えます。
まずはこれを証明してみてはいかがでしょう? >>31
それでは、pをyの最大の素因数であるとすると
その問題は回避され2.の内容は正しくなると
思います。 なんで馬鹿は特定の例(例えばと書いてある)だけ避ければすべて解決すると思い込むのか
3^5-1=242は11の倍数だけど5は10の倍数じゃない >>33
ならんね
素数pよりはるかに小さい次数で奇素数の冪の剰余が1になる例だってある
7^5≡1(mod 2801)とかね
素数pについて、pの倍数でない整数mがp-1より小さな正整数kでm^k≡1(mod p)とならなければmをpの原始根という
任意の素数pについて、pより小さい素数がすべてpの原始根かというとそうではない
上の例では素数2801に対して素数7は原始根でない yが完全数である場合
y=(1+p+p^2+…+p^n)x-y
となるから
(1+p+p^2+…+p^n)x/2=y…@
1. qkに一つでも奇数がある場合
@から
(1+p+p^2+…+p^n)x/(2p^n)=y/p^n
y/p^n=Π[k=1,m]pk^qkで奇数であり、
分母は素因数2を一つ持ち、xは項数がSとなるので、qkが奇数
となる項の個数を非負整数tとするとxは素因数2をt個以上持つことに
なり偶数となる。
よって、1+p+p^2+…+p^nは奇数でなければならず、nは偶数でtは1で
なくてはならない。 2. qkが全て偶数の場合
y/p^nは奇数であり、分母は素因数2を一つ持ち、qkが全て偶数の場合、
Sは奇数となるからxは奇数となる。よって1+p+p^2+…+p^n≡2 (mod 4)
とならなければならない。よって、uを正整数としてn=4u+1でなければ
ならない。 清書版
奇数の完全数をy、そのうち一つの素因数をp、pの指数をn、
p以外の素因数をp1,p2,p3,…pmとし、pkの指数をqk、
素数p以外の積の組み合わせの合計をxとすると
x=Π[k=1,m](1+pk+pk^2+…+pk^qk) …@
xの項数Sは
S=Π[k=1,m](qk+1) …A
となる
yが完全数である場合
y=x(1+p+p^2+…+p^n)-y
となるから
xΣ[k=0,n]p^k/2=y
xΣ[k=0,n]p^k/(2p^n)=y/p^n …B
1. qkに一つでも奇数がある場合
qkが奇数となる項の個数を正整数tとすると、
y/p^n=Π[k=1,m]pk^qkは奇数であり、左辺の分母は素因数2を
一つ持つので、Aから、xは素因数2をt個以上持つことになり
偶数となる。
よって、Σ[k=0,n]p^kは奇数でなければならず、nは偶数でtは1で
なければならない。
2. qkが全て偶数の場合
y/p^nは奇数、左辺の分母は偶数であり、qkが全て偶数の場合に
Sは奇数となるから、xは奇数となる。よって、
Σ[k=0,n]p^k≡0 (mod 2)
となることが必要で、nは奇数でなければならない。
1,2から、奇数の完全数が存在するためには、
yの素因数の指数は一つだけ奇数にならなければならない。 奇数の完全数は(存在するならば)「奇数の平方と奇素数の積となることが必要」って条件は広く知られてるしこれ以上掘り下げなくてもよくね? >>38を書いていてpが他の素数と同じ事やってるのに気付かないものか
Πp^nが奇数の完全数
Π(1+p+p^2+...+p^n)=2Πp^n
1+p+p^2+...+p^nの一つが偶数で残りは奇数
nの一つが奇数で残りは偶数
さらに進めると
1+p+p^2+...+p^nが偶数のときは4の倍数+2で
1+p+p^2+...+p^nは1+pの倍数だからpは4の倍数+1
1+p+p^2+...+p^nを4で割った余りとn+1を4で割った余りは等しいからnは4の倍数+1 >>42
1+3+9+27=40≡0 (mod 4) >>43
1+p+p^2+...+p^nが4の倍数だったらyが奇数にならないでしょ >>38の続き
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)
なるが、pは整数であるからpはa-2bを約数に持ち、pが素数ある
ことに矛盾する。
以上から、奇数の完全数は存在しない。 >>45 訂正
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)
となる。
aはbで割り切ることができるから、整数dをd=a/bとすると
a-2b=bd-2b=b(d-2)
となる。b>1であることから、|a-2b|は1にならない。
よって、pは約数a-2bを持つことになり、素数であることに矛盾する。
以上から、奇数の完全数は存在しない。 >p=(c-2b)/(a-2b) となる。
>よって、pは約数a-2bを持つ
こういうこと言ってるようではアカンです >>48
>>47では、|a-2b|>1としていますが。 >>49
よく考えようよ
>p=(c-2b)/(a-2b)
から
(c-2b)は約数(a-2b)を持つ
ことは言えるけど
>pは約数a-2bを持つ
とは言えんでしょうが >>48
その部分は誤りでした。
>>47 訂正
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)
となる。
aはbで割り切れるから、整数dをd=a/bとすると
p=(d/p^n-2)/(d-2)
となるが、p^n>1であるから、p<1となりpが素数であることに矛盾する。
以上から、奇数の完全数は存在しない。 >>51
>aはbで割り切れる
どうしてそう言い切れる? >>52
有理数にしました。
>>51 訂正
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=(d/p^n-2)/(d-2)
となるが、p^n>1であるから、p<1となりpが素数であることに矛盾する。
以上から、奇数の完全数は存在しない。 奇数であることを使ってないからその証明が正しいなら偶数の完全数も存在しないことになるからおかしいってことに気づけ
a/b=(2p^n)/(1+p+p^2+…+p^n)なんだからdは2より少し小さい数
(d/p^n-2)は-2より少し大きい数
(d-2)は0より少し小さい数
(d/p^n-2)/(d-2) は1より大きい数だから矛盾なんてしていない >>56
矛盾につながる部分に>>54の最初の行から上は全く使われてない >>54 訂正
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とすると
ap-2bp+2b=a/p^n
a(p-1/p^n)=2(p-1)b
d=2(p-1)/(p-1/p^n)
(p-1)/(p-1/p^n)<(p-1)/pであり、pは2より大きい素数であるから
p>2+1/p^n
2(p-1)>p-1/p^n
2(p-1)/(p-1/p^n)>1
となるから、dは1<d<2(p-1)/p …C
の値をとる。
p=(2b-a/p^n)/(2b-a)
p=(2-d/p^n)/(2-d)
pはCの範囲で、変数dの単調増加関数であるから
(2-1/p^n)<p<(2-2(p-1)/(pp^n))/(2-2(p-1)/p) …D
右辺は
(2-2(p-1)/(pp^n))/(2-2(p-1)/p)
=(p-(p-1)/(p^n))/(p-(p-1))
=p-(p-1)/(p^n)
となるから、Dは
(2-1/p^n)<p<p-(p-1)/(p^n)
となるが
p<p-(p-1)/(p^n)は成立することはないから、Cは成立しない。
以上から、奇数の完全数は存在しない。 >>58 訂正
×p<p-(p-1)/(p^n)は成立することはないから、Cは成立しない。
〇p<p-(p-1)/(p^n)は成立することはないから、Dは成立しない。 >(p-1)/(p-1/p^n)<(p-1)/pであり、pは2より大きい素数であるから
p-1/p^n<pだから(p-1)/p<(p-1)/(p-1/p^n) >a=Π[k=1,m](1+pk+pk^2+…+pk^qk)
>b=Π[k=1,m]pk^qk
>a/p^nは整数となりこれをcとする
>p=(c-2b)/(a-2b) となる。
aと2bの大小は定義からは明らかでない。したがって場合わけをする
1)a>2bの場合
以下の主張は正しいように思われる
>有理数dをd=a/bとするとp=(d/p^n-2)/(d-2)となるが、
>p^n>1であるから、p<1となりpが素数であることに矛盾する。
2)a=2bの場合
これは即ちbが奇数の完全数であることを示している
そのような例が存在するかは別途証明が必要
3)a<2bの場合
p=(2b-a/p^n)/(2b-a)となる。
pは奇素数であるから(2b-a/p^n)/(2b-a)≧3
よってこの場合、2b/aについて解くと
3/2-1/(2p^n)≧2b/a>1
であることが必要といえる >>61
2)a=2bの場合
(2b-a/p^n)=(2b-a)pの式は
左辺は0でなく、右辺は0であるため成立しない
以上より「3)a<2bの場合」であることが必要 正整数Nの正の約数の総和とNの比を「Nの約数和比」というとして、
正整数Nが完全数であることはNの約数和比が2であることと同値である。
素数pと正整数qについて、D(p,q)をp^qの約数和比と定義するとき、
素因数分解表示N=Π[k=1→m]pk^qk(i≠jのとき素数pi≠素数pj,かつqk≧1)を持つ
正整数Nについて、Nの約数和比はΠ[k=1→m]D(pk,qk)であるから、このとき、
正整数Nが完全数であるということはΠ[k=1→m]D(pk,qk)=2と同値である。
ところで、D(p,q)=Σ([j=0→q]p^j)/p^q=1+(1-1/p^q)/(p-1)であるから、
任意の素数pと正整数qについて1<D(p,q)<2である。
1<D(pk,qk)であるから、D(pk,qk)は1つ乗じる毎に約数和比は必ず増加する。
D(pk,qk)を乗じてゆくといつか2を超える(ここでは「バーストする」と表現する)かもしれない。
D(p,q)の性質を調べ、それらを幾つどのように掛け合わせればバーストするかしないかを
調べることは、奇数の完全数の存在性を調べる為に有用であると考える。
・D(p,q)は、定義域でqについて単調増加である。(つまりq1<q2⇒D(p,q1)<D(p,q2))
・D(p,1)=1+1/p,D(p,2)=1+(p+1)/pp,...,lim[q→∞]D(p,q)=1+1/(p-1)であり、
任意の素数pと自然数q≧1について1+1/p≦D(p,q)<1+1/(p-1)である
・D(p,q)は、定義域でpについて単調減少である。(つまりp1<p2⇒D(p1,q)>D(p2,q)) >>63のつづき
これらの性質を使うと、例えば以下のことが言える
・奇数の完全数は少なくとも3種類の素因数を持つ
∵1<D(p1,q1)<2のため1種類の奇素数を素因数に持つN=p1^q1は完全数でない。
2種類の奇素数を素因数に持つN=p1^q1・p2^q2は、p1=3,p2=5のとき
約数和比はD(3,q1)D(5,q2)<(1+1/2)(1+1/4)=15/8<2であり、
他の奇素数の組み合わせではこれよりも更に小さくなる。
・奇数の完全数がちょうど3種類の素因数を持つならば、最大の素因数は7を超える
∵3つの素数p1≦p2≦p3を7以下の奇素数の組み合わせで選ぶとp1=3,p2=5,p3=7であるが、
pk≡1(mod 4)となるpkがp2=5のみなのでq2は奇数、q1,q3は偶数である。
約数和比の下界はD(3,2)D(5,1)D(7,2)=(1+4/9)(1+1/5)(1+8/49)=494/245>2
となり、D(3,q1)D(5,q2)D(7,q3)はこれより大きいので必ずバーストする。
とまあ、こんな感じでひとつひとつ性質を調べていって積み上げることになるのでは。 >>38と>>58でQ.E.D.ではないかと思います
acceptだと聞こえてきていますし
本当かどうかは分かりませんが >>58
>(p-1)/(p-1/p^n)<(p-1)/pであり、
この部分が誤り >>58 訂正
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とすると
ap-2bp+2b=a/p^n
a(p-1/p^n)=2(p-1)b
d=2(p-1)/(p-1/p^n)
(p-1)/(p-1/p^n)<(p-1)/(p-1/p)
(p-1)/(p-1/p^n)<p/(p+1)
であり、pは2より大きい素数であるから
p>2+1/p^n
2(p-1)>p-1/p^n
2(p-1)/(p-1/p^n)>1
となるから、dは1<d<p/(p+1) …C
の値をとる。
p=(2b-a/p^n)/(2b-a)
p=(2-d/p^n)/(2-d)
pはCの範囲で、変数dの単調増加関数であるから
(2-d/p^n)<p<(2-p/((p+1)p^n))/(2-p/(p+1)) …D
右辺は
(2-p/((p+1)p^n))/(2-p/(p+1))
=(2p+2-p/p^n)/(p+2)
=2+(2-p/p^n)/(p+2)<3
となり、Dから
(2-d/p^n)<p<3
が成立することから、pが素数であることに矛盾する。
以上から、奇数の完全数は存在しない。 >>68
×pが素数であることに矛盾する。
〇pが奇素数であることに矛盾する。 p=3とすれば6という完全数も存在しないことになるな >>68 訂正
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とすると
ap-2bp+2b=a/p^n
a(p-1/p^n)=2(p-1)b
d=2(p-1)/(p-1/p^n)
p=(2b-a/p^n)/(2b-a)
p=(2-d/p^n)/(2-d) …C
(p-1)/(p-1/p^n)<(p-1)/(p-1/p)
(p-1)/(p-1/p^n)<p/(p+1)
であり、pは2より大きい素数であるから
p>2+1/p^n
2(p-1)>p-1/p^n
2(p-1)/(p-1/p^n)>1
となるから、dは1<d<p/(p+1) …D
の値をとる。
p/(p+1)<1であるから、Dを満たす整数dが存在しないので
Cを満たす素数pは存在しない。
以上から、奇数の完全数は存在しない。 >>70
奇数の完全数が存在しないことの証明をしています >>72
偶数には使えないことは使ってないから偶数の完全数も存在しないことになるが >>73
pが2より大きい素数をいう条件が途中にある 6が完全数だとするとy=6,p=3として>>71を使うと1<d<3/4となって矛盾するから6は完全数じゃない >(p-1)/(p-1/p^n)<(p-1)/(p-1/p)
これマチガイよ >>77
じゃないか
>d=2(p-1)/(p-1/p^n)
>(p-1)/(p-1/p^n)<p/(p+1)であり、
>となるから、dは1<d<p/(p+1) …D
2を掛けるの忘れてるよ >>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は出てこない
出てきたとしたら導出が誤っている >>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の偶奇は反対になっている。 >>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が整数になることに矛盾する。
以上から、奇数の完全数は存在しない。 東アジアなら 兵糧、金、兵士数の実数の ほうが大事だと思われ。
僕は1なんて数を打ち続けても、レア化しないで、直観数術にならないし、
駄目だと思うけどなあ。虚数となるとさらに。 >>81 長いね
>pj=gi
>pは素数だから、i=1で、g=pjでなければならい
iがpの倍数でないとなぜ言えるの? >>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
新しい変数を持ち出すときは、その意味するところを考えた方がいい 数学は一度部分点が出たぐらいで意外に特異な方。確率統計は
ギャンブル好きだから、確実には極めない方がよい。 記号が簡単すぎて幼いころに積み上げた数学が台無しになる。数も小数点
分数、数自体の集合分岐がないから、つまらないものにしたくない。 数式を血統と数式で議論するのも本末転倒だが、詩学と数学の相性を考えると、
数式は真 空 中に建てる方が 綺麗かもしれない。将来は。
私は他者であり、数学は自分だ。
般若心経よりもいいのか。はたして。 >>82
>a((p^n-1)/p^n)=(p-1)(up-k)
>a/(p^n(p^(n-1)+p^(n-2)+…+p+1))=up-k
ここの変換も違う
分母と分子を取り違えてる >>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が整数になることに矛盾する。
以上から、奇数の完全数は存在しない。 >>90
>(p^n-1)/p^n≡0 (mod p-1)
左辺は整数じゃないよねえ… >>90
あと、
>a≡h+k (mod p)で、a≡0 (mod p)
これはg≡0(mod p)が証明できてないから言えない >>92
>>81に書いてあります。
>>38, >>80-81, >>90が正しいと思われるレスです。 奇数に完全がないのは当たり前だが奇数を経て完全というのもおかしい話だな。 >>64
二番目のは3種類に限らない
4種類以上でも成り立つ
つまり3と5と7を同時に約数にもつ完全数は存在しない
言い換えると、105の倍数は完全数でない 約数といったって 詩を引いて隠す感じが大事であって、数よりクオリア向きだよな。 >>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
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は奇数となるが
Cの右辺は偶数であるから矛盾が生じる。
よって、上記の整数b,gは存在しない。
以上から、奇数の完全数は存在しない。 全ての証明は
>>38, >>80, >>98
となります。 >>98
うん。矛盾しないね
>g≡h+k (mod p)
>hとkの偶奇は逆だから、h+kは奇数となるが
>Cの右辺は偶数であるから矛盾が生じる。
pは奇数だからね
偶数≡奇数 (mod p) でも何も問題ない
あのさ、いい加減書き込む前に自分で検証しようよ >>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の偶奇は一致する。 >>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 >>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は存在しない。
以上から、奇数の完全数は存在しない。 ap=cp^(n+1)が間違ってるし
cとp^n+…+1は両方とも奇数にはならない >y/p^n=a(1+p+p^2+…+p^n)/(2p^n)=b
ここに戻っただけ >>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 となり矛盾しない
何度も言われてるけど検算しましょう >>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 が恒等式になるのです >>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) >>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 >>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)の条件と矛盾する。
以上から、奇数の完全数は存在しない。 |(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の 倍数とはいえません >>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)の条件と矛盾する。
以上から、奇数の完全数は存在しない。 >>118 訂正
>g≡2(mh-qr)+(2m+1)k (mod p-1)
g≡2(mh-qr)h+(2m+1)k (mod p-1) いつになったら自分で確認できるようになるのか
>b≡g+h (mod p-1)より
なんて出るわけないだろ >>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の倍数であることが必要になる。
Cのpに関する2次方程式が、p=4q+1とk/gの2解を持つとすると
以下の式が成立しなければならない。
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)に矛盾する。
以上から、奇数の完全数は存在しない。 >>121
>Cのpに関する2次方程式が、p=4q+1とk/gの解を持つとすると
p=k/gだと矛盾すると自分で言っておきながらなぜそういう仮定をするのか
最初から正しくない式を持ち出してそこから矛盾を引き出すことを背理法とは言いません >>121
>Cのpに関する2次方程式が、p=4q+1とk/gの2解を持つとすると
以下の式が成立しなければならない。
>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の項は消える >>123
訂正します。
>g(p-4q+1)(p-k/g)-gp^2+(-a-g+h)p+c-h=0
g(p-4q+1)(p-k/g)-(gp^2+(-a-g+h)p+c-h)=0 >>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の倍数であることが必要になる。
Cのpに関する2次方程式が、p=4q+1とk/gの2解を持つとすると
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)に矛盾する。
以上から、奇数の完全数は存在しない。 >>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
>>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)と矛盾する。
以上から、奇数の完全数は存在しない。 >>128
>g≡(4m+1)h+(4m+2)k (mod p-1)
>となり、gとhの偶奇が異なる
なにゆえ?
g≡奇数×h+偶数 (mod 偶数) なのに? ■ このスレッドは過去ログ倉庫に格納されています