奇数の完全数の存在に関する証明が完成しました

**１３２人目の素数さん** · 2018/08/05(日) 05:25:38.78

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/

◆H4n21Ym7mA · 2018/08/09(木) 19:11:04.23

>>245
そういうふうにすることができるということだ

**１３２人目の素数さん** · 2018/08/09(木) 19:15:01.60

>>244
p=2p_1-1=2p_2-1=...=2p_r-1
よって、p_1=p_2=...=p_rってか？？？

**１３２人目の素数さん** · 2018/08/09(木) 19:32:08.65

>>244
その式どこから導出したんだｗｗｗ

**１３２人目の素数さん** · 2018/08/09(木) 19:33:18.56

>>246
できるっていう根拠は？お前の妄想？

**１３２人目の素数さん** · 2018/08/09(木) 20:12:22.82

>>247
pは固定値ではないのでそう考えることができるということ

**１３２人目の素数さん** · 2018/08/09(木) 20:19:11.11

>>250
pは２４３にあるように、その指数alphaが２の倍数では唯一の固定された素数だろうが

**１３２人目の素数さん** · 2018/08/09(木) 20:39:10.22

訂正
×２の倍数では唯一
〇２の倍数ではない唯一

◆H4n21Ym7mA · 2018/08/09(木) 21:17:54.43

>>251
kに依存して変わると考えます

**１３２人目の素数さん** · 2018/08/09(木) 21:21:14.58

>>253
じゃあ矛盾が出てきても、kに依存して変わるって仮定が間違いって可能性が排除できてないので証明失敗ですね

**１３２人目の素数さん** · 2018/08/09(木) 21:57:36.68

>>253
大きな問題を考えるなら論理の勉強をしっかりしてからにしましょう

**１３２人目の素数さん** · 2018/08/09(木) 22:42:20.09

pが変数とか定数とか、ずっと前にも何人かに指摘されてたけど改善はやっぱりないんだね

**１３２人目の素数さん** · 2018/08/09(木) 22:43:47.88

だったらこう考えてもいいんだよな

奇数の完全数が存在すると仮定する。
複数の相異なる奇素数pkでΠpkと書くことができるはずだ。
素因数分解において素数の順序は任意だから、k≠rとなるk,rについてpk=prと「いうふうにすることができる」。
これはpkとprが相異なるという前提と矛盾する。
よって、奇数の完全数は存在しない。

な？　簡単だろ？
こんな簡単なことに１は何故十数ページもかけてんだ
おまえウンコも長いだろ

**１３２人目の素数さん** · 2018/08/09(木) 22:59:11.76

仮に、kに依存してpが決定されるとすると、
>>1が証明したと言っていることは、
「奇数の完全数は存在しない」ということではなく、
「完全数でない奇数が存在する」ということにしかならないぞ

◆H4n21Ym7mA · 2018/08/09(木) 23:11:13.68

よく読んでから反論してもらいたい、何の考慮に値しない反応ばかりだ

**１３２人目の素数さん** · 2018/08/09(木) 23:14:25.12

出た出たいつもの

**１３２人目の素数さん** · 2018/08/09(木) 23:14:49.60

>>259
考慮できないならリジェクトです
ごくろうさん

◆H4n21Ym7mA · 2018/08/09(木) 23:16:34.81

>>261
リジェクトあなたにその権限があるのですか？
そのレベルの人であれば不用意は発言はしないはずですが、何様だ。

◆H4n21Ym7mA · 2018/08/09(木) 23:17:41.35

これから、考慮に値しない稚拙はレスは無視する

**１３２人目の素数さん** · 2018/08/09(木) 23:19:47.62

考慮に値しない論文のような何かも無視されてしまいますね
arXivにすらリジェクトされて、ねらーにしか相手にされないという現実を直視しましょう

◆H4n21Ym7mA · 2018/08/09(木) 23:23:44.87

>>264
正しくなったら、よく読みたくないだけじゃないですか？

**１３２人目の素数さん** · 2018/08/09(木) 23:27:25.22

日本語も...

◆H4n21Ym7mA · 2018/08/09(木) 23:30:40.83

未解決問題の証明論文ですから、その公式な認定に時間が掛かるのは普通のことではないのでしょうか？
私の場合毎日のように更新を行ってきたので、すぐに結果が得られるはずがありません。

arXivの承認を受けたいと思いますので、可能な方は承認をお願いいたします。
https://arxiv.org/auth/endorse?x=K46EMR

◆H4n21Ym7mA · 2018/08/09(木) 23:31:49.80

>>266
よく読みたくない→熟読したくない
とでも書けばいいですか？

**１３２人目の素数さん** · 2018/08/09(木) 23:32:17.28

arXivは正しい、正しくないの査読はしません
そのarXivにすら弾かれるというのは、「間違ってすらいない」ということではないでしょうか？

◆H4n21Ym7mA · 2018/08/09(木) 23:33:25.16

>>269
それは以前のことです。今回の正しい論文ではありません。

**１３２人目の素数さん** · 2018/08/09(木) 23:34:11.53

>>270
それでは今回のはどうなりましたか？

◆H4n21Ym7mA · 2018/08/09(木) 23:36:59.34

>>271
3回訂正したので、他者の承認が得られなければ提出できません。

**１３２人目の素数さん** · 2018/08/09(木) 23:38:48.70

>>272
つまり間違ってすらいないということですよね

◆H4n21Ym7mA · 2018/08/09(木) 23:40:01.01

>>273
何が言いたいのか分かりません

**１３２人目の素数さん** · 2018/08/09(木) 23:40:34.59

>>274
そうですか
ならいいです

**１３２人目の素数さん** · 2018/08/09(木) 23:42:01.13

自分の論文を承認してもらいたい人「よく読んでから反論してもらいたい、何の考慮に値しない反応ばかりだ。これから、考慮に値しない稚拙はレスは無視する」

**１３２人目の素数さん** · 2018/08/09(木) 23:46:44.80

>>257
だめだなあ。
変数pがkに依存して変わるって性質を使ってないじゃないか
こうだろ↓

奇数の完全数yが存在すると仮定する。
単一の素数または素数の累乗は完全数になり得ないので(この証明は割愛する)、
yは複数の相異なる奇素数pkでΠ{k=1～r}pkと書くことができる。
yの約数となる数をpとする。yにはpと等しい約数があるはずだから、これをprとする。
任意のk(1≦k＜r)についてもpkはyの約数だから、「p=pkというふうにすることができる」
よって任意のk(1≦k＜r)についてpk=p=prである。
pkとprが相異なるという前提と矛盾するので、奇数の完全数は存在しない。

これこそが>>1のやり方だろ

◆H4n21Ym7mA · 2018/08/09(木) 23:49:08.62

>>277
ふざけんのもいい加減にしろ

**１３２人目の素数さん** · 2018/08/09(木) 23:54:43.07

>>277
うん、どっちでもいいぞｗ

要は１がどんだけ頓珍漢な主張をしてるかが上手く１以外の読者に伝われば、
１が無視しようと罵倒しようと問題ない

**１３２人目の素数さん** · 2018/08/09(木) 23:58:02.93

>>262
正しいか判定して貰いたくてここに書き込んだんなら、こちらには判定する権限はあるわなwww

◆H4n21Ym7mA · 2018/08/09(木) 23:58:46.64

誰が数学ができない人間の情報工作を、まに受けるのか

◆H4n21Ym7mA · 2018/08/10(金) 00:00:34.00

>>280
>>1

**１３２人目の素数さん** · 2018/08/10(金) 00:01:13.61

>>281
お前が一番、数学できてないのは周知の事実

**１３２人目の素数さん** · 2018/08/10(金) 00:10:26.69

いや、>>277の説明はスッと理解できた。
このやり口だったら偶数の完全数もないことにできる。素晴らしい！ww

**１３２人目の素数さん** · 2018/08/10(金) 00:14:17.71

１は図星な指摘には逆ギレするということはわかった

**１３２人目の素数さん** · 2018/08/10(金) 00:22:58.85

>>282
こっちのコメントに対応できてないのに、正しいと認定しろとかふざけてんの？www

**１３２人目の素数さん** · 2018/08/10(金) 03:35:49.59

今日初めて訪れたよ。
まだ、いるんだね、こんなことを主張するアッチ系が。

**１３２人目の素数さん** · 2018/08/10(金) 05:28:25.13

わざと反応を楽しんでいるわけじゃないのなら、
ボーダーか統失に足突っ込んでるんじゃないのか
だからお前らも魅力的に見えて反応してやってるんだろ、異常で珍しいからな。
>>1は数学の建設的な議論をするつもりはなく、お前らとコミュニケーションとることが目的になってるんだよ

**１３２人目の素数さん** · 2018/08/10(金) 06:41:09.06

１は、いつもテレビから自分を非難する声が聞こえるというマジ基地なので・・・

**１３２人目の素数さん** · 2018/08/10(金) 07:11:36.44

糖質は芸じゃないんですかね
誰にも構ってもらえない or 致命的な指摘をされたときに糖質っぽいこと言い出してる気がしませんか？

**１３２人目の素数さん** · 2018/08/10(金) 09:42:39.69

先生「次の式を満たす自然数 p はいくつか」

　　　　p * p = 4

高木くん「右の p は１。左は４です。」

高木くん「pは固定値ではないのでそう考えることができるということ」
高木くん「よく読んでから反論してもらいたい、何の考慮に値しない反応ばかりだ」
高木くん「これから、考慮に値しない稚拙はレスは無視する」

◆H4n21Ym7mA · 2018/08/10(金) 10:18:50.91

pが固定値だと思っているのはcがkにより変化するということを理解できていないだけ
ではないのでしょうか？

**１３２人目の素数さん** · 2018/08/10(金) 10:29:36.85

>>292
その論法が謎である
cもkも存在を仮定した奇数完全数に由来するもんだったんじゃないの？

◆H4n21Ym7mA · 2018/08/10(金) 10:53:18.80

>>293
それをゆうのであれば、cもpもではないのでしょうか
kに依存して、cとpが定まるということです

**１３２人目の素数さん** · 2018/08/10(金) 13:07:35.09

>>294
pが唯一の奇素数ってお前自身が証明してるじゃんwww

**１３２人目の素数さん** · 2018/08/10(金) 13:23:44.56

奇数の完全数yって決めると同時にpは決まるんだよね？

◆H4n21Ym7mA · 2018/08/10(金) 16:14:01.78

変更点
・13ページの証明の誤りを修正しました

Pdf文書日本語
http://fast-uploader.com/file/7089440461124/
Pdf文書英語
http://fast-uploader.com/file/7089440604813/

**１３２人目の素数さん** · 2018/08/10(金) 16:17:05.12

あれ、完成したんじゃなかったんっすか？？？

◆H4n21Ym7mA · 2018/08/10(金) 16:26:48.39

変更点
・英語の文法上の誤りを修正しました

Pdf文書英語
http://fast-uploader.com/file/7089441192309/

◆H4n21Ym7mA · 2018/08/10(金) 16:29:48.15

>>298
最近追加で証明した部分に、若干の誤りを含んでいました

>>1 訂正
2018年8月4日→2018年8月10日

**１３２人目の素数さん** · 2018/08/10(金) 16:41:47.75

全＝無

ですか？

**１３２人目の素数さん** · 2018/08/10(金) 16:47:06.02

落書き計算帳のごみPDF
いいかげんにしろ

◆H4n21Ym7mA · 2018/08/10(金) 16:56:23.51

直すところがなくなったと考えられるので、これで終わりかもしれません

**１３２人目の素数さん** · 2018/08/10(金) 16:58:41.29

全＝無

ですか？

**１３２人目の素数さん** · 2018/08/10(金) 17:03:36.46

完成おめでとうございます！
　　　 .｡☆.ﾟ。.。
　　｡:☆・。ﾟ◇*.ﾟ｡
　･◎.★ﾟ.＠☆｡:*･.
　.ﾟ★.｡;｡☆.:*◎.ﾟ｡
　 :*｡_☆◎｡_★*･_ﾟ
　　＼ξ　＼　 ζ／
　　　∧,,∧＼ ξ
　　 (´･ω･`)／
　　 /　つ∀o
　　しー-Ｊ

**１３２人目の素数さん** · 2018/08/10(金) 17:10:55.78

>>297
13pをどう直したんや？

**１３２人目の素数さん** · 2018/08/10(金) 17:29:34.86

完成おめでとうございます！
　　　 .｡☆.ﾟ。.。
　　｡:☆・。ﾟ◇*.ﾟ｡
　･◎.★ﾟ.＠☆｡:*･.
　.ﾟ★.｡;｡☆.:*◎.ﾟ｡
　 :*｡_☆◎｡_★*･_ﾟ
　　＼ξ　＼　 ζ／
　　　∧,,∧＼ ξ
　　 (´･ω･`)／
　　 /　つ∀o
　　しー-Ｊ

**１３２人目の素数さん** · 2018/08/10(金) 17:38:24.07

どうせまたすぐ次の修正が出るだろう
まだ見なくてもいいんじゃない？　やたら長いし

**１３２人目の素数さん** · 2018/08/10(金) 17:41:55.82

おめ。もうくんなよ

**１３２人目の素数さん** · 2018/08/10(金) 18:15:26.36

証明には永遠に到達しないレベルでしかないので

１は、もう来るな。

◆H4n21Ym7mA · 2018/08/10(金) 18:40:55.87

>>306
ek=1になるかどうかで場合分け

>>308
もう直すところがない

**１３２人目の素数さん** · 2018/08/10(金) 18:47:14.78

直すところがないならもう終わりですね
お疲れさまでした

**１３２人目の素数さん** · 2018/08/10(金) 19:10:28.68

>>311
それはどのコメントに対する対応や？

◆H4n21Ym7mA · 2018/08/10(金) 20:32:13.56

変更点
・12ページで日本語と一致していなかったのを修正しました

Pdf文書英語
http://fast-uploader.com/file/7089456099352/

**１３２人目の素数さん** · 2018/08/10(金) 20:41:36.06

いい加減にしろ！

永遠に終わるわけねーだろ！

**１３２人目の素数さん** · 2018/08/10(金) 20:49:40.72

宇宙飛行士とプログラマーはどっちの方が凄いですか？

◆H4n21Ym7mA · 2018/08/10(金) 20:51:01.96

>>315
正しい論文になったら終わるでしょう

**１３２人目の素数さん** · 2018/08/10(金) 20:58:22.04

終わらなくて草

**１３２人目の素数さん** · 2018/08/10(金) 21:03:24.27

I wish I were a bird, I would fly to you.
ふと昔ならった文章が頭をよぎった………

**１３２人目の素数さん** · 2018/08/10(金) 21:30:28.92

>>319
じゃんじゃん書いてスレを有効に使い切ってくれ

**１３２人目の素数さん** · 2018/08/10(金) 21:54:14.23

全てのプログラミング言語を自由自在に操れるようになりたい。

**１３２人目の素数さん** · 2018/08/11(土) 06:41:58.70

>>311
そんなんよりpがkに依存してない話はどうなったんや

◆H4n21Ym7mA · 2018/08/11(土) 08:05:24.55

pがkに依存するというのは、より正確に書くとpがpkに依存するということです

**１３２人目の素数さん** · 2018/08/11(土) 08:52:16.61

先生「p * p = 4 を満たす p はいくつか」
高木くん「１と４」

高木くん「pは固定値ではないのでそう考えることができるということ」

◆H4n21Ym7mA · 2018/08/11(土) 09:41:39.58

変更点
・13ページの変数の定義の誤りを修正しました

Pdf文書日本語
http://fast-uploader.com/file/7089503361175/
Pdf文書英語
http://fast-uploader.com/file/7089503474081/

**１３２人目の素数さん** · 2018/08/11(土) 09:55:20.96

完成したのに、なんで今更定義の誤りを修正するの？

**１３２人目の素数さん** · 2018/08/11(土) 10:00:55.52

何回完成するんですかね

**１３２人目の素数さん** · 2018/08/11(土) 10:04:33.31

完成おめでとうございます！
　　　 .｡☆.ﾟ。.。
　　｡:☆・。ﾟ◇*.ﾟ｡
　･◎.★ﾟ.＠☆｡:*･.
　.ﾟ★.｡;｡☆.:*◎.ﾟ｡
　 :*｡_☆◎｡_★*･_ﾟ
　　＼ξ　＼　 ζ／
　　　∧,,∧＼ ξ
　　 (´･ω･`)／
　　 /　つ∀o
　　しー-Ｊ

**１３２人目の素数さん** · 2018/08/11(土) 10:09:55.74

どこにも向かうことはなく永遠に真実へたどり着けることはない。

◆H4n21Ym7mA · 2018/08/11(土) 10:18:16.29

>>326
p=fg+1で、fとgを奇数と定義していたから、奇数f→偶数f

>>327
これで最後になればいいと思います

>>329
もうたどり着いています

◆H4n21Ym7mA · 2018/08/11(土) 11:39:08.08

間違いが見つかりましたので、>>325を削除しました

**１３２人目の素数さん** · 2018/08/11(土) 12:01:47.62

>>331
余計なお節介に過ぎないが、一応アドバイスしておく。
手法が初等整数論の域を出ていない筈だから、次回の pdf も最後にはならないだろうし、
奇の完全数の非存在性に対する証明が完結することはないだろうと思う。
数学での「任意の」と「或る」の意味或いは扱い方の区別が付いていないんだろ。
互いに素とか素因数分解(の一意性)といったような基本的なことが応用出来ていないんだろ。
これでは、仮に奇の完全数の非存在性を証明して解決出来たとしても、
2000年以上未解決の問題の解決には至らないと思うよ。
普通の考えでは、初等整数論の域を出ない限り解決にたどり着くことはないと思う。

**１３２人目の素数さん** · 2018/08/11(土) 12:13:40.75

即堕ち2コマシリーズかな

**１３２人目の素数さん** · 2018/08/11(土) 12:52:09.35

真面目に相手するだけ無駄

**１３２人目の素数さん** · 2018/08/11(土) 13:11:01.03

kに依存してp=2p_k-1が成り立つって言ってるけど、nの素因数がpとp_kのふたつしかないとき

p=2p_k-1
p_k=2p-1

よりp=p_k=1になっちゃうよ。

**１３２人目の素数さん** · 2018/08/11(土) 14:33:06.93

>201
> 自分の誤りを見つけるのが困難なことぐらい誰でも分かるだろう。個人で研究するとそうなる。

思い込みやらなにやらで、間違いに気づかない、というのはままあることではあります
しかし本当にこう考えてるのなら、指摘は真摯に受け止めるはずですが……

◆H4n21Ym7mA · 2018/08/11(土) 16:08:10.31

>>332
それは分かっています。数学記号を書かないから、それを分かっていないと決めつけているだけでしょう

>>335
p_k=2p-1にはなりません

**１３２人目の素数さん** · 2018/08/11(土) 16:12:07.76

>>337
ならないよ。何回も言われてるように完全数nを決めたら、指数が4m+1型の素数pは
だた一つに定まるから。

◆H4n21Ym7mA · 2018/08/11(土) 16:41:44.02

>>338
自分で考えてくれ、この証明はpの個数に依存しない考え方をしている

**１３２人目の素数さん** · 2018/08/11(土) 17:20:54.70

>>339
認められたいなら、ちゃんと説明してくれ

pはkに依存して決まらないのw
個数がーとかじゃないのw

**１３２人目の素数さん** · 2018/08/11(土) 17:23:44.71

＞pの個数に依存しない考え方をしている
その主張は通らないなあ。自分で p=(2b-c)/(2b-a) と書いてるんだから

**１３２人目の素数さん** · 2018/08/11(土) 17:38:15.78

仮定した完全数yの約数pがあって、その指数nが整数mで4m+1と表されるならば、yが(p+1)/2の約数であるはずだ。という命題が示されていても、
素の命題の逆、つまり yの素因数pkについて、pk=(p+1)/2 つまり p=2pk-1 となるような p が y の約数であるとはいえない。これは別途証明しなければならない。
だいたい pk が素数であっても、p=2pk-1 が合成数であるケースがある。p が合成数だったら約数関数は p^n+...+1 にならないのでそれまでの主張それ自体が成り立たなくなる。

**１３２人目の素数さん** · 2018/08/11(土) 17:51:07.60

>>336
あいつの見直し、書いてすぐ20分程度の見直しだから、そもそもなめてるんだよ

2000年前からの未解決問題を解いてる俺かっけーのファッションなんだよ

**１３２人目の素数さん** · 2018/08/11(土) 18:01:19.92

>ちょと違うと思う
この馬鹿の頭の中の数学は非常に狭く、それがすべてだと思ってる。
心の底からそうだと思ってる。だからその域から出たら理解不能になって思考停止。
ただの無知と無勉。
一生懸命、間違いを伝えようとしてるの見てよくこんなの相手にしてるなと思うわｗ

**１３２人目の素数さん** · 2018/08/11(土) 18:13:43.99

>>337
>書かない

じゃなくて、書けないんだろ…理解してないから