奇数の完全数の存在に関する証明は正しいはず
■ このスレッドは過去ログ倉庫に格納されています
2000年以上前からある奇数の完全数が存在するのかという
数学上の未解決問題が、2018年6月21日に完全な証明が完成しました。
このような数学的成果が何故か、10日以上経っても何の社会的な反応
もありません。意味不明に
「賞を取ることは無理だ。」
と他の部屋のテレビから聞こえてきたことがありました。
これは異常な状態ですので、それが一刻も早く解決されることを
希望しています。
この証明が完全に正しいと公式に認定していただきたいと思います。
論文を2箇所で公開していますが、前者は期間が限定されていましたので
後者に同じファイルをアップロードしました。
証明論文
Pdf文書 日本語
http://fast-uploader.com/file/7085141111661/
https://dotup.org/uploda/dotup.org1572965.zip.html
Pdf文書 英語
http://fast-uploader.com/file/7085141187155/
https://dotup.org/uploda/dotup.org1572968.zip.html
(前スレ)
最古の未解決問題が解決されたのか
https://rio2016.5ch.net/test/read.cgi/math/1522147912/
(関連スレ)
奇数の完全数の有無について [無断転載禁止](c)2ch.net
https://rio2016.5ch.net/test/read.cgi/math/1483900653/
奇数の完全数の有無について2
https://rio2016.5ch.net/test/read.cgi/math/1523602627/ 証明が完成する可能性が無いのに体裁だけ整えたって意味無い
おまいら本当にアホだな >>573
そのサイトの主張は
mが奇数の完全数ならある素因子 p が存在してe = v_p(m)とおくとき
・p ≡ 3 (mod 4)
・e ≡ 3 (mod 4)
・m/p^e は平方数で且つ (p+1)/2 の倍数
の事?
これは完全に正しいですね。
信頼ないソースはオイラの査読www。
てかここまでは論文誌なら1ページですね。 >>580
証明はもう完成している可能性しか無いのに体裁を整える意味は無い
おまいは本当にアホだな 証明が完成してるならあとは体裁整えて、人に読んでもらうだけですよね 完成してるならこんなところを頼らないで
金をはらってプロに清書してもらえ >>583
そうですが、これ以上整える必要があるのかどうかは分かりません。
>>584
頼っているのではなく、公式に証明者だと認定してもらいたいと考えています。 証明が完成している(と自称してる)からこそ体裁を整えるべきなんですが…… 2chの認定書は何度も出されているが、公式の承認が求められる 公式に認められたいなら、まず読んでもらう努力をしてくださいね
体裁を整える必要があるかどうかを判断するのはあなたではなく読む側ですよ 6頁真ん中「これより〜」に、「式Fから」とあるけど、
式Fの
2b = c(p^n+...+1)
2b = c(p+1)(p^{n-1}+p^{n-3}+...+1)
が意味わからなかった。上と下の式の関係も不明。
下の式は7頁の2行目にも出てくる。解説をお願いしたい。 >>593
2b=c(p^n+…+1)になることは、4ページの中段に書いている。
その下の計算は因数分解。 >>581は間違ったので訂正がてら証明引き写すとこんな感じ。
T(n) = Σ[d|n] d
とするとT(n)は乗法的関数。
すなわち(m,n)=1のときT(mn) = T(m)T(n)。
pが奇素数のときT(p^e)は
p ≡ 1 (mod 4)、e ≡ 1 (mod 4) のとき T(p^e) ≡ 2 (mod 4)
p ≡ 1 (mod 4)、e ≡ 3 (mod 4) のとき T(p^e) ≡ 0 (mod 4)
p ≡ 3 (mod 4)、e ≡ 1 (mod 2) のとき T(p^e) ≡ 0 (mod 4)
e ≡ 0 (mod 2)のとき T(p^e) ≡ 1 (mod 2)
また
e ≡ 1 (mod 2) のとき T(p^e) ≡ 0 (mod p+1)。
以上により奇数mについてT(m) = 2mのときe_r = v_r(m)とおけば
mの素因子pでe_p ≡ 1 (mod 2)となるpはちょうど一個でこのときp ≡ 1(mod 4)、e_p ≡ 1 (mod 4)、2m ≡ 0 (mod p+1)。
さらに 2,p の類が Z/(p+1)Z において可逆によりm/p^(e_p) ≡ 0 (mod p+1)。
これは正しいね。 >>594
n = 3のときの因数分解をここに書いてみて
で、文章の数式と照らし合わせてみて そういうことが聞かれてるんじゃないんだけどね... >>597
…
じゃあ n = 5 でお願いします… >>599
2b=c(p^5+^4+p^3+p^2+p+1)=c(p+1)(p^4+p^2+1) >>600
ありがとう。PDFを見間違えてた。すみません。
読み進めてみる。 6ページ目の真ん中の「これより」ってのは、「今から」って意味でいい?
「これ」が何を指してるのか… 訂正
× さらに2,p の類が Z/(p+1)Z において可逆によりm/p^(e_p) ≡ 0 (mod p+1)。
○ さらに p の類が Z/(p+1)Z において可逆によりm/p^(e_p) ≡ 0 (mod (p+1)/2。 6ページ目の真ん中の「式Fから」から、最終行まで、何を書いてるのか難解でわかりにくい。
「何を仮定すると、何が必要条件となる。」という命題を明確にして、教えてください。 >>604
要約すると、brが(p+1)/2の倍数であるとしたときに
必要となる条件が
pr=(p+1)/2
か
pr≡s (mod (p+1)/2)として
s^qr≡0 (mod (p+1)/2)
だということを書いています。 少し確認。
6頁目の真ん中の、
>(p+1)/2が素数である場合にはp_r=(p+1)/2として、
っていうのは、(p+1)/2が素数を素数とすると、それはp_1、,,,、p_rのどれかに一致するであろうから、
それを改めてp_rとおく、という意味でOK? 本文の書き方がすごいくどいけど、6頁のIは、
b=p_1^{q_1}・・・p_{r-1}^{q_{r-1}} ×((p+1)/2)^{q_r}
を、
2b/(p+1)=c(1+p^2+・・・+p^{n-1})
に代入することで、
p_1^{q_1}・・・p_{r-1}^{q_{r-1}} ×((p+1)/2)^{q_r-1}=c(1+p^2+・・・+p^{n-1})
⇔p_1^{q_1}・・・p_{r-1}^{q_{r-1}}×(p+1)^{q_r-1}=c(1+p^2+・・・+p^{n-1})×2^{q_r-1}・・・@
が得られる。面倒なのでs=p_1^{q_1}・・・p_{r-1}^{q_{r-1}}とおいただけの話ね?
@の両辺をpで割った余りを考えれば
c×2^{q_r-1}≡s(mod p)が7頁目の1行目ね?
あるtで、s=c×2^{q_r-1-tpと 途中で送信してしまったけど、
ある奇数tで、s=c×2^{q_r-1}-tpと書けて、
これを@:s×(p+1)^{q_r-1}=c(1+p^2+・・・+p^{n-1})×2^{q_r-1}に代入したのね。 >>609
その通りです。当たり前ですけど。
>>611
そうです。著作権侵害になりますので、安易な転載はやめていただきたい。 7頁の9行目のtが奇数、pが奇素数であるから・・・のくだりからついに意味不明度合いがひどく忖度不可能。
9行目の冒頭にこれから何を証明するのか、その命題を述べてください。
そしてその証明がどこで終わっているのかを明確にしてください。
それと、突然宣言する記号が多すぎますが、それが「任意」なのか、
「そういうものが存在するのか」かを、あなたがどう思っているか明確にしてください。
あなたの頭の中で完結していても読む側にとって不明であれば論文になってません。
と思ってもとりあえず、記載の真偽不明のままさーっと読み飛ばすと、8頁目の最初に
「tはcの倍数になる」と仮定すると矛盾、ということを言ってますか?
結論として、「tはcの倍数にならない」が7-8頁のメインの主張? >著作権侵害になりますので
これはならない
1は、いつも著作権の誤解が強すぎ >>613
忖度、忖度うるさいですが、理解あるいは解釈という言葉を使ってもらえないでしょうか?
>9行目の冒頭にこれから何を証明するのか、その命題を述べてください。
8行目の式が成り立つ条件を検討していることは明らかですけれど。
>そしてその証明がどこで終わっているのかを明確にしてください。
まともな数学力を持っている人であれば、読めば分かる内容だと思います。
>突然宣言する記号?
変数は特に範囲が指定されていないものに関しては任意だというのは普通のことでは
ないのでしょうか?
>「tはcの倍数になる」
そのようなことは書いていません。tがcの倍数になるのかならないのか場合分けをしている
だけです。
以上、箸にも棒にもかからないレスは結構ですのでお引き取り下さい。 >>1さんさ、
ここではあなたを理解してくれる人いないから、数学に強い人が集う掲示板に投稿してみたらどうかな?
専門家もいるところで、長い運用実績もある。
DS数学BBS2、で検索して出てくる掲示板に、証明を公開してみて、自分の証明を理解してくれる数学力のある人がいないか、と聞いてみると良いと思う。 1には、まともな数学力も文章力もない。
どこに行っても無駄でしか・・・ そもそも6ページあたりまでは >>573 のサイトの結果パクってるんじゃないの? 1の論文が忖度しないと読めないのはわざとそうしている
そうでもしないと論理の誤魔化しがバレてしまうからな
質問者がそろそろ核心に触れようとしているので著作権がどうこうと難癖を付けて逃げようとしているのがいつもながら見苦しい >>614
わざわざ、式を書かなくても、行数で指摘してもらえればよく、それをわざわざ
転載するのはおかしいと思います。
何故著作権侵害にならないのですか、教えていただきたい。
>>619
違うと思います、その部分を書いていた時にそのページを見ていませんから。
>>620
論理の誤魔化しはない。ただそれを理解できないあるいは、理解しようとしない
>>620がそのようなレスをしているだけ。 どこに論理のすり替えがあるかを書くことはもちろん可能だが
それをすると1か著作権がどうこうと難癖を付けるから書きたくないな 日本の著作権法は、公表された著作物の引用を認めている。
これを認めないと、今回のような論文の批評などができなくなるためであり、言論の自由を守る観点でも法律でしっかり規定されている。
具体的に言うと、>>610-611のような引用は法律上正当な行為であり、たとえ著作者が訴えても罪には問われない ついでに言っておくと、1の論文が5chに引用されていても、1の論文の著作権を1が主張できなくなるわけではない
その点は安心していい 誤りや誤魔化しを隠すためにわざと読みにくくしてるんですか? 読んでもらう努力の見当たらない文章を読ませておいて、>>615みたいな態度がとれるのはどうなんですかね 著作権を心配して、
引用文献欄への数学書の記載を拒絶したり
5chへのコピーに抗議したり
科学の文化に疎すぎる。 >>626に賛成。読んでくれる最後のチャンスかもしれないのに >>627
何回も書いていますが、引用はないものはない 他人の言うことなんて人生で一回もないタイプの人ですね。
自分以外は自分より一段頭悪いと思ってる。
人の言うことなんか聞くはずない。 >>628
読みたい人が読めばいいだけ。
文句を言っているのは意味不明なアンチなので、それらにはレスを
しないことにする。 このスレ、証明が正しいかではなく、1の人間性を観察するスレになっている >>1にとってこのスレは「証明が正しいか否か」ではなく、「正しいに決まっているので、おまえら拡散せよ。そして我をたたえよ。反論は受け付けない。」だぞ。
それができる人しかレスしてはいけない。 本当に正しけりゃ讃えてやっても良いぜ
ただ現状は正しいか間違ってるか分かんない
で、確認しようと説明を求めたら拒否すんだろ?
やってらんねーわ これを読みたい人がいると本当に思っているんでしょうか 別に間違いを探してもらいたいわけじゃないんだろ。
世界でもっとも偉大な頭脳の俺様の論文が間違ってるわけない。
読めないのは読者のせい。文句言ってるやつはアンチ。必要なのは正しいと褒め称えるレス。
ってとこ? 「読みたい人が読めばいい」ということは、「誰も読みたくないなら、誰にも読まなれなくていい。このまま誰にも認められずに埋没してもいい」ということなんですかね
その割には、読めだの認めろだの仰ってますが 1本人の意志は関係なかろう
「読みたい人が読めばいい」かつ「読みたい人が居ない」ゆえに「読まれなくていい」だ
1の論法に従えばそういうことになる >>633
妥当な反論でしたら、どうぞ。
>>634
確認するのなら、些末なことはやめて欲しい。誰でも分かるようなレベルの式変形だとか。
>>635
未解決問題の解決は数学の世界では大変なニュースとなるのではないでしょうか?
>>636
今まで間違い探しの協力をしてもらっていたということです。
>>637
一応、論文サイトに提出をしています。 >>638
>「読みたい人が居ない」ゆえに「読まれなくていい」
「読みたい人が居ない」のであれば「読まれない」だ。 >>639
大変なニュースになっていますか?
論文に掲載されましたか? >>641
大変なニュースになってないのは拡散しない俺たちのせいだぞ。1の中では。 誰でも分かるようなレベルの式変形
になっていないから突っ込まれてんだろ
式変形というか日本語を含めた説明の仕方や変数の設定の仕方が下手 未解決問題の解決は可能性があるだけでも、
解決への手掛かりが少しあると思われるだけでも
いつでも直ちに大ニュース
1がいつまでもニュースにならないのは何もないから >>643
分かりやすい式変形になるようにしているが。
>>644
結果を理解できないのですね。 1が何も証明していないと全世界が判定した
1はこの結果を認識すべき それにしても>>613あたりの質問にはまともに答えてやったら良いと思うぞ。
要するに、7〜9頁あたりで、どの行とどの行が仮定と結論の関係になってるか分かりにくいって言われてんだ。
実際、それらの関係について明示がなく不明瞭だ。式に番号を付けるなどして明示すべし。
論文の可読性を上げるのは著者にとってもメリットがあるはずだが。 >>646
現時点では正しいですから。間違って当然の未解決問題なのにも関わらず。
>>647
数学力と国語力の問題ではないですかね。非常に分かりやすいと思いますけど。
質問に関しても誰がどう読んでもそうとしか読めないという内容を答えています。 大変なニュースになっていますか?
なっていませんね
論文に掲載されましたか?
arXivにすら拒否されましたね
これが世間の反応です
まずそれを自覚しましょう
自覚した上で、どうしたらよいか考えてください >>649
今までは間違っていたから仕方がないですね。
今は正しいから、否定のしようがありません。
日本数学会がまともであれば、早晩ニュースになるでしょう。
arXivは2回駄目だったから承認待ちの状態になっています。
>>608が正しいと思われる人で、承認権限を持っている方は承認>>512をしてもらいたいと思います。 今「洒落にならん。」
と女性の聞こえてきました。どこがでしょうか?
意味不明に外から、自分が誰だか分からないようにしてしか発言できないのでしょうか。
随分女々しいmentalityですね。 >>650
どうしたら5chでしか見れない、誰にも読んでもらえない証明がニュースになるのでしょうか?
承認したい人なんているわけないですね 「読みたい人だけ読めばいいから、体裁は直さない」
と言っている現状、誰も読まないのではないですか?
なのに、
「正しいと思われる人は承認してくれ」
というのは、虚無に向かって語りかけているのと同じではないでしょうか? >>648
本当に分かりやすいと思うのかい?
この論文には数学的に厳密でない表現が随所にみられ、どう贔屓目にみても非常に分かりにくい
例えば、8ページの「c≠upのとき」という表現だが、この条件はcとupが等しくないとしか言っておらず、
この条件から「t が c の倍数でない」は導けない。
それ以上列挙はしないが、始終このような論法が続く。
この証明を読み解くには、どうしてもいわゆる忖度が必要なのだよ。
忖度しきれない部分も多々あるゆえに、論文を直せと言う代わりにまずその主張の真意が問われているのだから、
著者はそれに誠実に答えてもバチは当たらない。 >>653
論理が破綻しています。体裁を直せと言っていない人が読んでいるかもしれない。
それから、体裁も直している、abstructとacknowledgementは追加している。
>>654
tがcの倍数でない場合の検討をしているだけですけど。
日本語が読めない人はレスしなくていいですよ。 >>655
5chでしか見れない、ここの住人にすら承認がもらえない証明がどういうプロセスでニュースになるのでしょうか?
>>654のように内容を読んでる方も確かにいらっしゃるようですが、それに対する態度が高圧的すぎではありませんか? 結局この人はここの住人に何をしてほしいんでしょうか? >>655
はじめにの後にabstractが来る体裁とかこの世にねえよw 自分の証明が正しいと信じて疑わず、他者の意見を受け付けないが公表したいとお考えならば、まずはウィキペディアにでも、自分が証明したと、記載して文章へのリンク貼るのはどうかな?
その証明は誰が認めたの?となったら読めばわかると書けばいい。
読んでもわからないときたら、読者の数学力がないと書けばいい。 >>659
それウィキペディアに対して超迷惑
業務妨害で犯罪 >>655
なぜ「c≠up」などという条件を持ち出したのかねえ
条件「c=up」と、tがcの倍数であることは同値ではないし、
条件「c≠up」と、tがcの倍数でないことは同値ではない
さらにその数行先には変数uが再登場する。
この変数uが先の場合分けに現れる変数uと同じなのか、
別の意味と捉えてよいのかそうでないか判然としない。
余談になるが、
この著者はIT業界の出だと嘯いてるようだが、
俺がPLならこんな荒っぽい変数の使い方をする人間をコーディングに関わらせたくない。
こんな調子で大バグを作り込んだ上で知らぬ顔を決め込むのがこの手の人間だ。
(ここの住人でこの感覚を理解してくれる人が居ると嬉しい)
リストラされた理由もまったく想像に難くない。 >>660
著者曰く、証明は正しいのだしその証左があるのだからウィキペディアに投稿しても良さそうだが何かに引っかかる? >お金払えば、掲載してくれるjournalあるよ。
1の親が、1に無駄な金をせびられるね。
かわいそうに、かわいそうに。 もしかして心のどっかでは間違ってるのわかってるのかな?
それとも心の底からあってるって信じ切ってるのかな? >>661
私は世界最速の数独解析システムを独自開発した人間ですが。
c≠upの場合とそうでない場合を場合分けしているだけだと何度も言っていますが。
tがcの倍数かどうかは、c≠upの場合の中での場合分けです。
その程度のことも分からないのでしょうか?
c=upの場合には、8ページで否定されています。
よく読んでから、書いて下さいね。としかいいようがない。 >>667
今現時点で、私は間違いを把握していません。 >私は世界最速の数独解析システムを独自開発した
それをアピールできたらいいね。
ただし独自開発である必要もないし
数独ぐらいなら最速である価値もほぼ無いがね。 >>670
独自に拡張した戦術と、ほぼ全ての戦術も実装しています。 人物像に興味があるんだけど、
数学の論文や、数学書を読んだ経験はありますか?
例えば、イプシロンデルタ論法のようなものを使った経験はありますか? >>656-657にお願いします
>>673
この方は恐らく数学教育は受けていないと思われます >>673
応用物理卒ですが、卒論ではシステムの性能評価のグラフ理論の英語論文を読みました。
イプシロンデルタ論法は使ったことはありません。分からない問題スレッドに
いろいろ解答を書いてきました。
>>674
理系の高校数学の範囲で収まる内容で、解決ができたのでその合意が形成されればいいと
考えています。 >>668の端から端までアホ丸出しですな
数独なんぞスクリプト言語ですら一瞬で解けるわボケってなるし
c≠upのくだりもどこが間違ってるか微塵も理解してない
だいたいc≠upの中でどこからどこまでがtがcの倍数で
どこがそうでないかの場合分けなんか一切してない
倍数でない場合しか書かれてへんやんかタコ >>675
その英語論文では、abstractはintroductionの後ろにありましたか?
あと、5chでしか見れない、ここの住人にすら承認がもらえない証明がどういうプロセスでニュースになるのでしょうか?
合意を形成したければ、まず他人に読んでもらえるような努力が必要ですよね >解決ができたのでその合意が形成されればいいと
>考えています。
その雰囲気がないので、もうここを去られるのがよろしいかと。
空気よめよ ■ このスレッドは過去ログ倉庫に格納されています