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

1 ：１３２人目の素数さん：2018/08/05(日) 05:25:38.78 ID:CcBDiEWJ.net

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/

246 ： ：2018/08/09(木) 19:11:04.23 ID:qa1PqB1o.net

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

247 ：１３２人目の素数さん：2018/08/09(木) 19:15:01.60 ID:mu/HJQeV.net

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

248 ：１３２人目の素数さん：2018/08/09(木) 19:32:08.65 ID:ZySxv1Aw.net

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

249 ：１３２人目の素数さん：2018/08/09(木) 19:33:18.56 ID:ZySxv1Aw.net

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

250 ：１３２人目の素数さん：2018/08/09(木) 20:12:22.82 ID:qa1PqB1o.net

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

251 ：１３２人目の素数さん：2018/08/09(木) 20:19:11.11 ID:mu/HJQeV.net

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

252 ：１３２人目の素数さん：2018/08/09(木) 20:39:10.22 ID:mu/HJQeV.net

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

253 ： ：2018/08/09(木) 21:17:54.43 ID:qa1PqB1o.net

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

254 ：１３２人目の素数さん：2018/08/09(木) 21:21:14.58 ID:8koxqui/.net

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

255 ：１３２人目の素数さん：2018/08/09(木) 21:57:36.68 ID:mu/HJQeV.net

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

256 ：１３２人目の素数さん：2018/08/09(木) 22:42:20.09 ID:3DPVpKHo.net

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

257 ：１３２人目の素数さん：2018/08/09(木) 22:43:47.88 ID:6SRCmTdt.net

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

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

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

258 ：１３２人目の素数さん：2018/08/09(木) 22:59:11.76 ID:1Lcv0NiR.net

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

259 ： ：2018/08/09(木) 23:11:13.68 ID:qa1PqB1o.net

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

260 ：１３２人目の素数さん：2018/08/09(木) 23:14:25.12 ID:3DPVpKHo.net

出た出たいつもの

261 ：１３２人目の素数さん：2018/08/09(木) 23:14:49.60 ID:00cUkvzY.net

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

262 ： ：2018/08/09(木) 23:16:34.81 ID:qa1PqB1o.net

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

263 ： ：2018/08/09(木) 23:17:41.35 ID:qa1PqB1o.net

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

264 ：１３２人目の素数さん：2018/08/09(木) 23:19:47.62 ID:3DPVpKHo.net

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

265 ： ：2018/08/09(木) 23:23:44.87 ID:qa1PqB1o.net

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

266 ：１３２人目の素数さん：2018/08/09(木) 23:27:25.22 ID:3DPVpKHo.net

日本語も...

267 ： ：2018/08/09(木) 23:30:40.83 ID:qa1PqB1o.net

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

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

268 ： ：2018/08/09(木) 23:31:49.80 ID:qa1PqB1o.net

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

269 ：１３２人目の素数さん：2018/08/09(木) 23:32:17.28 ID:3DPVpKHo.net

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

270 ： ：2018/08/09(木) 23:33:25.16 ID:qa1PqB1o.net

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

271 ：１３２人目の素数さん：2018/08/09(木) 23:34:11.53 ID:3DPVpKHo.net

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

272 ： ：2018/08/09(木) 23:36:59.34 ID:qa1PqB1o.net

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

273 ：１３２人目の素数さん：2018/08/09(木) 23:38:48.70 ID:3DPVpKHo.net

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

274 ： ：2018/08/09(木) 23:40:01.01 ID:qa1PqB1o.net

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

275 ：１３２人目の素数さん：2018/08/09(木) 23:40:34.59 ID:3DPVpKHo.net

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

276 ：１３２人目の素数さん：2018/08/09(木) 23:42:01.13 ID:3DPVpKHo.net

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

277 ：１３２人目の素数さん：2018/08/09(木) 23:46:44.80 ID:J2CDPvTD.net

>>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のやり方だろ

278 ： ：2018/08/09(木) 23:49:08.62 ID:qa1PqB1o.net

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

279 ：１３２人目の素数さん：2018/08/09(木) 23:54:43.07 ID:6SRCmTdt.net

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

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

280 ：１３２人目の素数さん：2018/08/09(木) 23:58:02.93 ID:pvvtoY/n.net

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

281 ： ：2018/08/09(木) 23:58:46.64 ID:qa1PqB1o.net

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

282 ： ：2018/08/10(金) 00:00:34.00 ID:fX825M0q.net

>>280
>>1

283 ：１３２人目の素数さん：2018/08/10(金) 00:01:13.61 ID:UF+ZsA8m.net

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

284 ：１３２人目の素数さん：2018/08/10(金) 00:10:26.69 ID:fANkDmEQ.net

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

285 ：１３２人目の素数さん：2018/08/10(金) 00:14:17.71 ID:UF+ZsA8m.net

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

286 ：１３２人目の素数さん：2018/08/10(金) 00:22:58.85 ID:1pNuBVxK.net

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

287 ：１３２人目の素数さん：2018/08/10(金) 03:35:49.59 ID:aBe+7ih9.net

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

288 ：１３２人目の素数さん：2018/08/10(金) 05:28:25.13 ID:gMWLT1XQ.net

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

289 ：１３２人目の素数さん：2018/08/10(金) 06:41:09.06 ID:lGKhapM0.net

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

290 ：１３２人目の素数さん：2018/08/10(金) 07:11:36.44 ID:Xjr/6c0M.net

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

291 ：１３２人目の素数さん：2018/08/10(金) 09:42:39.69 ID:wyn2UaIV.net

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

　　　　p * p = 4

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



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

292 ： ：2018/08/10(金) 10:18:50.91 ID:fX825M0q.net

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

293 ：１３２人目の素数さん：2018/08/10(金) 10:29:36.85 ID:docgQ2AT.net

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

294 ： ：2018/08/10(金) 10:53:18.80 ID:fX825M0q.net

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

295 ：１３２人目の素数さん：2018/08/10(金) 13:07:35.09 ID:ba/Myr+q.net

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

296 ：１３２人目の素数さん：2018/08/10(金) 13:23:44.56 ID:Xjr/6c0M.net

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

297 ： ：2018/08/10(金) 16:14:01.78 ID:fX825M0q.net

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

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

298 ：１３２人目の素数さん：2018/08/10(金) 16:17:05.12 ID:7a2BdlKE.net

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

299 ： ：2018/08/10(金) 16:26:48.39 ID:fX825M0q.net

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

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

300 ： ：2018/08/10(金) 16:29:48.15 ID:fX825M0q.net

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

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

301 ：１３２人目の素数さん：2018/08/10(金) 16:41:47.75 ID:9N8PyoKh.net

全＝無

ですか？

302 ：１３２人目の素数さん：2018/08/10(金) 16:47:06.02 ID:XAkIve6y.net

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

303 ： ：2018/08/10(金) 16:56:23.51 ID:fX825M0q.net

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

304 ：１３２人目の素数さん：2018/08/10(金) 16:58:41.29 ID:9N8PyoKh.net

全＝無

ですか？

305 ：１３２人目の素数さん：2018/08/10(金) 17:03:36.46 ID:FohgrxLg.net

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

306 ：１３２人目の素数さん：2018/08/10(金) 17:10:55.78 ID:0TRdS/lM.net

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

307 ：１３２人目の素数さん：2018/08/10(金) 17:29:34.86 ID:Xjr/6c0M.net

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

308 ：１３２人目の素数さん：2018/08/10(金) 17:38:24.07 ID:FIh+62Ui.net

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

309 ：１３２人目の素数さん：2018/08/10(金) 17:41:55.82 ID:vCcteu5m.net

おめ。もうくんなよ

310 ：１３２人目の素数さん：2018/08/10(金) 18:15:26.36 ID:CCIReC2R.net

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

１は、もう来るな。

311 ： ：2018/08/10(金) 18:40:55.87 ID:fX825M0q.net

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

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

312 ：１３２人目の素数さん：2018/08/10(金) 18:47:14.78 ID:Xjr/6c0M.net

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

313 ：１３２人目の素数さん：2018/08/10(金) 19:10:28.68 ID:3ADzKlQb.net

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

314 ： ：2018/08/10(金) 20:32:13.56 ID:fX825M0q.net

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

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

315 ：１３２人目の素数さん：2018/08/10(金) 20:41:36.06 ID:lGKhapM0.net

いい加減にしろ！

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

316 ：１３２人目の素数さん：2018/08/10(金) 20:49:40.72 ID:9N8PyoKh.net

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

317 ： ：2018/08/10(金) 20:51:01.96 ID:fX825M0q.net

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

318 ：１３２人目の素数さん：2018/08/10(金) 20:58:22.04 ID:0TRdS/lM.net

終わらなくて草

319 ：１３２人目の素数さん：2018/08/10(金) 21:03:24.27 ID:IvuMWXPQ.net

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

320 ：１３２人目の素数さん：2018/08/10(金) 21:30:28.92 ID:lGKhapM0.net

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

321 ：１３２人目の素数さん：2018/08/10(金) 21:54:14.23 ID:9N8PyoKh.net

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

322 ：１３２人目の素数さん：2018/08/11(土) 06:41:58.70 ID:Hb30Qs8t.net

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

323 ： ：2018/08/11(土) 08:05:24.55 ID:VzBbEbSZ.net

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

324 ：１３２人目の素数さん：2018/08/11(土) 08:52:16.61 ID:K/xcNPIC.net

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


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

325 ： ：2018/08/11(土) 09:41:39.58 ID:VzBbEbSZ.net

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

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

326 ：１３２人目の素数さん：2018/08/11(土) 09:55:20.96 ID:pW3k6Y87.net

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

327 ：１３２人目の素数さん：2018/08/11(土) 10:00:55.52 ID:Ue+KtiS5.net

何回完成するんですかね

328 ：１３２人目の素数さん：2018/08/11(土) 10:04:33.31 ID:TSBXIcfK.net

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

329 ：１３２人目の素数さん：2018/08/11(土) 10:09:55.74 ID:KjzsAEhK.net

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

330 ： ：2018/08/11(土) 10:18:16.29 ID:VzBbEbSZ.net

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

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

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

331 ： ：2018/08/11(土) 11:39:08.08 ID:VzBbEbSZ.net

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

332 ：１３２人目の素数さん：2018/08/11(土) 12:01:47.62 ID:jlUvWFl6.net

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

333 ：１３２人目の素数さん：2018/08/11(土) 12:13:40.75 ID:ycHoh7Pj.net

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

334 ：１３２人目の素数さん：2018/08/11(土) 12:52:09.35 ID:jE8QRR2N.net

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

335 ：１３２人目の素数さん：2018/08/11(土) 13:11:01.03 ID:JfuEsE4+.net

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

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

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

336 ：１３２人目の素数さん：2018/08/11(土) 14:33:06.93 ID:3XfmiEnb.net

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

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

337 ： ：2018/08/11(土) 16:08:10.31 ID:VzBbEbSZ.net

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

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

338 ：１３２人目の素数さん：2018/08/11(土) 16:12:07.76 ID:JfuEsE4+.net

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

339 ： ：2018/08/11(土) 16:41:44.02 ID:VzBbEbSZ.net

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

340 ：１３２人目の素数さん：2018/08/11(土) 17:20:54.70 ID:ImByykHY.net

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

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

341 ：１３２人目の素数さん：2018/08/11(土) 17:23:44.71 ID:avnkcncE.net

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

342 ：１３２人目の素数さん：2018/08/11(土) 17:38:15.78 ID:TN9AorhA.net

仮定した完全数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 にならないのでそれまでの主張それ自体が成り立たなくなる。

343 ：１３２人目の素数さん：2018/08/11(土) 17:51:07.60 ID:0ER8IFIN.net

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

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

344 ：１３２人目の素数さん：2018/08/11(土) 18:01:19.92 ID:M6leIyVk.net

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

345 ：１３２人目の素数さん：2018/08/11(土) 18:13:43.99 ID:9ynGO6LD.net

>>337
>書かない

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