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/
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は、いつもテレビから自分を非難する声が聞こえるというマジ基地なので・・・
0290132人目の素数さん
垢版 |
2018/08/10(金) 07:11:36.44ID:Xjr/6c0M
糖質は芸じゃないんですかね
誰にも構ってもらえない or 致命的な指摘をされたときに糖質っぽいこと言い出してる気がしませんか?
0291132人目の素数さん
垢版 |
2018/08/10(金) 09:42:39.69ID:wyn2UaIV
先生「次の式を満たす自然数 p はいくつか」

    p * p = 4

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



高木くん「pは固定値ではないのでそう考えることができるということ」
高木くん「よく読んでから反論してもらいたい、何の考慮に値しない反応ばかりだ」
高木くん「これから、考慮に値しない稚拙はレスは無視する」
0292 ◆H4n21Ym7mA
垢版 |
2018/08/10(金) 10:18:50.91ID:fX825M0q
pが固定値だと思っているのはcがkにより変化するということを理解できていないだけ
ではないのでしょうか?
0293132人目の素数さん
垢版 |
2018/08/10(金) 10:29:36.85ID:docgQ2AT
>>292
その論法が謎である
cもkも存在を仮定した奇数完全数に由来するもんだったんじゃないの?
0294 ◆H4n21Ym7mA
垢版 |
2018/08/10(金) 10:53:18.80ID:fX825M0q
>>293
それをゆうのであれば、cもpもではないのでしょうか
kに依存して、cとpが定まるということです
0300 ◆H4n21Ym7mA
垢版 |
2018/08/10(金) 16:29:48.15ID:fX825M0q
>>298
最近追加で証明した部分に、若干の誤りを含んでいました

>>1 訂正
2018年8月4日→2018年8月10日
0301132人目の素数さん
垢版 |
2018/08/10(金) 16:41:47.75ID:9N8PyoKh
全=無

ですか?
0303 ◆H4n21Ym7mA
垢版 |
2018/08/10(金) 16:56:23.51ID:fX825M0q
直すところがなくなったと考えられるので、これで終わりかもしれません
0304132人目の素数さん
垢版 |
2018/08/10(金) 16:58:41.29ID:9N8PyoKh
全=無

ですか?
0305132人目の素数さん
垢版 |
2018/08/10(金) 17:03:36.46ID:FohgrxLg
完成おめでとうございます!
    .。☆.゚。.。
  。:☆・。゚◇*.゚。
  ・◎.★゚.@☆。:*・.
 .゚★.。;。☆.:*◎.゚。
  :*。_☆◎。_★*・_゚
  \ξ \  ζ/
   ∧,,∧\ ξ
   (´・ω・`)/
   /  つ∀o
   しー-J
0307132人目の素数さん
垢版 |
2018/08/10(金) 17:29:34.86ID:Xjr/6c0M
完成おめでとうございます!
    .。☆.゚。.。
  。:☆・。゚◇*.゚。
  ・◎.★゚.@☆。:*・.
 .゚★.。;。☆.:*◎.゚。
  :*。_☆◎。_★*・_゚
  \ξ \  ζ/
   ∧,,∧\ ξ
   (´・ω・`)/
   /  つ∀o
   しー-J
0308132人目の素数さん
垢版 |
2018/08/10(金) 17:38:24.07ID:FIh+62Ui
どうせまたすぐ次の修正が出るだろう
まだ見なくてもいいんじゃない? やたら長いし
0310132人目の素数さん
垢版 |
2018/08/10(金) 18:15:26.36ID:CCIReC2R
証明には永遠に到達しないレベルでしかないので

1は、もう来るな。
0311 ◆H4n21Ym7mA
垢版 |
2018/08/10(金) 18:40:55.87ID:fX825M0q
>>306
ek=1になるかどうかで場合分け

>>308
もう直すところがない
0316132人目の素数さん
垢版 |
2018/08/10(金) 20:49:40.72ID:9N8PyoKh
宇宙飛行士とプログラマーはどっちの方が凄いですか?
0317 ◆H4n21Ym7mA
垢版 |
2018/08/10(金) 20:51:01.96ID:fX825M0q
>>315
正しい論文になったら終わるでしょう
0319132人目の素数さん
垢版 |
2018/08/10(金) 21:03:24.27ID:IvuMWXPQ
I wish I were a bird, I would fly to you.
ふと昔ならった文章が頭をよぎった………
0321132人目の素数さん
垢版 |
2018/08/10(金) 21:54:14.23ID:9N8PyoKh
全てのプログラミング言語を自由自在に操れるようになりたい。
■ このスレッドは過去ログ倉庫に格納されています

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