奇数の完全数の存在に関する証明は正しいはず
■ このスレッドは過去ログ倉庫に格納されています
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/ >>137
内申操作が当時情報番組で取り上げられていたと書いているだけだ。
私のことだとは書いていない。 名古屋のゴミ屋敷の主と同じような生活してそう。
家族を家から追い出したりなんてしてないよね。 1は自分の功績だ自分の功績だと声高に叫んでいるばかりだが、
アイディアの大多数は5chからのパクリに過ぎない
本当に1のアイディアと呼べるものは2月11日の以下の投稿だけ
(もちろん間違ってる)
749: 02/11(日)09:42 ID:a7KOzsQQ(1/4)
奇数の完全数は存在しないことの証明
奇素数をy、素数をp、pの指数をnとし、
素数p以外の積の組み合わせの合計をxとすると
p以外の素数をp1,p2,p3,…pnとし、pnの指数をqnとすると
指数の合計は
S=Σ[k=1,n]qk
であり、
素数の組み合わせの個数は、2^Sとなることから
その合計xは偶数となる
(1+p+p^2+…+p^n)x-y=y
(1+p+p^2+…+p^(n-1))x=y
yは奇数であり、xは偶数であるからこの式は成立しない
よって、奇数の完全数は存在しない 今『死ねゴミ』と暴言がテレビから聞こえてきました。
日本国の放送倫理はどうなっているのでしょうか？
適切に暴言を発した人間が処分されることを希望します。 誰のアイデアだって良いんだよ
そんな事は数学的にはどうでもいいこと >>140
ずっと前の内容ですね。改竄も分かりませんが。 ＞今『死ねゴミ』と暴言がテレビから聞こえてきました。
で自分の事だと考えるのか？ そうですね。IT業界で使い捨てでゴミ扱いされたと書きましたから。
それから、私は学生のときにドルフィンスイミングクラブに所属していたので
すが、湧水町のゴミ清掃車には、イルカが描かれています。それから
私が公開しているソフトウェアをゴミだとしているのかもしれません。 >>145 最後の一文を訂正
それは、 私が公開しているソフトウェアをゴミだとしているのかもしれま
せんが。 『しはくはゴミ。』というのも2回聞こえてきています。 >>143
初版すら１の著作じゃないってことか？
だったら何が１のアイデアなんだ？ めちゃくちゃになっちゃったね。
今一度>>1に問う。このスレはなんのスレなの？ 私が0から証明をしようとしたものだ。25年くらい前に駿台で習った
部分が2.5ページぐらいまであることが研究をしているうちに思い
出された。成果としてはn=1と5の場合に題意を満たさないこと。
n=1の場合は、ネットに証明が公開されている。それとr=1の場合に
満たされないことを示した。また、それ以外の場合で題意が満たされる
条件を導いた。これで終わりにするつもりはなく、証明完成に向けて
努力をするつもりだ。 前スレまでの騒動を知らない人には、スレタイトルが
奇数の完全数が存在する証明
と勘違いさせちゃう。 >>152の反応は、まさに>>108の前半部分そのものである。
そして、このやりとり自体が初めてではなく、前スレ・前々スレから
繰り返されてきた無限ループであり、その回数たるや既に60回を超えている。
>1はこれで終わりにするつもりがないらしいので、この無限ループは今後も続くことになる。 >>108 を知らしめて、このスレが勘違いされないようにしなくては。 >>152 訂正
n=5の場合は証明できていなかった。 >>157 再訂正
n=5のとき
m=1、w=1、pr=3、qr=2
となるから
s=217c
よって、bは因数217を持たなければらない。
このとき、
2m+1=w*217^(qr-1)=3
を満たすwは存在しないので、n=5の場合は不適になる。 >>158 下から2行を修正
2m+1=w1*7^(qr-1)=3
2m+1=w2*31^(qr-1)=3
を満たすw1,w2は存在しないので、n=5の場合は不適になる Wikiに載るはずないわ
その結論が誤ってるんだから 結局完成してなかったってことね。じゃこのスレは終了。お疲れ様でした。 >>160
何が既知なのですか？
>>161
何が間違っているのでしょうか？
都合が悪くなったのか、レスが具体性に欠けていますが。 前スレで指摘されている誤りが修正されてないからダメダメ
修正してから一昨日おいで 納得していないようなので前スレ902に反論しておくか
＞冗談を続けるのはやめていただきたい。
＞cがprを含んでいた場合その指数をTc、tがprを含んでいた場合にその指数をTt
＞とした場合には右辺はしかprを含めないのですから
＞Tt≧Tc
＞となるだけです。このような簡単な理屈が分からないのですね。お疲れ様です。
右辺というのはこの式か
tp=c×2^(qr-1){1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)}
右辺が分数式のままだと正しく評価できないので両辺に(p+1)^(qr-1)/2^(qr-1)を乗じる
tp×(p+1)^(qr-1)/2^(qr-1)=c{(p+1)^(qr-1)-(p^(n-1)+p^(n-3)+…+1)}
pr=(p+1)/2 を使って変形すると
tp×pr^(qr-1)=c{(2pr)^(qr-1)-(p^(n-1)+p^(n-3)+…+1)}
左辺に含まれる pr の次数は Tt+qr-1 右辺に含まれる pr の次数は Tc+Tx
よって Tt+qr-1=Tc+Tx
ただし、ここで Tx は {(2pr)^(qr-1)-(p^(n-1)+p^(n-3)+…+1)} に含まれる pr の次数である。
1 はこの式の第２項 (p^(n-1)+p^(n-3)+…+1) が pr^(qr-1) では割り切れないと言っているのだから明らかに Tx＜qr-1 であり、
Tt+qr-1=Tc+Tx＜Tc+qr-1
よって前スレ902の主張に反して Tt＜Tc となる。つまり、元の式の右辺を c で除した以下の式
2^(qr-1){1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)} は整数ではありえない。 結局どういうことよ？
f(p_r)は整数のはずなのに、整数じゃないだろ！ 矛盾だ！
って言うのが証明の根拠だったよね
そのf(p_r)の式が、最初っから整数じゃなかったってことなのかい？ tp=c×2^(qr-1){1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)}
1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)のprの指数をTpとすれば
Tt=Tc+Tp よくわかんないけど、>>169は分母に(p+1)^(qr-1)があるから、Tp=-(qr-1)＜0でTpはマイナスなんじゃないの？ 整数じゃないかもしれない数について素因数の次数を論じるのはナンセンスよ
だから両辺に整数を乗じて確実に各因子が整数となっている状態で比較しなければいけない
つまり>>169は整数かどうかわからない数について
＞1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)のprの指数
などと言っている時点でナンセンス >>171
整数であればTp≧0、整数でなければTp=0 >>167
整数でなければらなないし、整数になる場合が存在する。 >>172
有理数 x に含まれる素因数 3 の個数を T_x と書くことにすると、
15 = 27×(5 / 9)
という等式について、右辺は 27 の項しか素因数 3 を含めないので、>>1の屁理屈によれば
T_15 ≧ T_27
である。また、>>1の屁理屈によれば T_{5/9} ＝ 0 である。また、
T_27 ＝ 3
T_15 ＝ 1
である。T_15 ≧ T_27 だったから、1＞3 となって矛盾する。
結局、>>1の頭がおかしいだけ。 素因数の概念を有理数まで拡張したければ、該当する素因数が分母・分子にどれだけ出るかを計算し、
T_x ＝ 分子に現れる素因数の個数 － 分母に現れる素因数の個数 … (1)
と定義しなければならない。
「 x が整数でないときは T_x＝0 」などという幼稚な定義では整合性が取れないのである。
ちなみに、上記の(1)の定義なら、素因数「3」について
T_27 ＝ 3, T_15 ＝ 1, T_{5/9} ＝ 0 － 2 ＝ －2
となる。また、15 = 27×(5 / 9) という等式について
T_15 ＝ T_27 ＋ T_{5/9}
という等号も成り立ち、整合性が取れる。
「 x が整数でないときは T_x＝0 」という幼稚な定義では、こうはいかない。 >>166
＞tp×pr^(qr-1)=c{(2pr)^(qr-1)-(p^(n-1)+p^(n-3)+…+1)}
にp=2pr-1を代入すれば分かる。 >>174
間違いを見つけると鬼の首を取ったように罵倒し、幼稚の極みですよ。 それから、>>176で分かるように結果は変わりませんから、Tt≧Tcということで。 >>178
もう60回以上も間違えてるゴミクズに鬼の首もクソもない。
最初から間違いしかないのがお前のゴミpdf。
T_x ごときで正確に素因数の位置を把握できないのはレベルが低すぎる。
しかも他人から指摘されなければ全くその間違いに気づかないという有様。
何1つとして正しいところが無い。身の程を知れよキチガイ。 >>181
＞＞tp×pr^(qr-1)=c{(2pr)^(qr-1)-(p^(n-1)+p^(n-3)+…+1)}
＞にp=2pr-1を代入すれば分かる。
代入して何が分かると言うのだね？
>>166の意見は全く変わらないはずだぞ？実際に代入すると
tp×pr^(qr-1)=c{(2pr)^(qr-1)-((2pr-1)^(n-1)+(2pr-1)^(n-3)+…+1)}
見づらいので x＝{(2pr)^(qr-1)-((2pr-1)^(n-1)+(2pr-1)^(n-3)+…+1)} と置けば
tp×pr^(qr-1)=cx である。よって、
T_p＋(qr－1)＝T_c＋T_x
となる。ここで、T_x は {(2pr)^(qr-1)-((2pr-1)^(n-1)+(2pr-1)^(n-3)+…+1)} に含まれる pr の次数である。
>>1 は {(2pr)^(qr-1)-((2pr-1)^(n-1)+(2pr-1)^(n-3)+…+1)} が pr^(qr-1) では割り切れないと
言っているのだから明らかに Tx＜qr-1 であり、
T_p＋(qr－1)＝T_c＋T_x＜Tc＋(qr－1)
よって Tt＜Tc となる。つまり、代入したって Tt≧Tc は出てこない。 T_p じゃなくて T_t だったな。
で、>>182(というか>>166)のように、実際に T_t＋(qr－1)＝T_c＋T_x と T_x＜(qr－1) が成り立っている以上、
もうこの時点で T_t＜T_c しか出てこない。T_t＋(qr－1)＝T_c＋T_x は確実な等式なので、
この部分はケチのつけようがない。ケチをつける隙があるのは T_x＜(qr－1) を導いている箇所、すなわち
＞ >>1 は {(2pr)^(qr-1)-((2pr-1)^(n-1)+(2pr-1)^(n-3)+…+1)} が pr^(qr-1) では割り切れないと
＞ 言っているのだから明らかに Tx＜qr-1 であり、
この部分しかない。つまり、p=2pr-1 を代入することで結果を変えたければ、
「 {(2pr)^(qr-1)-((2pr-1)^(n-1)+(2pr-1)^(n-3)+…+1)} は pr^(qr-1) で割り切れる 」
と考えるしかない。しかし、>1 はこれが pr^(qr-1) で割り切れないと言っていたのだから、
このように考えることはできず、ゆえに T_t＜T_c しか出てこない。別の言い方をすると、
・ T_t＜T_c しか出て来ない
・ >1の意見に反して、{(2pr)^(qr-1)-((2pr-1)^(n-1)+(2pr-1)^(n-3)+…+1)} は pr^(qr-1) で割り切れる
のどちらかの選択肢しかないということ。そして、前者なら>1の主張は失敗に終わるし、
後者ならもっと手前の段階で>1の主張は失敗に終わっていることになる。
どっちに転んでも>1は間違っている。 否定されまくり
小学生以下のレベルで
いまだかって、これを認めるのは１の脳内だけ 結局どういうことかと言うと
T_t≧T_c は「yが完全数⇒f(pr)が整数」の証明に必要な条件でしたから
T_t＜T_c となる可能性があることが示された時点で、
「yが完全数⇒f(pr)が整数」の証明は失敗していることになります。
結論として、命題「yが完全数」と命題「f(pr)が整数」の間に★因果関係はありません★
よって、命題「f(pr)が整数」の真否について論じている７ページ目以降の部分は
命題「yが完全数」の真否と全く関係がない、証明にとっては意味のない主張となります。 そうか。まあ残念なことだ。しかし、これほど多くの人に読んでもらえたことに喜び、精進を積むことだ。さらなる挑戦を期待しているぞ。 誰が見ても分かるような低レベルな反論を書いて、この問題が成立するのに必要
な条件が私により、発見されて動揺が伺えますな。n=5の場合も証明できたことから
この条件がこの問題を解くのに有効である可能性がでてきた。 どんなに妄想を膨らましても１はダメ
元々の方針が明後日の方向
１のドロ船は、いくら手をかけても分解・沈没することに変わりはない。 ＞誰が見ても分かるような低レベルな反論を書いて、
誰が見ても分かるはずの低レベルな間違いに、
他人から指摘されるまで1ミリたりとも全く気づかずに
＞このような数学的成果が何故か、10日以上経っても何の社会的な反応もありません。(>>1)
＞それにしても、日本社会はこの数学的業績を見て見ぬ振りをするのだろうか？ (>>71)
＞この論文が正しいのは確実ですが、どうしましょう？
＞非常におかしい状態ですよね。数学的成果がないがしろにされることは？ (>>88)
こんなこと書いてたバカタレは一体どこの誰なんですかねえ。 誰が見ても分かるはずの間違いに、>>1だけが1ミリたりとも全く気付かずに
「間違いがあるなら指摘しろ」
「正しいことを認めざるを得なくなってアンチが必死だ」
いざ間違っていることが判明して間違いの内容が詳しく指摘されると
「未解決問題なのだから何度間違えても問題はない」
「誰が見てもすぐに分かる間違いでアンチが得意がっている」
「まだ完全ではないが、正解に近づいているのを見てアンチが必死だ」
新しいゴミpdfが投下されて誰も反応しないと
「数学界は私の業績を無視している」
正真正銘の、まごうことなき完全なるゴミクズ。 １の方針自体がデタラメなのに
ミスを直したら正解にたどり着くなどと思ってるのが大間違い。
子供向けのクイズ・パズルとはわけが違う。
１の理解力、学力では何の成果も得られないまま。 n=5の場合の成果とかいうやつの証明は>>99で間違いが指摘されたよね >>196
それは違う、>>158-159により、n=5の場合が示されたと思う。 >>197
f(pr)が整数であることが完全数の非存在とは無関係なのは明らかなのに>>158-159が今さら何を示しているか分からんよね １の大学入学が妄想であることはもちろん
高校卒業も妄想であろう。
１には勉強しないといけないことがいっぱいあるね。 これで証明完成になったのではないかと思います。
変更点
・前回の間違った10ページの後半以降を削除
・以前に削除した条件2m+1=wpr^(qr-1)を追加
・新規の証明を11ページから13ページに追加
Pdf文書 日本語
http://fast-uploader.com/file/7086333357122/
Pdf文書 英語
http://fast-uploader.com/file/7086333439209/ 完成おめでとうございます！
.｡☆.ﾟ。.。
｡:☆・。ﾟ◇*.ﾟ｡
･◎.★ﾟ.＠☆｡:*･.
.ﾟ★.｡;｡☆.:*◎.ﾟ｡
:*｡_☆◎｡_★*･_ﾟ
＼ξ ＼ ζ／
∧,,∧＼ ξ
(´･ω･`)／
/ つ∀o
しー-Ｊ 泥舟の上に更にコンテナが積まれた
せうおる号の如し うぉぉぉぉぉぉ、、、、、完成の上をいったぁぁぁぁぁ！！！！！！ >>201
一部文章が正しくなかったので修正をしました。
変更点
・11ページから12ページの文章を訂正
Pdf文書 日本語
http://fast-uploader.com/file/7086349510912/ 定義, lemma, proof,...,Proposition, proof,...,
という形に書こう。自ずと、間違いが見えてくるから 体裁だけじゃない
中身の間違いだって指摘されても全然直さない 修正は１の妄想のためだけのもの。
修正すればゴミでもまた読んでくれるだろうと。 裸の王様と同じ展開か
本人は自分が王様で偉いから皆の注目を集めてると思い込んでるが、その実は、、、 修正は１の妄想のためだけのもの。
変更さえあればゴミでもまた読んでくれるだろうと。 証明（したと主張する）論文（と名前がつけられたなにか） 誰が見ても分かるはずの間違いに、>>1だけが1ミリたりとも全く気付かずに
「間違いがあるなら指摘しろ」
「正しいことを認めざるを得なくなってアンチが必死だ」
いざ間違っていることが判明して間違いの内容が詳しく指摘されると
「未解決問題なのだから何度間違えても問題はない」
「誰が見てもすぐに分かる間違いでアンチが得意がっている」
「まだ完全ではないが、正解に近づいているのを見てアンチが必死だ」
新しいゴミpdfが投下されて誰も反応しないと
「数学界は私の業績を無視している」
正真正銘の、まごうことなき完全なるゴミクズ。 60回にも及ぶ修正ご苦労様です
ところで、たとえここで認めてもらっても何にもならないことはわかってますか？ １のドロ船に積み上げられたゴミコンテナ
前スレの前半に６０段達してたと思ったが
もうそろそろ１００段になっちゃうかも >>220
＞だから、間違いの指摘は全て修正している
誰が見ても分かるはずの間違いに、>>1だけが1ミリたりとも全く気付かずに
「間違いがあるなら指摘しろ」
「正しいことを認めざるを得なくなってアンチが必死だ」 >>220
＞「yが完全数⇒f(pr)が整数」の証明は失敗している
という指摘があり、この問題がどのように修正されたかが最大の関心事となります。
この問題をどうやって解決したか、「論文を読め」というだけでは甚だ不親切なので、この場で要点をまとめていただけますか？ >>225
具体的に言うと、
tp=c×2^(qr-1){1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)}
の式において、2^(qr-1){1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)}の部分は整数でない可能性があり、その場合はf(pr)も整数ではないと言いきれるので、
その事実に反して、「f(pr)が整数でなければならない」と仮定して推論を進めた７ページ目以降は証明にとって意味をなさない、
という指摘です
繰り返しますが、「論文を読め」という回答は受け入れないので悪しからず。 >>226
そのような可能性の排除はしていない。現在の論文に沿っていない内容に
関しては答えかねる。 >>229
たとえここで認めてもらっても何にもならないことはわかってますか？ >>229
なるほど
誤りをどう直したか答えることはできないという回答ですね
では証明は誤っています。以上。 間違いは修正したのではない、
これまで通り無視したのだ。 書き込みするときの規約読んだことある？
書き込んだ内容の著作権は２ちゃん（いまは５ちゃんか）に帰属するみたいなことが書いてあったはずだけど
自分の権利が大事な髙木さんはここには書き込まないほうがいいんじゃない？ ここに書いたことがすべてではないし、この論文の執筆者は私だから
2chには何の権利もない。 ■ このスレッドは過去ログ倉庫に格納されています
