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/
0190132人目の素数さん
垢版 |
2018/08/08(水) 12:31:33.86ID:SyfGe8TU
>>186

実力不足が謙虚さの欠乏から来てるんだけどね。
ま、何も数学力つけなくても生きてはいけるからつけなくてもいいけどね。
0192132人目の素数さん
垢版 |
2018/08/08(水) 13:27:14.02ID:T9MNnF8L
>>183
高校生程度が読める(笑)文章を見直しても間違いに気付かずアップするってことはお前の能力は高校生以下ってことやぞ
0193132人目の素数さん
垢版 |
2018/08/08(水) 13:33:17.06ID:O0SIDx7G
>>189
その部分は分かったので削除しました

>>190
20数年前にセンター数学満点の人間によくそんなことが書けると思いますが

>>191
どこが謙虚じゃないのかも書いてほしいものだ。

>>192
誰も解決できない問題を解決するのには大変に困難だというだけだ。
私がSEとして働いていたときは、理系の頂点の偏差値の人間に対して失礼極まりない
低レベルな仕事のたらい回しだったわけだけど。
0196132人目の素数さん
垢版 |
2018/08/08(水) 13:48:23.54ID:6joogfId
現時点で小学生以下の間違いばかりを繰り返す1は、
現時点で小学生以下でしかない。

数学もSEも無理。
0197132人目の素数さん
垢版 |
2018/08/08(水) 13:56:26.04ID:T9MNnF8L
>>195
困難でない見直しすらできてないから、アップしては改訂の繰り返しなんだろwwwもう何版目なんwww

困難でないことができてない時点で、お前の無能は確定やぞ
0198132人目の素数さん
垢版 |
2018/08/08(水) 13:57:06.84ID:lK0b4lWo
本当にデキる人材なら、
いくら不況だからって切られないよな(あっ…
0199132人目の素数さん
垢版 |
2018/08/08(水) 14:29:08.64ID:tfbAd/iv
天上天下唯我独尊の人だからまぁ治らないだろうけどねぇ。
結局、証明の正しいフォーマットが読み手のみならず書き手にとっても見直し時に間違いを発見しやすいように練に寝られた素晴らしい先人の知恵なのに
勉強不足でその技術がマスター出来てないからいつまでたっても自分で自分のミスに気づけない。
根拠のない自信でそういう先人の知恵を身につける事の大切さに気づけない。
自分の事をバカと思える謙虚な人間は少しづつでも成長できるけど、自分以外全員バカとおもってるバカは永遠のバカ。
0200132人目の素数さん
垢版 |
2018/08/08(水) 14:31:39.40ID:/xG8KTZN
皆が謙虚さがない、って言ってるのは、誤りを指摘されても素直に認めない態度のことを言ってると思うのよね
これまでの流れを見てもそういうケースは枚挙に暇がないので逐一あげることはしないけど、最も新しく指摘された誤り「すべてのkで成り立つ」については聞きいれた方がいいんじゃないかな

(p+1)/2 が素数のとき、それをprではなくr以外のkについてpk=(p+1)/2として同じことが言えるとしても確かに問題はない

だけどもrが2以上ならば、1≦k≦rとなるすべてのkについて「同時に」pk=(p+1)/2となることはあり得ないのだから、それらをひっくるめて1つの式にしてはいけない。
>>158で言われてるのはそう言うことだと思うんだけれども。
0201132人目の素数さん
垢版 |
2018/08/08(水) 15:42:44.52ID:O0SIDx7G
>>196
お前がそうだ。

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

>>198
リーマンショックだからしょうがないのだろう。年収査定は30才のときに680万円、実際は半額以下w

>>199
形式主義ですね。正しい結果が得られれば、それは些末なことではないのでしょうか?

>>200
pに依存していないことが分からないのでしょうか?bがbrに割り切られる条件なのですから。
bは全てのbkに割り切られなければならないですよね。
0204132人目の素数さん
垢版 |
2018/08/08(水) 16:24:06.79ID:qpK3LtTu
30才のときに680万円を希望したが半分だった?

無能で社会性0のヒキニートのくせに贅沢言うな。
親に迷惑かけずにさっさと働け。
0205132人目の素数さん
垢版 |
2018/08/08(水) 16:30:36.96ID:yIFHUvbk
>>193
センター200ごときで偉そうにしている時点で全く謙虚ではないと思うのだが。自分では気づかないもんなのかね。
0206132人目の素数さん
垢版 |
2018/08/08(水) 16:36:17.04ID:ZCWZV+Q/
>>201
単純に研究向いてないから70回も完成版(笑)ができるんやろwww

3回訂正稿出したらリジェクトされたんやろwww
要は研究者の投稿原稿の訂正の回数はそれ以下ってことやwww
0207132人目の素数さん
垢版 |
2018/08/08(水) 16:39:04.53ID:O0SIDx7G
>>204
就職活動さえできない

>>205
数学力がないというような事を書いているからそうではないことを示しているだけ
0209132人目の素数さん
垢版 |
2018/08/08(水) 16:41:29.12ID:QqERSgwM
センター満点なんて毎年、数千人おるし、ここの住民もほとんどが満点やと思うぞ。
センター数学なんてうっかりか、マークミスでしか失点はありへん
0210132人目の素数さん
垢版 |
2018/08/08(水) 16:43:28.77ID:qpK3LtTu
このスレを見れば1に問題ありまくりなのが明らか。

小学生以下の数学力でSEは無理
誤って就職させた会社は人を見る目が無かった。
0211132人目の素数さん
垢版 |
2018/08/08(水) 16:53:42.02ID:/xG8KTZN
>>201
その説明が正しいとは思えないです
まず、証明で示しているのは
pr=(p+1)/2であるprについて(p^{n-1}+p^{n-3}+…+1)がpr^{qr-cr-1}で割りきられなければならないということであって、
このとき(p^{n-1}+p^{n-3}+…+1)/pr^{qr-cr-1}=f(pr)が整数でなければならない。
2m+1がpr^{qr-cr-1}で割りきられなければならないというJ式の結論はこの仮定から導かれていたはず
一方、
pk≠(p+1)/2であるpkについて(p^{n-1}+p^{n-3}+…+1)がpk^{qk-ck-1}で割りきられなければならないということから、
(p^{n-1}+p^{n-3}+…+1)/pk^{qk-ck-1}が整数でなければならないということが言えたとしても、この式の値はf(pk)とは異なります。なぜならば、pkと(p+1)/2が等しくないからです。
なので、
2m+1がpk^{qk-ck-1}で割りきられなければならない根拠もありません
0212132人目の素数さん
垢版 |
2018/08/08(水) 17:03:01.85ID:/xG8KTZN
>>203
その説明も納得できませんよ。
k に依存して pk=(p+1)/2 が成り立つように p を変化させたりしたら、その p が y の約数である必要はまったくもってありません
その場合、(p^{n-1}+p^{n-3}+…+1) が b の約数である必要はないですからね。
0214132人目の素数さん
垢版 |
2018/08/08(水) 17:05:06.28ID:yIFHUvbk
>>207
数学力があるということを言うために「中学校で100点とった」と自慢気に言うやつがいるか?

自分に数学力があるということを主張するにもトンチンカンなことを言ってしまう時点で、致命的に証明力が無い。
0215132人目の素数さん
垢版 |
2018/08/08(水) 17:13:22.18ID:hiEQuUIj
>>214 センター満点とか早稲田の応用物理卒とか、自慢されても逆効果ですよねぇ…
0216132人目の素数さん
垢版 |
2018/08/08(水) 17:27:55.72ID:k9XJve1d
>>215
事実ですから、変えようがありません。
馬鹿にするから書いているだけであって、自慢ではありません。
0218132人目の素数さん
垢版 |
2018/08/08(水) 17:30:02.13ID:k9XJve1d
>>212
2b=c(p^n+…+1)
はこの問題が成り立つための式ですけど。何を言いたいのか分かりません。
0221132人目の素数さん
垢版 |
2018/08/08(水) 19:02:38.27ID:eBeZZy/D
分からなければ分かるまで何度でも説明してやりゃいいよ

>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)
>としているが、こんな乱暴な結論は導けない。

となる。
0222132人目の素数さん
垢版 |
2018/08/08(水) 19:17:21.97ID:k9XJve1d
>>221
pがkに依存して変化するということは各p1〜prに対して、pが定まるということ。
2m+1=wpk^(qk-ck-1)
はpには依存しないで、bがbkで割り切られるという条件だから、この式自体はpに依存しない。
0223132人目の素数さん
垢版 |
2018/08/08(水) 19:27:05.76ID:eBeZZy/D
>>222
分かっていないようだから何度でも言うが、「pがkに依存して変化する」とき、
「bがbkで割り切られるという条件」から「f(pk) が整数であるとは到底言えない。」
よって「2m+1 が pk^(qk-ck-1) の倍数とは言えない。」
ということを>>221で説明している。
その点についてよく理解するように。

ていうかbkって何だよ。pk^qkの意味と解釈したが正しいかい?
0224132人目の素数さん
垢版 |
2018/08/08(水) 20:20:18.33ID:ZrHEcqnu
1は、スレ主ならいいかげんにコテ名やトリップを使え。

数学だけじゃなく5chの作法すらできんのか!
0225 ◆H4n21Ym7mA
垢版 |
2018/08/08(水) 21:29:40.68ID:k9XJve1d
>>223
「bがbkで割り切られるという条件」から「f(pk) が整数であるとは到底言えない。」
流れを正確に追えば、そうなると思います。
具体的にはvpが整数にならなければならないという条件によってです。

>ていうかbkって何だよ。pk^qkの意味と解釈したが正しいかい?
論文の中でそう書いています。
0227132人目の素数さん
垢版 |
2018/08/08(水) 22:27:47.17ID:T2HdZ16O
てか、またpが定数だったり変数だったりしてんのかwww
高木は記憶力すら悪いんか
0228132人目の素数さん
垢版 |
2018/08/08(水) 22:57:53.28ID:T6bwyAM6
仮定や前提とそこから導かれる結論の繋がりが整理できてないんじゃないですかね?

いくつか前の判を少し見たけど、読んでる人すごいね
自分は最後までもたないよ、こんなの
0238132人目の素数さん
垢版 |
2018/08/09(木) 12:57:21.54ID:4+9X/OWC
完全数の問題がmodular formとか楕円曲線とかの現代数学とリンクする日はくるのだろうか?
0240 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 13:22:38.72ID:qa1PqB1o
>>236
つけ忘れました

>>237
新規部分だけなので、20分くらいだと思います
0241132人目の素数さん
垢版 |
2018/08/09(木) 13:39:45.09ID:Ek0wY356
>>238
ABC問題とは関連があると聞きました
0243132人目の素数さん
垢版 |
2018/08/09(木) 18:23:08.12ID:4+9X/OWC
wikiみたら、奇数の完全数は
N=q^{alpha}p_1^{2e_1}...p_k^{2e_k}
の形になることが必要って書いてあるが、1の言ってるのはpというのはqのことで
固定された唯一のもので、「pがkに依存して変化するということは各p1〜prに対して、
pが定まるということ」などということはできないのでは?
0246 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 19:11:04.23ID:qa1PqB1o
>>245
そういうふうにすることができるということだ
0251132人目の素数さん
垢版 |
2018/08/09(木) 20:19:11.11ID:mu/HJQeV
>>250
pは243にあるように、その指数alphaが2の倍数では唯一の固定された素数だろうが
0253 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 21:17:54.43ID:qa1PqB1o
>>251
kに依存して変わると考えます
0254132人目の素数さん
垢版 |
2018/08/09(木) 21:21:14.58ID:8koxqui/
>>253
じゃあ矛盾が出てきても、kに依存して変わるって仮定が間違いって可能性が排除できてないので証明失敗ですね
0256132人目の素数さん
垢版 |
2018/08/09(木) 22:42:20.09ID:3DPVpKHo
pが変数とか定数とか、ずっと前にも何人かに指摘されてたけど改善はやっぱりないんだね
0257132人目の素数さん
垢版 |
2018/08/09(木) 22:43:47.88ID:6SRCmTdt
だったらこう考えてもいいんだよな

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

な? 簡単だろ?
こんな簡単なことに1は何故十数ページもかけてんだ
おまえウンコも長いだろ
0258132人目の素数さん
垢版 |
2018/08/09(木) 22:59:11.76ID:1Lcv0NiR
仮に、kに依存してpが決定されるとすると、
>>1が証明したと言っていることは、
「奇数の完全数は存在しない」ということではなく、
「完全数でない奇数が存在する」ということにしかならないぞ
0259 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 23:11:13.68ID:qa1PqB1o
よく読んでから反論してもらいたい、何の考慮に値しない反応ばかりだ
0262 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 23:16:34.81ID:qa1PqB1o
>>261
リジェクトあなたにその権限があるのですか?
そのレベルの人であれば不用意は発言はしないはずですが、何様だ。
0263 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 23:17:41.35ID:qa1PqB1o
これから、考慮に値しない稚拙はレスは無視する
0264132人目の素数さん
垢版 |
2018/08/09(木) 23:19:47.62ID:3DPVpKHo
考慮に値しない論文のような何かも無視されてしまいますね
arXivにすらリジェクトされて、ねらーにしか相手にされないという現実を直視しましょう
0265 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 23:23:44.87ID:qa1PqB1o
>>264
正しくなったら、よく読みたくないだけじゃないですか?
0267 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 23:30:40.83ID:qa1PqB1o
未解決問題の証明論文ですから、その公式な認定に時間が掛かるのは普通のことではないのでしょうか?
私の場合毎日のように更新を行ってきたので、すぐに結果が得られるはずがありません。

arXivの承認を受けたいと思いますので、可能な方は承認をお願いいたします。
https://arxiv.org/auth/endorse?x=K46EMR
0268 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 23:31:49.80ID:qa1PqB1o
>>266
よく読みたくない→熟読したくない
とでも書けばいいですか?
0269132人目の素数さん
垢版 |
2018/08/09(木) 23:32:17.28ID:3DPVpKHo
arXivは正しい、正しくないの査読はしません
そのarXivにすら弾かれるというのは、「間違ってすらいない」ということではないでしょうか?
0270 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 23:33:25.16ID:qa1PqB1o
>>269
それは以前のことです。今回の正しい論文ではありません。
0272 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 23:36:59.34ID:qa1PqB1o
>>271
3回訂正したので、他者の承認が得られなければ提出できません。
0276132人目の素数さん
垢版 |
2018/08/09(木) 23:42:01.13ID:3DPVpKHo
自分の論文を承認してもらいたい人「よく読んでから反論してもらいたい、何の考慮に値しない反応ばかりだ。これから、考慮に値しない稚拙はレスは無視する」
0277132人目の素数さん
垢版 |
2018/08/09(木) 23:46:44.80ID:J2CDPvTD
>>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のやり方だろ
0279132人目の素数さん
垢版 |
2018/08/09(木) 23:54:43.07ID:6SRCmTdt
>>277
うん、どっちでもいいぞw

要は1がどんだけ頓珍漢な主張をしてるかが上手く1以外の読者に伝われば、
1が無視しようと罵倒しようと問題ない
0280132人目の素数さん
垢版 |
2018/08/09(木) 23:58:02.93ID:pvvtoY/n
>>262
正しいか判定して貰いたくてここに書き込んだんなら、こちらには判定する権限はあるわなwww
0281 ◆H4n21Ym7mA
垢版 |
2018/08/09(木) 23:58:46.64ID:qa1PqB1o
誰が数学ができない人間の情報工作を、まに受けるのか
0284132人目の素数さん
垢版 |
2018/08/10(金) 00:10:26.69ID:fANkDmEQ
いや、>>277の説明はスッと理解できた。
このやり口だったら偶数の完全数もないことにできる。素晴らしい!ww
0286132人目の素数さん
垢版 |
2018/08/10(金) 00:22:58.85ID:1pNuBVxK
>>282
こっちのコメントに対応できてないのに、正しいと認定しろとかふざけてんの?www
0287132人目の素数さん
垢版 |
2018/08/10(金) 03:35:49.59ID:aBe+7ih9
今日初めて訪れたよ。
まだ、いるんだね、こんなことを主張するアッチ系が。
0288132人目の素数さん
垢版 |
2018/08/10(金) 05:28:25.13ID:gMWLT1XQ
わざと反応を楽しんでいるわけじゃないのなら、
ボーダーか統失に足突っ込んでるんじゃないのか
だからお前らも魅力的に見えて反応してやってるんだろ、異常で珍しいからな。
>>1は数学の建設的な議論をするつもりはなく、お前らとコミュニケーションとることが目的になってるんだよ
0289132人目の素数さん
垢版 |
2018/08/10(金) 06:41:09.06ID:lGKhapM0
1は、いつもテレビから自分を非難する声が聞こえるというマジ基地なので・・・
■ このスレッドは過去ログ倉庫に格納されています

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