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

**１３２人目の素数さん** · 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/

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

論文というよりも計算ノート感がありませんか？

**１３２人目の素数さん** · 2018/08/08(水) 17:05:06.28

>>207
数学力があるということを言うために「中学校で100点とった」と自慢気に言うやつがいるか？

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

**１３２人目の素数さん** · 2018/08/08(水) 17:13:22.18

>>214　センター満点とか早稲田の応用物理卒とか、自慢されても逆効果ですよねぇ…

**１３２人目の素数さん** · 2018/08/08(水) 17:27:55.72

>>215
事実ですから、変えようがありません。
馬鹿にするから書いているだけであって、自慢ではありません。

**１３２人目の素数さん** · 2018/08/08(水) 17:28:42.52

>>211
pはkに依存するので、固定値ではありません。

**１３２人目の素数さん** · 2018/08/08(水) 17:30:02.13

>>212
2b=c(p^n+…+1)
はこの問題が成り立つための式ですけど。何を言いたいのか分かりません。

**１３２人目の素数さん** · 2018/08/08(水) 17:31:18.36

それ燃料なんですよ

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

ID:k9XJve1d
はまた代行か？

**１３２人目の素数さん** · 2018/08/08(水) 19:02:38.27

分からなければ分かるまで何度でも説明してやりゃいいよ

＞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} が整数であるということが言えたとしても、
これら２つの式が等しくなることはないので、f(pk) が整数であるとは到底言えない。
f(pk) が整数でなければ、当然 2m+1 が pk^(qk-ck-1) の倍数とは言えない。

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

となる。

**１３２人目の素数さん** · 2018/08/08(水) 19:17:21.97

>>221
pがkに依存して変化するということは各p1～prに対して、pが定まるということ。
2m+1=wpk^(qk-ck-1)
はpには依存しないで、bがbkで割り切られるという条件だから、この式自体はpに依存しない。

**１３２人目の素数さん** · 2018/08/08(水) 19:27:05.76

>>222
分かっていないようだから何度でも言うが、「pがkに依存して変化する」とき、
「bがbkで割り切られるという条件」から「f(pk) が整数であるとは到底言えない。」
よって「2m+1 が pk^(qk-ck-1) の倍数とは言えない。」
ということを>>221で説明している。
その点についてよく理解するように。

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

**１３２人目の素数さん** · 2018/08/08(水) 20:20:18.33

１は、スレ主ならいいかげんにコテ名やトリップを使え。

数学だけじゃなく５ｃｈの作法すらできんのか！

◆H4n21Ym7mA · 2018/08/08(水) 21:29:40.68

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

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

**１３２人目の素数さん** · 2018/08/08(水) 22:22:29.66

>>216
むしろそれを書くからバカにされとるんやぞ

**１３２人目の素数さん** · 2018/08/08(水) 22:27:47.17

てか、またpが定数だったり変数だったりしてんのかｗｗｗ
高木は記憶力すら悪いんか

**１３２人目の素数さん** · 2018/08/08(水) 22:57:53.28

仮定や前提とそこから導かれる結論の繋がりが整理できてないんじゃないですかね？

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

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

こんなゴミ読んでる奴がすごいって。
暇人のバカだろ

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

>>229
考え方や発言が１と同類

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

類は友を呼ぶ

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

変更点
・cr≠qr-1の証明を追加しました

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

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

>>232
ちゃんと見直した？

◆H4n21Ym7mA · 2018/08/09(木) 11:42:40.03

変更点
・記述に誤りがあったのを修正しました

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

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

>>233
見直しました

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

>>235
せっかく作ったトリップをいちいち削除するのが分けわからん

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

>>235
何時間？

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

完全数の問題がmodular formとか楕円曲線とかの現代数学とリンクする日はくるのだろうか？

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

現代数学を用いずに解こうとしているのは、ここの１だけ

◆H4n21Ym7mA · 2018/08/09(木) 13:22:38.72

>>236
つけ忘れました

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

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

>>238
ＡＢＣ問題とは関連があると聞きました

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

>>240
テストじゃないんだから、１日寝かしてから見直したら

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

wikiみたら、奇数の完全数は
N=q^{alpha}p_1^{2e_1}...p_k^{2e_k}
の形になることが必要って書いてあるが、１の言ってるのはpというのはqのことで
固定された唯一のもので、「pがkに依存して変化するということは各p1～prに対して、
pが定まるということ」などということはできないのでは？

◆H4n21Ym7mA · 2018/08/09(木) 18:59:39.38

>>243
p=2pk-1(0≦k≦r)だから

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

>>244
もうこいつダメだ...

◆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

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