X
トップページ⇒数学
1002コメント403KB
奇数の完全数の有無について2
■ このスレッドは過去ログ倉庫に格納されています
0267１３２人目の素数さん
垢版 |
2018/04/17(火) 22:08:05.63ID:jpVKhS7g
どうもならんよ
0269１３２人目の素数さん
垢版 |
2018/04/17(火) 22:29:30.52ID:sPZflTPz
>>268
rejectされて、またこのスレと同様の展開をレフリーとやるつもりやろ
0271１３２人目の素数さん
垢版 |
2018/04/17(火) 22:42:22.91ID:b7hx7JCQ
>>269
リジェクトしたら、レフェリーとしては付き合う必要はないから、こっちが荒れる
0274１３２人目の素数さん
垢版 |
2018/04/18(水) 08:43:06.05ID:pXg6LhEN
書き込みがなくなりましたが、諦めたんですかね
「撤回します、ありがとうございました」くらい言えないんでしょうか
0275１３２人目の素数さん
垢版 |
2018/04/18(水) 09:34:31.61ID:eA1tCMTm
備忘

・素因数が2つのとき、奇数の完全数は存在しない

・2^a×p^bが完全数ならば、
｛2^(a+1)+p^(b+1)-1｝/(2^a×p^b)=2 が成り立つ。
0279１３２人目の素数さん
垢版 |
2018/04/18(水) 14:55:22.67ID:Jn58opWQ
奇数の完全数が存在した場合にその異なる素因数の個数が4つ以上なのは古典的な結果で、今は9個以上なのがわかっているようだ
0280１３２人目の素数さん
垢版 |
2018/04/18(水) 15:14:14.02ID:MuWE3AmY
>>279
ただ、wikipedia情報だとコンピュータによる証明で、論理による証明ではないようですね。
0281１３２人目の素数さん
垢版 |
2018/04/18(水) 15:33:07.73ID:Jn58opWQ
>>280
9個以上の話かな。論理による証明なのは当然だけど、場合分けが多いなど人の手だけで処理しきれないところは計算機のお告げってとこかな。
0282１３２人目の素数さん
垢版 |
2018/04/18(水) 15:50:11.04ID:DxTkbGVb
査読依頼して撤回して依頼して撤回して…って相手側の迷惑になるとか考えないんだろうか
0283１３２人目の素数さん
垢版 |
2018/04/18(水) 17:47:06.69ID:o23BE7D7
>>282　このスレで吟味が終わった後に提出した方がよさそう…
0284１３２人目の素数さん
垢版 |
2018/04/18(水) 19:59:12.97ID:1gHAyU8t
>>246 の考えを少し進めて、奇素数pを与えたとき、σ(q^e)がpの倍数となるような奇素数qを求める方法について考察してみました。
この問題の場合、特にeが偶数のときが興味の対象となると思います。

i) e=2 のとき: σ(q^2)≡0 (mod p)
q^2+q+1≡0 (mod p) これは、p と 4 が互いに素なので、以下と同値
4q^2+4q+4≡0 (mod p)
(2q+1)^2≡-3 (mod p) ここで S^2≡-3 (mod p) となる S があると仮定すると（p によっては存在しない可能性あり）
2q+1≡±S (mod p)
つまり、S^2≡-3 (mod p) となる S が存在するとき、S が奇数ならば q≡(-1±S)/2 (mod p), S が偶数ならば q≡(-1±S+p)/2 (mod p) となる q を求めるとよい。
(-1±S)/2, (-1±S+p)/2 が p の倍数でなければ、Dirichlet の算術級数定理より、素数となる q は必ず存在する。
(-1±S)/2, (-1±S+p)/2 が p の倍数であれば、p も qも素数なので、q=p が解である。

ii) e=4 のとき: σ(q^4)≡0 (mod p)
q^4+q^3+q^2+q+1≡0 (mod p)
4q^4+4q^3+9q^2+4q+4≡5q^2 (mod p) ここで S^2≡5 (mod p) となる S があると仮定すると（存在しない可能性あり）
(2q^2+q+2)^2≡(Sq)^2 (mod p)
2q^2+q+2≡Sq (mod p) (複号省略)
2q^2+(1-S)q+2≡0 (mod p)
16q^2+8(1-S)q+16≡0 (mod p)
16q^2+8(1-S)q+(1-S)^2≡(1-S)^2-16 (mod p)
(4q+1-S)^2≡1-2S+S^2-16≡-2S-10 (mod p) ここで T^2≡-2S-10 (mod p) となる T があると仮定すると（同上）
4q+1-S≡±T (mod p)
q≡(-1+S±T+kp)/4 (mod p) （-1+S±T+kp が 4 の倍数になるように整数 k を選ぶ）

この方針の問題点は、S^2≡-3 (mod p) を解くときに必要な奇素数 p を法とした開平の簡単な方法が思いつかないことと、
e が大きくなると代数的に解けない可能性があるという点です。
0285１３２人目の素数さん
垢版 |
2018/04/18(水) 20:25:33.11ID:pJZE3oYD
>>282
間違いが分かっているのに査読依頼を続けるのはよくないと思い撤回しました。

>>278
再度提出しました。
0286１３２人目の素数さん
垢版 |
2018/04/18(水) 20:51:06.40ID:2lOHUAIB
>>275を変形すると、

2^(a+1)=(1+p+p^2+…+p^b)/{1+p+p^2+…+p^(b-1)}

になるんだよねぇ。
これって、メルセンヌ素数と完全数の関係を言い換えた表現なのかな？
0287１３２人目の素数さん
垢版 |
2018/04/18(水) 20:51:10.19ID:pXg6LhEN
どれだけ訂正を繰り返してるか知りませんが、訂正が数多くあるのに何故まだ大筋では正しいと思えるのでしょうか
0288１３２人目の素数さん
垢版 |
2018/04/18(水) 20:52:03.58ID:liZ/ltrT
>>285
???
0289１３２人目の素数さん
垢版 |
2018/04/18(水) 21:00:43.21ID:pJZE3oYD
>>287
訂正を繰り返しても、数学的に正しい証明が得られればよいのではないでしょうか？
0290１３２人目の素数さん
垢版 |
2018/04/18(水) 21:03:55.71ID:ocgwembx
>>275
>>286
そんなの成り立つわけない
0291１３２人目の素数さん
垢版 |
2018/04/18(水) 21:06:05.15ID:2lOHUAIB
>>290
すべてのp,a,bで成り立つわけじゃないよ。
2^a×p^bが完全数のときね。
嘘だと思うなら、完全数として知られている数で試してみな。
0292１３２人目の素数さん
垢版 |
2018/04/18(水) 21:09:49.42ID:ocgwembx
試してみなとか言うなら自分でやってから言え
>>286の右辺はpより少し大きい数で整数じゃないぞ
0293１３２人目の素数さん
垢版 |
2018/04/18(水) 21:16:41.13ID:2lOHUAIB
>>290
例えば、5番目の完全数33550336は2^12×8191だから
(2^13+8191^2-1)/(2^12×8191)
=(8192+67092481-1)/(2^12×8191)
=67100672/(2^12×8191)
=(2^13×8191)/(2^12×8191)
=2
で成り立つ。
0294１３２人目の素数さん
垢版 |
2018/04/18(水) 21:19:23.90ID:EycHDXr6
>>283
提出したってのが嘘なんだから、ほっとけば？

こちらは「早く査読の結果がでればいいねー」と、査読の結果とやらが出るまで静観しとけばいい
0295１３２人目の素数さん
垢版 |
2018/04/18(水) 21:19:48.99ID:2lOHUAIB
>>292
書き方が悪かったかもしれないが、
2^12×8191を例にすると右辺＝1+8191^1/1ね
分母は8191^0だから
0299１３２人目の素数さん
垢版 |
2018/04/18(水) 23:40:04.41ID:pXg6LhEN
>>289
数学的に正しくないから訂正するんですよね
それを繰り返してもなお正しいと信じられる自信はどこから来るのでしょうか

あとはやくy=105として計算してみてください
0300１３２人目の素数さん
垢版 |
2018/04/18(水) 23:51:14.68ID:2lOHUAIB
完全数って2^n×pの形の数しか見つかってないんだっけ？

完全数のときに成り立つ式を見ながらふと思ったんだけど、

なんかフェルマーの最終定理と似たにおいがするなぁ
0301１３２人目の素数さん
垢版 |
2018/04/19(木) 01:16:39.45ID:YjR9vHKt
>>300
見つかっていないというより、整数a,b、素数pについて「2^a×p^bが完全数」ならばb=1でしかありえない。
よって>>275の言及は真ではある。あるのだが、そこで立てた式はb≠1については意味をなさない。
0302BLACKX ◆jPpg5.obl6
垢版 |
2018/04/19(木) 06:09:43.49ID:R/qWnIK8
違う。間違ってる
それはpが素数と言うメルセンヌ数の関係で成り立たないんよ
まず、
Mp = (2^p) − 1 が素数ならば pもまた素数であるが、逆は成立しない

Mp= (2^p) − 1が素数ならば、(2^p−1)((2^p) − 1)が完全数だよ
これはオイラーによって証明されてる。
0303１３２人目の素数さん
垢版 |
2018/04/19(木) 06:24:05.52ID:YjR9vHKt
何を言うとるか
って感じだけどスレチなので弁護はしないでおくよ
うん、アンタが正しい
0304１３２人目の素数さん
垢版 |
2018/04/19(木) 07:29:41.77ID:70j8p6l3
いくらキチガイの相手をしたくないからと言って、
>>302のような間違ったツッコミに「アンタが正しい」だなんて、
ID:YjR9vHKt は数学徒として失格だよ。
0306１３２人目の素数さん
垢版 |
2018/04/19(木) 15:22:52.95ID:donIV//c
>>284
p≡1(mod e+1)のときは、x^e+…+1≡0 (mod p)にはもっとスマートな解法があって、
両辺にx-1を乗じてx^(e+1)-1≡0(mod p)となるので、x^(e+1)≡1(mod p)
一方、s≡0(mod p)でないsについてs^(p-1)≡1(mod p)なので、r≡s^((p-1)/(e+1)) (mod p)となるrを求めると必ずr^(e+1)≡1(mod p)となる。
そのようなrがr≡1(mod p)でなければ、x≡rは必ずx^e+…+1≡0 (mod p)の解である。
この方法なら、大きなeの値でも使えるし、平方根を求めようとしなくてもいい。
0307１３２人目の素数さん
垢版 |
2018/04/19(木) 20:07:08.75ID:KPc2U93/
論文どうなった？
0309１３２人目の素数さん
垢版 |
2018/04/20(金) 18:42:10.32ID:6Ols9EEQ
盛り上がってますね
0321166
垢版 |
2018/04/23(月) 13:52:25.23ID:tRoec2zq
Rejectされました。理由は書いていません。

正しい証明が完成しているのにも関わらず、否定されました。
2018年04月18日にこの証明は、私により解決されています。

早稲田の応用物理学科卒の学士を馬鹿にしているのでしょうか？

日本の数学会はおかしい。それ以上のものではない。
0323１３２人目の素数さん
垢版 |
2018/04/23(月) 14:02:56.92ID:tRoec2zq
かくなるうえはまた、アップローダーに日本語と英語の論文と
もう一つのバージョン計4ファイルを上げた方がいいのでしょうか。
そうすれば、一般の数学者及び数学研究者にそれを承認してもらえるのでしょうか？
どうすればよいのかご教授いただきたいものです。

意味不明にRejectされて不愉快極まりない。
世紀の問題の正しい証明を否定する意図が分かりません。
0324１３２人目の素数さん
垢版 |
2018/04/23(月) 14:05:04.19ID:tRoec2zq
>>322
＞Under the name of the editorial committee, we regret to inform you
＞that we are unable to accept your paper entitled:

＞ Proof that an odd complete number does not exist
＞ by

＞submitted to the Journal of the Mathematical Society of Japan.

＞We would like to thank you very much for having forwarded
＞your manuscript to us and wish you every success
＞in finding an alternative place for publication.

＞Sincerely yours,

＞
＞Editor-in-chief
＞Journal of the Mathematical Society of Japan
0325１３２人目の素数さん
垢版 |
2018/04/23(月) 14:10:27.86ID:tRoec2zq
Googleの翻訳は証明ではなくて、照明じゃないのと調子に乗っていてました。
反吐が出る負け惜しみっぷりですね。
0326１３２人目の素数さん
垢版 |
2018/04/23(月) 14:13:59.15ID:tRoec2zq
それと私はTOEIC700点なので、英語のリテラシーは普通だと思うんですが
何故、英語が通じるでしょうかと言うような内容でJSMJの人間に
馬鹿にされなければならないのでしょうか？

英語なんて誰でも話せる言語で、馬鹿にされる筋合いはないと思うのですが。
0328１３２人目の素数さん
垢版 |
2018/04/23(月) 14:38:00.53ID:DP19h/0l
>>324 最初から査読する意思ないってことだねぇ…
0329１３２人目の素数さん
垢版 |
2018/04/23(月) 15:03:38.68ID:tRoec2zq
日本人は気に入らない日本人の数学的成果は見ないと。
終わってますね。

arxivにあげようかと思いましたが承認が必要です。良ければ
takakikを承認してもらえるようお願いいたします。

褒めなくていいという内容も最近テレビから聞こえてきました。
褒めていい人間も決まっているようですが、そんなんでいいんですか？
0330１３２人目の素数さん
垢版 |
2018/04/23(月) 15:05:55.28ID:tRoec2zq
フィールズ賞級の成果が他の国にいってもいいというんですかね。

馬鹿らしいのもほどがある。
0332１３２人目の素数さん
垢版 |
2018/04/23(月) 15:14:15.85ID:tRoec2zq
そうは問屋が卸さないということで、初めからこうなることは
分かっていたのですね。

この証明は誰もしてはいけないものなのでしょうか？
それとも、私だから無視されるのでしょうか？

正しい証明なのに勿体ないですね。

このまま奇数の完全数はあるかないか分からないということにしておくと
何かメリットがあるのでしょうか？

意味不明な数学の発展に対する妨害活動には怒りを禁じえません。
0333１３２人目の素数さん
垢版 |
2018/04/23(月) 15:25:02.00ID:DP19h/0l
>>332
＞それとも、私だから無視されるのでしょうか？
一般に、著者のネームが学術論文の採択に影響を与えるとは言われているよ。
0334１３２人目の素数さん
垢版 |
2018/04/23(月) 15:30:02.48ID:tRoec2zq
>>333
それはそうかもしれないけど、誰も初めは無名でしょう。

未解決問題の証明は価値が高いと考えられるし、量も5ページで短いから
読んでもらいたいものです。
数学の進歩が要らないとは相当病的だと思います。
0335１３２人目の素数さん
垢版 |
2018/04/23(月) 15:36:55.37ID:S0y1Ti84
こうなることは、本人以外わかってたんだよなあ

てか、英語の能力がある人間がgoogle翻訳なんか使うなw
0337１３２人目の素数さん
垢版 |
2018/04/23(月) 15:47:48.93ID:q8wtXgp3
君から数学会への心配なんて余計なお世話だよ
未だに自分以外誰一人として納得させられてない論文モドキでよく言えるわ
0338１３２人目の素数さん
垢版 |
2018/04/23(月) 15:50:31.36ID:tRoec2zq
>>336
じゃあ数学的に正しいのか一つめの最終的な版を公開しますが
あなたに判定してもらえるのでしょうか？
あなたにが良とすれば、社会的に認知されるのでしょうか？
日本語がいいですか、英語がいいですか？
0339１３２人目の素数さん
垢版 |
2018/04/23(月) 15:52:13.18ID:tRoec2zq
>>337
6回見直しをして間違いがないことを確認している。
私は無職で社会から完全に孤立しているから仕方がない。

完全に盗聴されそれがテレビやネットニュースで利用されているが。
0340１３２人目の素数さん
垢版 |
2018/04/23(月) 15:55:51.89ID:grwF+KXY
なんで一人に委ねようとするのか
沢山の人の承認が必要なんだよ
残念ながらあなたが孤立しているこの社会ではね
0342１３２人目の素数さん
垢版 |
2018/04/23(月) 16:01:38.38ID:VGN1rAK6
ここのスレでいろんな人に査読（チェック）とコメントして貰えただけ恵まれてると思うよ
大抵の素人の証明は読まないかちょっと見ても議論になってないからほぼリジェクトするし、どこに誤りがあるかわざわざ時間をかけてコメント書くこともない
誤ってる部分や議論の仕方を教えて貰えるというのはそれだけで価値があるから次に活かせるといいね
とりあえず大学レベルの基礎理論でも学んでみたら
自分独自のやり方を見つけたいにしてもある程度の基礎はしらないと
知ってる事で着想の範囲も広がるし
0344１３２人目の素数さん
垢版 |
2018/04/23(月) 16:05:20.63ID:grwF+KXY
>>341
そう解釈したのね
俺が数学だと
社会から孤立して自分一人ならそうかもね
社会的な数学とは「数学に関する様々なコミュニティーが存在してそれらが結び付き合い統一的な解釈を目指すシステム」の事だよ
君もそれに参加すればいい
それだけの話
0345１３２人目の素数さん
垢版 |
2018/04/23(月) 16:07:44.75ID:VGN1rAK6
初等的な計算だけではやっぱり難しいように見えるけどな
かと言って今から最先端の手法を学ぶのは時間がかかりすぎるだろう
だから趣味として楽しむなら計算しながら整数の（完全数とか約数とかに関連ありそうな）性質を調べて理論化していくのはどうだろう
結果として完全数とかにも応用できる可能性もあるし
まだ誰もやってない定式化とかなら大穴狙えるかもしれん
0346１３２人目の素数さん
垢版 |
2018/04/23(月) 16:09:35.55ID:DP19h/0l
>>344
まぁ、ただ>>328のコメントを見る限りは、参加そのものを拒絶されている感じなので…
0347１３２人目の素数さん
垢版 |
2018/04/23(月) 16:13:34.93ID:tRoec2zq
ここに論文を上げたURLを書けば、それで誰も否定することはできないだろうけれども
社会的にこの問題の証明者と認定されるのでしょうか？
0348１３２人目の素数さん
垢版 |
2018/04/23(月) 16:16:37.03ID:tRoec2zq
>>344
ド田舎に住んでいるから多分それは、無理。

受験でいかさまばかりをされているのは多分有名。クイズ番組で元都知事が
言ったくらいだから。
0349１３２人目の素数さん
垢版 |
2018/04/23(月) 16:18:07.95ID:tRoec2zq
>>345
だから、初等的な計算により奇数の完全数が存在しないことを証明した。
それは同じ数値ではさみ打ちされて、完全数に含まれているべき
奇素数が存在しないという結論になった。
0351１３２人目の素数さん
垢版 |
2018/04/23(月) 16:25:24.40ID:grwF+KXY
>>348
そのためのソーシャルメディア
田舎だからといって参加できる権利を剥奪されるわけではない
0352１３２人目の素数さん
垢版 |
2018/04/23(月) 16:33:46.32ID:tRoec2zq
それでは日本語の方をあげることにしました。
もし、正しい場合には情報の拡散をお願いいたしたいと思います。

このような、嫌がらせ的対応を受け残念な成り行きですが仕方ありません。

Pdf文書
http://fast-uploader.com/file/7080024199122/
0353１３２人目の素数さん
垢版 |
2018/04/23(月) 16:37:12.71ID:tRoec2zq
「みんなのものにしないからだ。」
という内容の発言が聞こえてきましたが、前スレからもそうですがほぼ
全て私が独力で証明を行ったもので、他者が重要な影響を与えてる
とすれば、前スレの26のレスだけであるということも言っておきたいと
思います。
0355１３２人目の素数さん
垢版 |
2018/04/23(月) 16:45:36.72ID:LDdQkaoF
まぁその証明が正しいと思い込んで、周りが間違ってると信じて生きていけばいいよ
0356１３２人目の素数さん
垢版 |
2018/04/23(月) 16:47:22.34ID:tRoec2zq
日本の数学の研究者の世界ってどうなっているんでしょうか？
政治的圧力ですかねー。テレビで私を馬鹿にするのは普通に行われています
からね。何故、明治天皇の玄孫にあそこまで、調子に乗られなければ
ならないのでしょうか？ちなみに私の方が年上なのではないのでしょうか？
0360１３２人目の素数さん
垢版 |
2018/04/23(月) 17:06:30.61ID:CNmI2ZWh
まず、数学をわかってるだとか英語の能力があるとか、そのクソみたいな自惚れをどうにかしろ。

それからこの数学板で誰一人、あんたの証明が正しいと認めていないことを認識しろ。

少なくともここの人間が納得しない限り、証明できたとはこれっぽっちも言えないのだから、
完全な証明が完成しました、とか誇大表現を止めろ。
0361１３２人目の素数さん
垢版 |
2018/04/23(月) 17:17:19.53ID:tRoec2zq
>>360
まず先にどこが間違っているのかを指摘してくれ、最新版は誰にも否定されていない。
0362１３２人目の素数さん
垢版 |
2018/04/23(月) 17:19:01.76ID:tRoec2zq
>>358
正しい証明でもそう言えるのですか？

>>359
間違いはその都度訂正をしてきています。現在他者から否定も肯定もされていない
証明が2つあります。
0363１３２人目の素数さん
垢版 |
2018/04/23(月) 17:26:24.53ID:LDdQkaoF
>>362
正しい確率がほぼ0である駄文は誰もちゃんと読みたいと思いません

修正できてないから指摘され続けてるんですよ
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況