2ちゃんねる ■掲示板に戻る■ 全部 1- 最新50    

■ このスレッドは過去ログ倉庫に格納されています

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

1 :132人目の素数さん: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/

213 :132人目の素数さん:2018/08/08(水) 17:03:29.12 ID:jmKVPQcB.net
論文というよりも計算ノート感がありませんか?

214 :132人目の素数さん:2018/08/08(水) 17:05:06.28 ID:yIFHUvbk.net
>>207
数学力があるということを言うために「中学校で100点とった」と自慢気に言うやつがいるか?

自分に数学力があるということを主張するにもトンチンカンなことを言ってしまう時点で、致命的に証明力が無い。

215 :132人目の素数さん:2018/08/08(水) 17:13:22.18 ID:hiEQuUIj.net
>>214 センター満点とか早稲田の応用物理卒とか、自慢されても逆効果ですよねぇ…

216 :132人目の素数さん:2018/08/08(水) 17:27:55.72 ID:k9XJve1d.net
>>215
事実ですから、変えようがありません。
馬鹿にするから書いているだけであって、自慢ではありません。

217 :132人目の素数さん:2018/08/08(水) 17:28:42.52 ID:k9XJve1d.net
>>211
pはkに依存するので、固定値ではありません。

218 :132人目の素数さん:2018/08/08(水) 17:30:02.13 ID:k9XJve1d.net
>>212
2b=c(p^n+…+1)
はこの問題が成り立つための式ですけど。何を言いたいのか分かりません。

219 :132人目の素数さん:2018/08/08(水) 17:31:18.36 ID:jmKVPQcB.net
それ燃料なんですよ

220 :132人目の素数さん:2018/08/08(水) 17:51:27.07 ID:qpK3LtTu.net
ID:k9XJve1d
はまた代行か?

221 :132人目の素数さん:2018/08/08(水) 19:02:38.27 ID:eBeZZy/D.net
分からなければ分かるまで何度でも説明してやりゃいいよ

>2b=c(p^n+…+1)
>はこの問題が成り立つための式ですけど。

p が固定値でないという主張を通すと、
一度この式が成り立つとして定めた値から p を変化させるとこの式が成り立たなくなる。
だから、その主張はおかしいと言われているわけだ。

2b=c(p^n+…+1) より
b=c((p+1)/2)(p^{n-1}+p^{n-3}+…+1)
(p+1)/2が素数のときこれをprと仮定したので
b=c・pr(p^{n-1}+p^{n-3}+…+1)
b=Πpk^qkとおくと、c は b の約数だから 0≦ck≦qk となる ck について c=Πpk^ck と書ける
よって (p^{n-1}+p^{n-3}+…+1)=b/(c・pr) = (Πpk^{qk-ck})/pr
f(pr) は (p^{n-1}+p^{n-3}+…+1)/pr^{qr-cr-1} に等しいから Π{k=1〜r-1}pk^{qk-ck} となる。これは整数のはずだ。ここまではいい。

r≠kのときpr≠pkだから、pk を (p+1)/2 と等しくなるようにするには、
上記の「この問題が成り立つための式」に当てはまる p とは別の値を持ってくる必要がある。
紛らわしいのでその値を P とする。つまり pk=(P+1)/2

f(pk) は (P^{n-1}+P^{n-3}+…+1)/pr^{qr-cr-1} であり
(p^{n-1}+p^{n-3}+…+1)/pk^{qk-ck-1} が整数であるということが言えたとしても、
これら2つの式が等しくなることはないので、f(pk) が整数であるとは到底言えない。
f(pk) が整数でなければ、当然 2m+1 が pk^(qk-ck-1) の倍数とは言えない。

よって
>>158
>>式Jから、任意のkに対してbがpk^qkで割り切れるためにはwを奇数として
>>2m+1=wΠ{k=1..r}pk^(qk-ck-1)
>としているが、こんな乱暴な結論は導けない。

となる。

222 :132人目の素数さん:2018/08/08(水) 19:17:21.97 ID:k9XJve1d.net
>>221
pがkに依存して変化するということは各p1〜prに対して、pが定まるということ。
2m+1=wpk^(qk-ck-1)
はpには依存しないで、bがbkで割り切られるという条件だから、この式自体はpに依存しない。

223 :132人目の素数さん:2018/08/08(水) 19:27:05.76 ID:eBeZZy/D.net
>>222
分かっていないようだから何度でも言うが、「pがkに依存して変化する」とき、
「bがbkで割り切られるという条件」から「f(pk) が整数であるとは到底言えない。」
よって「2m+1 が pk^(qk-ck-1) の倍数とは言えない。」
ということを>>221で説明している。
その点についてよく理解するように。

ていうかbkって何だよ。pk^qkの意味と解釈したが正しいかい?

224 :132人目の素数さん:2018/08/08(水) 20:20:18.33 ID:ZrHEcqnu.net
1は、スレ主ならいいかげんにコテ名やトリップを使え。

数学だけじゃなく5chの作法すらできんのか!

225 : :2018/08/08(水) 21:29:40.68 ID:k9XJve1d.net
>>223
「bがbkで割り切られるという条件」から「f(pk) が整数であるとは到底言えない。」
流れを正確に追えば、そうなると思います。
具体的にはvpが整数にならなければならないという条件によってです。

>ていうかbkって何だよ。pk^qkの意味と解釈したが正しいかい?
論文の中でそう書いています。

226 :132人目の素数さん:2018/08/08(水) 22:22:29.66 ID:T2HdZ16O.net
>>216
むしろそれを書くからバカにされとるんやぞ

227 :132人目の素数さん:2018/08/08(水) 22:27:47.17 ID:T2HdZ16O.net
てか、またpが定数だったり変数だったりしてんのかwww
高木は記憶力すら悪いんか

228 :132人目の素数さん:2018/08/08(水) 22:57:53.28 ID:T6bwyAM6.net
仮定や前提とそこから導かれる結論の繋がりが整理できてないんじゃないですかね?

いくつか前の判を少し見たけど、読んでる人すごいね
自分は最後までもたないよ、こんなの

229 :132人目の素数さん:2018/08/09(木) 02:44:48.28 ID:PvInh5b+.net
こんなゴミ読んでる奴がすごいって。
暇人のバカだろ

230 :132人目の素数さん:2018/08/09(木) 06:37:24.63 ID:UBZ2DyA2.net
>>229
考え方や発言が1と同類

231 :132人目の素数さん:2018/08/09(木) 09:27:24.63 ID:/mrDq4Yp.net
類は友を呼ぶ

232 : :2018/08/09(木) 11:23:30.95 ID:qa1PqB1o.net
変更点
・cr≠qr-1の証明を追加しました


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

233 :132人目の素数さん:2018/08/09(木) 11:31:01.92 ID:hcm5X4i/.net
>>232
ちゃんと見直した?

234 : :2018/08/09(木) 11:42:40.03 ID:qa1PqB1o.net
変更点
・記述に誤りがあったのを修正しました


Pdf文書 英語
http://fast-uploader.com/start/7089337973661/

235 :132人目の素数さん:2018/08/09(木) 11:43:07.72 ID:qa1PqB1o.net
>>233
見直しました

236 :132人目の素数さん:2018/08/09(木) 12:02:31.00 ID:01WPrUMV.net
>>235
せっかく作ったトリップをいちいち削除するのが分けわからん

237 :132人目の素数さん:2018/08/09(木) 12:52:28.15 ID:0aZffu96.net
>>235
何時間?

238 :132人目の素数さん:2018/08/09(木) 12:57:21.54 ID:4+9X/OWC.net
完全数の問題がmodular formとか楕円曲線とかの現代数学とリンクする日はくるのだろうか?

239 :132人目の素数さん:2018/08/09(木) 13:07:00.90 ID:01WPrUMV.net
現代数学を用いずに解こうとしているのは、ここの1だけ

240 : :2018/08/09(木) 13:22:38.72 ID:qa1PqB1o.net
>>236
つけ忘れました

>>237
新規部分だけなので、20分くらいだと思います

241 :132人目の素数さん:2018/08/09(木) 13:39:45.09 ID:Ek0wY356.net
>>238
ABC問題とは関連があると聞きました

242 :132人目の素数さん:2018/08/09(木) 14:15:06.19 ID:ZySxv1Aw.net
>>240
テストじゃないんだから、1日寝かしてから見直したら

243 :132人目の素数さん:2018/08/09(木) 18:23:08.12 ID:4+9X/OWC.net
wikiみたら、奇数の完全数は
N=q^{alpha}p_1^{2e_1}...p_k^{2e_k}
の形になることが必要って書いてあるが、1の言ってるのはpというのはqのことで
固定された唯一のもので、「pがkに依存して変化するということは各p1〜prに対して、
pが定まるということ」などということはできないのでは?

244 : :2018/08/09(木) 18:59:39.38 ID:qa1PqB1o.net
>>243
p=2pk-1(0≦k≦r)だから

245 :132人目の素数さん:2018/08/09(木) 19:04:48.91 ID:mu/HJQeV.net
>>244
もうこいつダメだ...

246 : :2018/08/09(木) 19:11:04.23 ID:qa1PqB1o.net
>>245
そういうふうにすることができるということだ

247 :132人目の素数さん: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 :132人目の素数さん:2018/08/09(木) 19:32:08.65 ID:ZySxv1Aw.net
>>244
その式どこから導出したんだwww

249 :132人目の素数さん:2018/08/09(木) 19:33:18.56 ID:ZySxv1Aw.net
>>246
できるっていう根拠は?お前の妄想?

250 :132人目の素数さん:2018/08/09(木) 20:12:22.82 ID:qa1PqB1o.net
>>247
pは固定値ではないのでそう考えることができるということ

251 :132人目の素数さん:2018/08/09(木) 20:19:11.11 ID:mu/HJQeV.net
>>250
pは243にあるように、その指数alphaが2の倍数では唯一の固定された素数だろうが

252 :132人目の素数さん:2018/08/09(木) 20:39:10.22 ID:mu/HJQeV.net
訂正
×2の倍数では唯一
〇2の倍数ではない唯一

253 : :2018/08/09(木) 21:17:54.43 ID:qa1PqB1o.net
>>251
kに依存して変わると考えます

254 :132人目の素数さん:2018/08/09(木) 21:21:14.58 ID:8koxqui/.net
>>253
じゃあ矛盾が出てきても、kに依存して変わるって仮定が間違いって可能性が排除できてないので証明失敗ですね

255 :132人目の素数さん:2018/08/09(木) 21:57:36.68 ID:mu/HJQeV.net
>>253
大きな問題を考えるなら論理の勉強をしっかりしてからにしましょう

256 :132人目の素数さん:2018/08/09(木) 22:42:20.09 ID:3DPVpKHo.net
pが変数とか定数とか、ずっと前にも何人かに指摘されてたけど改善はやっぱりないんだね

257 :132人目の素数さん:2018/08/09(木) 22:43:47.88 ID:6SRCmTdt.net
だったらこう考えてもいいんだよな

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

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

258 :132人目の素数さん: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 :132人目の素数さん:2018/08/09(木) 23:14:25.12 ID:3DPVpKHo.net
出た出たいつもの

261 :132人目の素数さん: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 :132人目の素数さん:2018/08/09(木) 23:19:47.62 ID:3DPVpKHo.net
考慮に値しない論文のような何かも無視されてしまいますね
arXivにすらリジェクトされて、ねらーにしか相手にされないという現実を直視しましょう

265 : :2018/08/09(木) 23:23:44.87 ID:qa1PqB1o.net
>>264
正しくなったら、よく読みたくないだけじゃないですか?

266 :132人目の素数さん: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 :132人目の素数さん: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 :132人目の素数さん: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 :132人目の素数さん:2018/08/09(木) 23:38:48.70 ID:3DPVpKHo.net
>>272
つまり間違ってすらいないということですよね

274 : :2018/08/09(木) 23:40:01.01 ID:qa1PqB1o.net
>>273
何が言いたいのか分かりません

275 :132人目の素数さん:2018/08/09(木) 23:40:34.59 ID:3DPVpKHo.net
>>274
そうですか
ならいいです

276 :132人目の素数さん:2018/08/09(木) 23:42:01.13 ID:3DPVpKHo.net
自分の論文を承認してもらいたい人「よく読んでから反論してもらいたい、何の考慮に値しない反応ばかりだ。これから、考慮に値しない稚拙はレスは無視する」

277 :132人目の素数さん: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 :132人目の素数さん:2018/08/09(木) 23:54:43.07 ID:6SRCmTdt.net
>>277
うん、どっちでもいいぞw

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

280 :132人目の素数さん: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 :132人目の素数さん:2018/08/10(金) 00:01:13.61 ID:UF+ZsA8m.net
>>281
お前が一番、数学できてないのは周知の事実

284 :132人目の素数さん:2018/08/10(金) 00:10:26.69 ID:fANkDmEQ.net
いや、>>277の説明はスッと理解できた。
このやり口だったら偶数の完全数もないことにできる。素晴らしい!ww

285 :132人目の素数さん:2018/08/10(金) 00:14:17.71 ID:UF+ZsA8m.net
1は図星な指摘には逆ギレするということはわかった

286 :132人目の素数さん:2018/08/10(金) 00:22:58.85 ID:1pNuBVxK.net
>>282
こっちのコメントに対応できてないのに、正しいと認定しろとかふざけてんの?www

287 :132人目の素数さん:2018/08/10(金) 03:35:49.59 ID:aBe+7ih9.net
今日初めて訪れたよ。
まだ、いるんだね、こんなことを主張するアッチ系が。

288 :132人目の素数さん:2018/08/10(金) 05:28:25.13 ID:gMWLT1XQ.net
わざと反応を楽しんでいるわけじゃないのなら、
ボーダーか統失に足突っ込んでるんじゃないのか
だからお前らも魅力的に見えて反応してやってるんだろ、異常で珍しいからな。
>>1は数学の建設的な議論をするつもりはなく、お前らとコミュニケーションとることが目的になってるんだよ

289 :132人目の素数さん:2018/08/10(金) 06:41:09.06 ID:lGKhapM0.net
1は、いつもテレビから自分を非難する声が聞こえるというマジ基地なので・・・

290 :132人目の素数さん:2018/08/10(金) 07:11:36.44 ID:Xjr/6c0M.net
糖質は芸じゃないんですかね
誰にも構ってもらえない or 致命的な指摘をされたときに糖質っぽいこと言い出してる気がしませんか?

291 :132人目の素数さん:2018/08/10(金) 09:42:39.69 ID:wyn2UaIV.net
先生「次の式を満たす自然数 p はいくつか」

    p * p = 4

高木くん「右の p は1。左は4です。」



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

292 : :2018/08/10(金) 10:18:50.91 ID:fX825M0q.net
pが固定値だと思っているのはcがkにより変化するということを理解できていないだけ
ではないのでしょうか?

293 :132人目の素数さん: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 :132人目の素数さん:2018/08/10(金) 13:07:35.09 ID:ba/Myr+q.net
>>294
pが唯一の奇素数ってお前自身が証明してるじゃんwww

296 :132人目の素数さん: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 :132人目の素数さん: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 :132人目の素数さん:2018/08/10(金) 16:41:47.75 ID:9N8PyoKh.net
全=無

ですか?

302 :132人目の素数さん:2018/08/10(金) 16:47:06.02 ID:XAkIve6y.net
落書き計算帳のごみPDF
いいかげんにしろ

303 : :2018/08/10(金) 16:56:23.51 ID:fX825M0q.net
直すところがなくなったと考えられるので、これで終わりかもしれません

304 :132人目の素数さん:2018/08/10(金) 16:58:41.29 ID:9N8PyoKh.net
全=無

ですか?

305 :132人目の素数さん:2018/08/10(金) 17:03:36.46 ID:FohgrxLg.net
完成おめでとうございます!
    .。☆.゚。.。
  。:☆・。゚◇*.゚。
  ・◎.★゚.@☆。:*・.
 .゚★.。;。☆.:*◎.゚。
  :*。_☆◎。_★*・_゚
  \ξ \  ζ/
   ∧,,∧\ ξ
   (´・ω・`)/
   /  つ∀o
   しー-J

306 :132人目の素数さん:2018/08/10(金) 17:10:55.78 ID:0TRdS/lM.net
>>297
13pをどう直したんや?

307 :132人目の素数さん:2018/08/10(金) 17:29:34.86 ID:Xjr/6c0M.net
完成おめでとうございます!
    .。☆.゚。.。
  。:☆・。゚◇*.゚。
  ・◎.★゚.@☆。:*・.
 .゚★.。;。☆.:*◎.゚。
  :*。_☆◎。_★*・_゚
  \ξ \  ζ/
   ∧,,∧\ ξ
   (´・ω・`)/
   /  つ∀o
   しー-J

308 :132人目の素数さん:2018/08/10(金) 17:38:24.07 ID:FIh+62Ui.net
どうせまたすぐ次の修正が出るだろう
まだ見なくてもいいんじゃない? やたら長いし

309 :132人目の素数さん:2018/08/10(金) 17:41:55.82 ID:vCcteu5m.net
おめ。もうくんなよ

310 :132人目の素数さん:2018/08/10(金) 18:15:26.36 ID:CCIReC2R.net
証明には永遠に到達しないレベルでしかないので

1は、もう来るな。

311 : :2018/08/10(金) 18:40:55.87 ID:fX825M0q.net
>>306
ek=1になるかどうかで場合分け

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

312 :132人目の素数さん:2018/08/10(金) 18:47:14.78 ID:Xjr/6c0M.net
直すところがないならもう終わりですね
お疲れさまでした

総レス数 1001
308 KB
新着レスの表示

掲示板に戻る 全部 前100 次100 最新50
read.cgi ver.24052200