X



トップページ数学
1002コメント396KB
奇数の完全数の存在に関する証明が完成しました
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2018/08/05(日) 05:25:38.78ID:CcBDiEWJ
2000年以上前からある奇数の完全数が存在するのかという
数学上の未解決問題が、2018年8月4日に完全な証明が完成しました。
この証明が完全に正しいと公式に認定していただきたいと思います。


証明論文
Pdf文書 日本語
http://fast-uploader.com/file/7088885133326/
Pdf文書 英語
http://fast-uploader.com/file/7088885204141/

(前スレ)
奇数の完全数の存在に関する証明は正しいはず
https://rio2016.5ch.net/test/read.cgi/math/1530434042/

(前々スレ)
最古の未解決問題が解決されたのか
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/
0033132人目の素数さん
垢版 |
2018/08/06(月) 14:56:07.88ID:yHeZ0hkL
完成しました!→バグ修正のため撤回→修正完了しました!→バグ修正のため撤回→今度こそ完成しました!→バグ修正のため撤回→(以下何十回もループ)

こんなの出来の悪いゲーム会社とか質の悪いシステム開発屋のやることと同じ
信用まるで無し
0038132人目の素数さん
垢版 |
2018/08/06(月) 21:06:10.52ID:39LWno/D
>私が開発したアプリの機能

高木時空の脳内アプリはどうでもいい
0039132人目の素数さん
垢版 |
2018/08/06(月) 22:52:52.11ID:9L7CxojJ
cr≠qr-1 は誤り
って言われてるのに性懲りもなく根拠も示さずこれを主張して証明完成とはさすが図太いね
0042132人目の素数さん
垢版 |
2018/08/06(月) 23:16:23.25ID:JP7RPMux
ねえ、質問なんだけどさ
>>27
g(pr)のi次の項の係数をTiとすると…全てのTiに因数2m+1が含まれる、っていってるけどさ、
たとえばn=4m+1=9 のときは m=2 だから、
g(pr)の係数はぜんぶ2m+1=5の倍数だってこと?
0043132人目の素数さん
垢版 |
2018/08/06(月) 23:29:07.55ID:9L7CxojJ
>>41
証明を削除したからといってcr≠qr-1が誤りってことは変わらない
何の根拠もなくcr=qr-1の場合を除外しても証明ができたことにはならない
0046132人目の素数さん
垢版 |
2018/08/06(月) 23:36:03.75ID:9L7CxojJ
>>45
ではcr=qr-1の場合の証明は何ページのどこにありますか
0047132人目の素数さん
垢版 |
2018/08/06(月) 23:37:13.84ID:JP7RPMux
>Tiを因数分解すると、2m+1の因数を含むということ
g(pr)の全ての係数Tiが(2m+1)の倍数であるってことでいいのね?
0050132人目の素数さん
垢版 |
2018/08/06(月) 23:42:10.01ID:9L7CxojJ
>>48
では証明は不完全ですね
0051132人目の素数さん
垢版 |
2018/08/06(月) 23:51:30.44ID:JP7RPMux
>>48
整数倍じゃないのに(2m+1)を因数に持つことをわざわざ示した意味はどこにあるの?
0052132人目の素数さん
垢版 |
2018/08/06(月) 23:56:24.24ID:9L7CxojJ
>>49
12ページの冒頭でcr≠qr-1の場合について示しているのに、これに対応したcr=qr-1の場合についての言及がないので、証明は不完全だと言いました。
これではcr≠qr-1について場合分けをしていないとは言えません。
0053132人目の素数さん
垢版 |
2018/08/07(火) 00:42:41.04ID:43d9wP5e
cr≠qr-1をたとえ利用したとしても「cr≠qr-1の場合」と書かなければ場合分けしたことにならず一般の場合に示せた事になるのか……なんたる斬新な発想……wwww
0056132人目の素数さん
垢版 |
2018/08/07(火) 06:03:06.98ID:EBKm5y+e
>>55
係数Tiが(2m+1)の整数倍じゃなくてもいいってことになったら、結局Jの右辺のwも整数じゃないことになるから、証明が成り立たなくなると心配します。
0057132人目の素数さん
垢版 |
2018/08/07(火) 06:38:28.17ID:nDjdi2DK
>>56
せやかて工藤、
>n = 9のとき
>f(pr) = (256pr^8 − 1024pr^7 + 1856pr^6 − 1984pr^5 + 1376pr^4 − 640pr^3 + 200pr^2 − 40pr + 5)/pr^(qr−cr−1)
なんやねんから、係数全て5の倍数とか全然ちゃうやんか
0058132人目の素数さん
垢版 |
2018/08/07(火) 07:26:02.35ID:EBKm5y+e
>>57
せやな(笑)
>係数全て5の倍数とか全然ちゃうやんか
そう。まさにそこをツっ込もうと思ったのよ。
g(pr)の各項の係数が(2m+1)の整数倍じゃないんだったら、g(pr)が(2m+1)の倍数であることは言えないし、2m+1がpr^(qr-cr-1)の倍数ってことも言えない。
J式は
2m+1=w pr^(qr-cr-1)
だから、このwは整数とは言えない。
0060132人目の素数さん
垢版 |
2018/08/07(火) 09:07:08.41ID:Cc7tnWeO
因数prが(2m+1)ではない方には含まれないことから、2m+1の方に全てprが存在することになります
0062132人目の素数さん
垢版 |
2018/08/07(火) 11:52:21.14ID:mFijf4MY
>>5 にあるように1は登場以来、同じミスから離れられない。

105 132人目の素数さん sage 2018/07/04(水) 09:46:58.17 ID:ek6yEHt4
>>1はこの手の間違いを前スレから何度も繰り返している。AB = CD という等式があったときに、

「 A が C を割り切らないなら、A は D を割り切る 」

という間違った論法である。AとCが互いに素なら正しく使えるテクニックだが、
互いに素とは限らないケースでは全く使えないのである。

にも関わらず、>1は条件反射的に何度もこのミスを繰り返している。
>1がこのミスをしたのは、俺が見かけた範囲だけでも3回程度はあったはず(今回を含めて)。

おそらく、>1の中でこの間違え方は「クセ」になっている。
>>101の反応を見る限り、>1はこの間違え方を全く克服できていない。
他人からその都度指摘されなければ、間違っていることが理解できない。
となれば、今後もこの間違え方を繰り返すものと思われる。
0063132人目の素数さん
垢版 |
2018/08/07(火) 11:53:48.39ID:mFijf4MY
前スレで繰り返し指摘されたように

1は、∀と∃の区別ができない。

このように、数式の変形や証明問題について根本的に理解を欠いている1には
進歩・改善の見込みが皆無。
0065132人目の素数さん
垢版 |
2018/08/07(火) 11:58:27.59ID:Cc7tnWeO
>>62
その間違いはもうない。

>>63
そんなことぐらい分かっているし、読めば普通はどう定義しているのかは分かる。
0069132人目の素数さん
垢版 |
2018/08/07(火) 12:16:18.50ID:QCqAGpcR
とりあえず
Rが整数とは限らない
cr≠qr-1
の話はどうやったん?
論文で “Rが整数より” と論じてるところはもう一箇所もないの?
同じく “cr≠qr-1より” と論じてるところはもう一箇所もないの?
0070132人目の素数さん
垢版 |
2018/08/07(火) 12:19:18.35ID:TCt23s7e
ミスが指摘されれば、これまで通り無視!

だからどんなに繰り返し指摘されても、
その間違いはもうないと言い続ける。
0071132人目の素数さん
垢版 |
2018/08/07(火) 12:24:06.40ID:Cc7tnWeO
>>69
cr≠qr-1は、それはJの条件を導くときに使っている

>>70
ミスはない、前に書いた内容の間違いを繰り返して書いているだけ
0072132人目の素数さん
垢版 |
2018/08/07(火) 12:27:44.03ID:QCqAGpcR
>>71
じゃあcr=qr-1の場合の考察は新設したん?
それとも “cr≠qr-1の場合” って書いてるわけではないから cr=qr-1 の可能性は無視していいというスタンス?
0074132人目の素数さん
垢版 |
2018/08/07(火) 12:31:39.92ID:QCqAGpcR
>>73
今のところ無視していいというスタンスなん??????
完成してないのでは????
0075132人目の素数さん
垢版 |
2018/08/07(火) 12:33:52.37ID:utW3tZWg
>同じく “cr≠qr-1より” と論じてるところはもう一箇所もないの?
それはある。
cr≠qr-1を仮定した上で矛盾を示している箇所は存在する。
対して、(他の条件は同一で、かつ)cr=qr-1を仮定して矛盾を示している箇所は、明示的にも暗示的にも存在しない。
したがって、証明は不備としか言いようがない。
0076132人目の素数さん
垢版 |
2018/08/07(火) 12:35:28.76ID:Cc7tnWeO
>>75
Jが満たされる場合に、2m+1の解が存在しないというふうになっているのに、よくそんなことが書けますね
0078132人目の素数さん
垢版 |
2018/08/07(火) 12:49:16.95ID:lNtSGyu/
そのJの前提条件にも“cr≠qr-1のとき” と明示されている。

だいたいJの式ではcr=qr-1のときpr|2m+1が示せない。
良くもぬけぬけと>>76のような大口が叩けるものだ
0080132人目の素数さん
垢版 |
2018/08/07(火) 12:53:29.99ID:QCqAGpcR
>>76
いやcr≠qr-1を仮定した場合だけじゃだめでしょ?
“cr≠qr-1の場合” と書いていようがいまいが、cr≠qr-1を使ってればそれが証明されてないなら場合分けしてない限りアウトでしょ?
書いてあればそのあとに “cr=qr-1の場合” が続かなと一般に示されれた事にはならない。
書いてなければ、証明もされてない、場合分けの仮説にもない命題を利用してることになり、話にならない。
cr=qr-1の場合の証明は原版にはないの?
0081132人目の素数さん
垢版 |
2018/08/07(火) 12:58:24.92ID:Cc7tnWeO
>>80
原版も何も私が今、研究している成果を公開しているものだから、原版とは?
cr=qr-1の場合の矛盾を導く方法を考えているが、はっきり言って見つからない。
探し初めて、2日目。
0082132人目の素数さん
垢版 |
2018/08/07(火) 13:02:03.76ID:Cc7tnWeO
人が書いたものを盗んだものでもないからな、そういう誹謗を毎日のように受けているが
0083132人目の素数さん
垢版 |
2018/08/07(火) 13:04:05.14ID:QCqAGpcR
>>81
じゃあまず少なくとも
“cr≠qr-1の場合”
という一文をその命題を利用してる部分の前に挿入するか、それ以前の部分に “cr≠qr-1” の証明を入れないとだめやろ?
その場所依然のところで証明もしてない、仮説もしてない命題を利用するのは数学の証明としてありえない。
そういう細かいところをキッチリしないと数学力つかないよ。
0085132人目の素数さん
垢版 |
2018/08/07(火) 13:08:42.93ID:YDHbYxag
>矛盾を導く方法を考えているが、はっきり言って見つからない。
>探し初めて、2日目。

証明できていないことを認識していても
完成と言い張るわけか。

やはり、わざとであったか。
0086132人目の素数さん
垢版 |
2018/08/07(火) 13:09:27.69ID:gs2eVX6+
オイラーの結果を知ってるのにさも全部自分でやりました感出てませんか?
0087132人目の素数さん
垢版 |
2018/08/07(火) 13:13:04.68ID:Cc7tnWeO
>>85
>>79
証明できていないのではなく、cr≠qr-1は証明不可能である可能性が高い

>>86
オイラーの結果は遠い昔に予備校で習ったから、この証明を検討していくにつれ
過去の記憶や、wikiの内容に一致したというぐらいのことではないのでしょうか?
奇数の完全数に関する証明を私は見ていませんが。
結果が出た後に他のサイトなりでみたということはあったかもしれませんが。
0089132人目の素数さん
垢版 |
2018/08/07(火) 13:17:40.91ID:gs2eVX6+
証明不可能なら証明は完成してませんね
お疲れさまでした

>>87
yを素因数分解するときに、何故一つの素因数(p)だけを特別扱いしてるのですか?
0094132人目の素数さん
垢版 |
2018/08/07(火) 13:22:58.17ID:QCqAGpcR
証明してない命題についてキチンと “×××の場合” とあればそれはそれで “in a certain case” の議論としての意味はある。
しかしなんの根拠もないことを利用した証明なんて数学的には一文の価値もない。
少なくとも数学の世界で何かを議論がしたいなら証明のすべてのステップで仮説も証明もしてないことを前提としたロジックはまず全部無くさないとダメ。
0095132人目の素数さん
垢版 |
2018/08/07(火) 13:24:34.02ID:Cc7tnWeO
>>94
>なんの根拠もないこと

ちゃんと読んでから批判をしていただきたいものだ。さっぱり当てはまらないことを書かれているようです
0096132人目の素数さん
垢版 |
2018/08/07(火) 13:27:12.43ID:QCqAGpcR
>>87
>証明できていないのではなく、cr≠qr-1は証明不可能である可能性が高い
じゃあ現論文でcr≠qr-1を利用してる部分を回避する手立てはみつかったん?
現論文では利用してるんでしょ?
“書いてないからいい” なんてのは通用しないよ?
0098132人目の素数さん
垢版 |
2018/08/07(火) 13:28:17.83ID:QCqAGpcR
>>95
cr≠qr-1を利用してるんでしょ?
証明も仮説もしてなければ数学的にはなんの根拠もない。
0099132人目の素数さん
垢版 |
2018/08/07(火) 13:29:00.98ID:Cc7tnWeO
>>96
>>97
wが2m+1でおけているというだけです。これでこの式が正しくないということはできません。
0101132人目の素数さん
垢版 |
2018/08/07(火) 13:37:52.36ID:TJoutycs
一向にまともな文章にならないゴミ文章に謎のモチベーションで命を燃やすバカと、
それを相手にしてやってるバカとのやりとりが永遠と続くスレだな。
0103132人目の素数さん
垢版 |
2018/08/07(火) 13:55:45.79ID:gs2eVX6+
>>102
結論として、w=2m+1 のあとで、矛盾が導けているのですか?
はいかいいえでお願いします
0108132人目の素数さん
垢版 |
2018/08/07(火) 14:00:08.97ID:Cc7tnWeO
>>105
cr=qr-1の場合が不適であるということを示すことができなそうだということで、その命題を
用いなくても証明は成立しているということです。
0110132人目の素数さん
垢版 |
2018/08/07(火) 14:02:49.14ID:YDHbYxag
相変わらず、テレビでは連日1の特番をやりまくってるってことか。
0111132人目の素数さん
垢版 |
2018/08/07(火) 14:04:10.43ID:gs2eVX6+
えっと、整理しますが
 cr=qr-1

 cr≠qr-1
の両方の場合で矛盾が導けているんですね?
0112132人目の素数さん
垢版 |
2018/08/07(火) 14:05:21.62ID:Cc7tnWeO
>>110
今他の部屋にあるテレビから聞こえてきたのは「○○は氏ね。」と聞こえてきた。
○○の部分は忘れました。
それで、私は盗聴されている部屋で、「警察はテレビで脅迫している人間を逮捕してくれ。」と言いました。
0115132人目の素数さん
垢版 |
2018/08/07(火) 14:09:47.37ID:gkVDbMDU
>>71

> >>69
> cr≠qr-1は、それはJの条件を導くときに使っている

と書いてありますが、ということは、現論文ではJを使ってないの?それともJをcr≠qr-1抜きに証明しているの?
0117132人目の素数さん
垢版 |
2018/08/07(火) 14:59:58.47ID:gs2eVX6+
もしかして自分でもどっからどこまでで場合分けがなされているかわかってないんでしょうか?
0118132人目の素数さん
垢版 |
2018/08/07(火) 15:24:05.17ID:Cc7tnWeO
>>114
場合分けは、12ページで行っているだけです。12ページの後半7行以降は
場合分けは行っていません。

>>115
cr≠qr-1のときに、Jを導いている。qr=cr-1のときは2m+1=wとなるだけです。

>>117
そのようなことはありません。
0119132人目の素数さん
垢版 |
2018/08/07(火) 15:34:40.83ID:247W8usE
>もしかして自分でもどっからどこまでで場合分けがなされているかわかってないんでしょうか?

これが真相ですね
0121132人目の素数さん
垢版 |
2018/08/07(火) 15:38:12.74ID:EBKm5y+e
>>118
>qr=cr-1のときは2m+1=wとなるだけです。
つまり、qr=cr-1のときは2m+1=wとなるだけなので、この証明で示そうとしている矛盾が生じる余地がまったく無い。結論として、この場合には奇数の完全数が存在する可能性を否定できない。
0122132人目の素数さん
垢版 |
2018/08/07(火) 15:40:21.88ID:gkVDbMDU
>>71で言ってることと今言ってる事が違うのはなぜ?
>>71では cr≠qr-1は、それはJの条件を導くときに使っている

と言ってるんだからcr≠qr-1を使ってる部分があるんでしょ?
0123132人目の素数さん
垢版 |
2018/08/07(火) 15:51:22.01ID:gkVDbMDU
もちろん数学の議論ではいくつかの場合に分けるのは構わないし、そのために場合分けの仮説をいれるのも構わない。
しかし、ならばその仮説の開始を宣言する "以下✖✖の場合を考える" のような宣言は必須だし、
その仮説付きの議論を終了する下りでは "以上により✖✖の場合には○○が言えることがわかった" のような下りが必要でしょ?
そういうのキチンと入れないとダメだよ?
よんだらわかるはずなんて通用しないよ?
エスパーじゃないんだから。
そんなの他人にはわからない。
0124132人目の素数さん
垢版 |
2018/08/07(火) 16:01:20.25ID:247W8usE
数式の変形や証明問題について根本的に理解を欠いているという1

なんで数学板にいるんだ?
1には縁のない場所
0125132人目の素数さん
垢版 |
2018/08/07(火) 17:00:48.59ID:gs2eVX6+
>>118
12ページの何行目に
 cr=qr-1
の場合があるのですか?
ちょっと見当たらないんですが、見落としてたらごめんなさい
0126132人目の素数さん
垢版 |
2018/08/07(火) 17:03:03.87ID:ik2/wf5H
>>89
>yを素因数分解するときに、何故一つの素因数(p)だけを特別扱いしてるのですか?
これに関しては、高木さんの書き方がよくないんだと思うよ。

本当は、3.1及び3.2で行われている
「指数が奇数個になる素因数はただ一つである」ということを証明した後で、
「そのただ一つの素因数をpとおく」とすべきなの。
3ページ目以降はその前提の下で議論してるから。

でも、記述の順番を間違えてるから、pの選定根拠がよくわからんくなってる。
0127132人目の素数さん
垢版 |
2018/08/07(火) 17:37:48.70ID:Cc7tnWeO
>>121
cr=qr-1のときは2m+1=wとして正しく証明できていると思います。

>>122
はい

>>124
最新の論文の中から、例示してください

>>125
そのときに、Jが2m+1=wになるというだけです

>>126
それは、人の自由だと思います
0128132人目の素数さん
垢版 |
2018/08/07(火) 17:45:26.74ID:gs2eVX6+
>>127
cr≠qr-1という条件は12ページの何行目でどのような目的で使われているのですか?
w=2m+1 になるかならないか、という話だけだったら、そもそも何の意味があるんでしょうか?
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況