奇数の完全数の存在に関する証明は正しいはず
■ このスレッドは過去ログ倉庫に格納されています
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/ たとえここで認めてもらっても何にもならないことはわかってる? 既に指摘があるようだが、
> 2^q_r p_r^q_r ≡ 0 (mod p+1)
> p_r^q_r not≡ 0 (mod p+1)となるから
> 2^q_r ≡0 (mod p+1)
この部分は、p+1 と p_r^q_r が互いに素なら問題なく使えるテクニックだが、
実際には互いに素とは言えてないので使えない。 >>1はこの手の間違いを前スレから何度も繰り返している。AB = CD という等式があったときに、
「 A が C を割り切らないなら、A は D を割り切る 」
という間違った論法である。AとCが互いに素なら正しく使えるテクニックだが、
互いに素とは限らないケースでは全く使えないのである。
にも関わらず、>1は条件反射的に何度もこのミスを繰り返している。
>1がこのミスをしたのは、俺が見かけた範囲だけでも3回程度はあったはず(今回を含めて)。
おそらく、>1の中でこの間違え方は「クセ」になっている。
>>101の反応を見る限り、>1はこの間違え方を全く克服できていない。
他人からその都度指摘されなければ、間違っていることが理解できない。
となれば、今後もこの間違え方を繰り返すものと思われる。 この手の間違いは、整数論を習いたての高校生がハマりがちな、極めて初歩的な間違いである。
未だにこの程度のハマリすら自分で回避できないどころか、逆に「クセ」になってしまって
何度も同じ間違いを繰り返すというレベルの低さ。そのくせ、このスレでの振る舞いといえば
>このような数学的成果が何故か、10日以上経っても何の社会的な反応もありません。(>>1)
>それにしても、日本社会はこの数学的業績を見て見ぬ振りをするのだろうか? (>>71)
>この論文が正しいのは確実ですが、どうしましょう?
>非常におかしい状態ですよね。数学的成果がないがしろにされることは? (>>88)
この有様である。 なんったって1は、
奇数/奇数=整数かつ奇数
の害基地だからね で、>>1の今後の反応といえば、
「未解決問題なのだから何度間違えても問題はない」
と開き直り、数日後には新たに幼稚なゴミpdfを投下し、誰も反応しなければ
「世間はこの数学的業績を無視している」
と被害者ヅラするのである。そして、このやりとりは前スレ・前々スレから
繰り返されてきた無限ループであり、その回数たるや既に60回を超えている。 >>1の中では削除しているが、この題意が満たされる条件を導いている。
ので、進歩がないわけではないと思われる。 >>109
たとえここで認めてもらっても何にもならないことはわかってる? >>109
論文本体や参照文献に書いていないこと、削除したことを論拠とするのはもはや論文とはいえない
進歩があるかどうかは無関係 >>111
それは撤回した内容であり、以前の論文には書いていた。
その条件を使うと証明完成になるのかもしれない。 ほんと無限ループだねえ。
正しくないから削除したことまで引っ張り出すとは・・・・ >>103
これは無視?根本的なことなのに、都合の悪いことは無視?
ちゃんとした論文を書くこともできず、その努力すらせず、他人のせいにするようなメンタルが今の不遇な状況を招いていることに気づかないと。 細かいところはどうでもいい
方針としてこの証明で行けるのかが重要
行けるなら数学上の偉大な功績で有ることは間違いない >方針としてこの証明で行けるのかが重要
方針なんてありません
小学生以下の間違いだらけのゴミ 本人正しいと思っていて、この板でも正しい認定したんだから後は生暖かく見守るでよいのでわ? 細かいところが正しくなければ正しくない。それが証明というもの。
方針を言うなら
単一の素因数にしか着目していない現在の方法論では正解にたどり着く見込みは薄そう。 完成おめでとうございます!
.。☆.゚。.。
。:☆・。゚◇*.゚。
・◎.★゚.@☆。:*・.
.゚★.。;。☆.:*◎.゚。
:*。_☆◎。_★*・_゚
\ξ \ ζ/
∧,,∧\ ξ
(´・ω・`)/
/ つ∀o
しー-J 認定書授与。
我々5ch数板の住人一同は証明に誤りのない事を認め、ここに認定書を授与する。
おめでとう。
./⌒ヽ __
( ^ω^)/ / /
( 二二つ /と)
| / / /
| T ̄ >>118
記述能力不足により証明になってなくても
証明になる込みがあるなら大きな功績
と思ったが
流れを見ると、
検証する価値も無い
って感じなのか
じゃあどうでもいい >>114
メンタルの問題じゃない。私はサブプライムローンの経済の落ち込み
でリストラされたにすぎないし、この問題は未解決問題だから誰が研究
しても同じようになる。それから解決していないのだがらそのことを考える
ことに何の意味があるのか?
>>115
未解決問題だけにさっぱり分からない。題意を満たすのに必要な条件が
一つ見つかっただけ。 >>122
たとえここで認めてもらっても何にもならないことはわかってる? >>123
ここは世界から隔離されているインターネットですか >私はサブプライムローンの経済の落ち込みでリストラされた
大昔だよ。これ。
ずっと長期間ニートさせてくれている家族に感謝しなくちゃ。
危害を加えちゃだめだよ。 >>124
答えになっていない。
万事その調子なんだよ。論文に対する指摘にもしかり。 ここで認められても、公式にはなんの価値もないということを認めないと。
現実から逃げてるだけなんだよ。 ここで認められたとして、どういうプロセスで世界に発信されると思ってるんだろう たとえ内容が合っていようと、きちんとした論文の体をなしていないものを、しかもこんな雑多な掲示板ごときで「公式に」認めてもらえると思うこと自体、世間に甘えている。残念だが、世間はそんなに甘くない。 >>129
どこかの偉い数学者がこれを見て、
「こ、これはすごい!(秘書に)君、すぐに彼に連絡を取ってくれ!」
というのを妄想してるんじゃないの?
だから、ここでは絶賛されなければならない。で、自分は口開けて待ってるだけ。 >>130
>>115
恐らく未知の条件を導いたから成果自体はある。
それはあなたの考えることであり、共通のコンセンサスとは限らないし
内容が理解できない文系の考えではなかろうか。 >>130
内容は間違いだと書いているだろ。妄想で書くな。 >>134
あなたがそう思っているだけ。そうであることを、どう証明するのでしょうか? まさか1ってゴミ屋敷の主か、その同類?
TVで特番が組まれたり、地域住人と嫌悪な関係であるとか説明がつくな。 >>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の著作じゃないってことか?
だったら何が1のアイデアなんだ? めちゃくちゃになっちゃったね。
今一度>>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 はこの式の第2項 (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は間違っている。 否定されまくり
小学生以下のレベルで
いまだかって、これを認めるのは1の脳内だけ 結局どういうことかと言うと
T_t≧T_c は「yが完全数⇒f(pr)が整数」の証明に必要な条件でしたから
T_t<T_c となる可能性があることが示された時点で、
「yが完全数⇒f(pr)が整数」の証明は失敗していることになります。
結論として、命題「yが完全数」と命題「f(pr)が整数」の間に★因果関係はありません★
よって、命題「f(pr)が整数」の真否について論じている7ページ目以降の部分は
命題「yが完全数」の真否と全く関係がない、証明にとっては意味のない主張となります。 そうか。まあ残念なことだ。しかし、これほど多くの人に読んでもらえたことに喜び、精進を積むことだ。さらなる挑戦を期待しているぞ。 誰が見ても分かるような低レベルな反論を書いて、この問題が成立するのに必要
な条件が私により、発見されて動揺が伺えますな。n=5の場合も証明できたことから
この条件がこの問題を解くのに有効である可能性がでてきた。 どんなに妄想を膨らましても1はダメ
元々の方針が明後日の方向
1のドロ船は、いくら手をかけても分解・沈没することに変わりはない。 >誰が見ても分かるような低レベルな反論を書いて、
誰が見ても分かるはずの低レベルな間違いに、
他人から指摘されるまで1ミリたりとも全く気づかずに
>このような数学的成果が何故か、10日以上経っても何の社会的な反応もありません。(>>1)
>それにしても、日本社会はこの数学的業績を見て見ぬ振りをするのだろうか? (>>71)
>この論文が正しいのは確実ですが、どうしましょう?
>非常におかしい状態ですよね。数学的成果がないがしろにされることは? (>>88)
こんなこと書いてたバカタレは一体どこの誰なんですかねえ。 誰が見ても分かるはずの間違いに、>>1だけが1ミリたりとも全く気付かずに
「間違いがあるなら指摘しろ」
「正しいことを認めざるを得なくなってアンチが必死だ」
いざ間違っていることが判明して間違いの内容が詳しく指摘されると
「未解決問題なのだから何度間違えても問題はない」
「誰が見てもすぐに分かる間違いでアンチが得意がっている」
「まだ完全ではないが、正解に近づいているのを見てアンチが必死だ」
新しいゴミpdfが投下されて誰も反応しないと
「数学界は私の業績を無視している」
正真正銘の、まごうことなき完全なるゴミクズ。 1の方針自体がデタラメなのに
ミスを直したら正解にたどり着くなどと思ってるのが大間違い。
子供向けのクイズ・パズルとはわけが違う。
1の理解力、学力では何の成果も得られないまま。 n=5の場合の成果とかいうやつの証明は>>99で間違いが指摘されたよね >>196
それは違う、>>158-159により、n=5の場合が示されたと思う。 >>197
f(pr)が整数であることが完全数の非存在とは無関係なのは明らかなのに>>158-159が今さら何を示しているか分からんよね 1の大学入学が妄想であることはもちろん
高校卒業も妄想であろう。
1には勉強しないといけないことがいっぱいあるね。 これで証明完成になったのではないかと思います。
変更点
・前回の間違った10ページの後半以降を削除
・以前に削除した条件2m+1=wpr^(qr-1)を追加
・新規の証明を11ページから13ページに追加
Pdf文書 日本語
http://fast-uploader.com/file/7086333357122/
Pdf文書 英語
http://fast-uploader.com/file/7086333439209/ ■ このスレッドは過去ログ倉庫に格納されています