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/
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
全てのプログラミング言語を自由自在に操れるようになりたい。
0323 ◆H4n21Ym7mA
垢版 |
2018/08/11(土) 08:05:24.55ID:VzBbEbSZ
pがkに依存するというのは、より正確に書くとpがpkに依存するということです
0324132人目の素数さん
垢版 |
2018/08/11(土) 08:52:16.61ID:K/xcNPIC
先生「p * p = 4 を満たす p はいくつか」
高木くん「1と4」


高木くん「pは固定値ではないのでそう考えることができるということ」
0326132人目の素数さん
垢版 |
2018/08/11(土) 09:55:20.96ID:pW3k6Y87
完成したのに、なんで今更定義の誤りを修正するの?
0328132人目の素数さん
垢版 |
2018/08/11(土) 10:04:33.31ID:TSBXIcfK
完成おめでとうございます!
    .。☆.゚。.。
  。:☆・。゚◇*.゚。
  ・◎.★゚.@☆。:*・.
 .゚★.。;。☆.:*◎.゚。
  :*。_☆◎。_★*・_゚
  \ξ \  ζ/
   ∧,,∧\ ξ
   (´・ω・`)/
   /  つ∀o
   しー-J
0330 ◆H4n21Ym7mA
垢版 |
2018/08/11(土) 10:18:16.29ID:VzBbEbSZ
>>326
p=fg+1で、fとgを奇数と定義していたから、奇数f→偶数f

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

>>329
もうたどり着いています
0331 ◆H4n21Ym7mA
垢版 |
2018/08/11(土) 11:39:08.08ID:VzBbEbSZ
間違いが見つかりましたので、>>325を削除しました
0332132人目の素数さん
垢版 |
2018/08/11(土) 12:01:47.62ID:jlUvWFl6
>>331
余計なお節介に過ぎないが、一応アドバイスしておく。
手法が初等整数論の域を出ていない筈だから、次回の pdf も最後にはならないだろうし、
奇の完全数の非存在性に対する証明が完結することはないだろうと思う。
数学での「任意の」と「或る」の意味或いは扱い方の区別が付いていないんだろ。
互いに素とか素因数分解(の一意性)といったような基本的なことが応用出来ていないんだろ。
これでは、仮に奇の完全数の非存在性を証明して解決出来たとしても、
2000年以上未解決の問題の解決には至らないと思うよ。
普通の考えでは、初等整数論の域を出ない限り解決にたどり着くことはないと思う。
0335132人目の素数さん
垢版 |
2018/08/11(土) 13:11:01.03ID:JfuEsE4+
kに依存してp=2p_k-1が成り立つって言ってるけど、nの素因数がpとp_kのふたつしかないとき

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

よりp=p_k=1になっちゃうよ。
0336132人目の素数さん
垢版 |
2018/08/11(土) 14:33:06.93ID:3XfmiEnb
>201
> 自分の誤りを見つけるのが困難なことぐらい誰でも分かるだろう。個人で研究するとそうなる。

思い込みやらなにやらで、間違いに気づかない、というのはままあることではあります
しかし本当にこう考えてるのなら、指摘は真摯に受け止めるはずですが……
0337 ◆H4n21Ym7mA
垢版 |
2018/08/11(土) 16:08:10.31ID:VzBbEbSZ
>>332
それは分かっています。数学記号を書かないから、それを分かっていないと決めつけているだけでしょう

>>335
p_k=2p-1にはなりません
0338132人目の素数さん
垢版 |
2018/08/11(土) 16:12:07.76ID:JfuEsE4+
>>337
ならないよ。何回も言われてるように完全数nを決めたら、指数が4m+1型の素数pは
だた一つに定まるから。
0339 ◆H4n21Ym7mA
垢版 |
2018/08/11(土) 16:41:44.02ID:VzBbEbSZ
>>338
自分で考えてくれ、この証明はpの個数に依存しない考え方をしている
0340132人目の素数さん
垢版 |
2018/08/11(土) 17:20:54.70ID:ImByykHY
>>339
認められたいなら、ちゃんと説明してくれ

pはkに依存して決まらないのw
個数がーとかじゃないのw
0341132人目の素数さん
垢版 |
2018/08/11(土) 17:23:44.71ID:avnkcncE
>pの個数に依存しない考え方をしている
その主張は通らないなあ。自分で p=(2b-c)/(2b-a) と書いてるんだから
0342132人目の素数さん
垢版 |
2018/08/11(土) 17:38:15.78ID:TN9AorhA
仮定した完全数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 にならないのでそれまでの主張それ自体が成り立たなくなる。
0343132人目の素数さん
垢版 |
2018/08/11(土) 17:51:07.60ID:0ER8IFIN
>>336
あいつの見直し、書いてすぐ20分程度の見直しだから、そもそもなめてるんだよ

2000年前からの未解決問題を解いてる俺かっけーのファッションなんだよ
0344132人目の素数さん
垢版 |
2018/08/11(土) 18:01:19.92ID:M6leIyVk
>ちょと違うと思う
この馬鹿の頭の中の数学は非常に狭く、それがすべてだと思ってる。
心の底からそうだと思ってる。だからその域から出たら理解不能になって思考停止。
ただの無知と無勉。
一生懸命、間違いを伝えようとしてるの見てよくこんなの相手にしてるなと思うわw
0346132人目の素数さん
垢版 |
2018/08/11(土) 18:28:31.17ID:4h9sumgz
自分は天才だと思ってる。
そして自分以外はバカだと思ってる。
なので他人の的を射た指摘でさえ、そいつが馬鹿で理解できてないからスットンキョウなこと言ってるとしか受け止められない。
数学的能力がどうこういう以前に先人の遺した偉大な “数学文化” に対する尊敬がないから数学的能力を伸ばすこともできずせいぜい高校生レベル。
結局最後は人間性の問題なんだよねぇ。
0347 ◆H4n21Ym7mA
垢版 |
2018/08/11(土) 18:59:18.26ID:VzBbEbSZ
>>341
cは可変ですけど

>>342
>p が y の約数であるとはいえない。これは別途証明しなければならない
2b=c(p^n+…+1)
b=c(p+1)/2×(p^(n-1)+p^(n-3)+…+1)
証明していると思います。

>p が合成数だったら
必要条件を検討しているので、その場合は考慮する必要がありません

>>345
何故考えればわかる内容をここで教えなくてはならないのか?

>>346
そのようなことはない。このような情報操作はよくありがちですねw
0348132人目の素数さん
垢版 |
2018/08/11(土) 19:20:26.73ID:TSBXIcfK
最後のwの中に他人を蔑む事になんの躊躇もしない人間性が表れてる。
0350132人目の素数さん
垢版 |
2018/08/11(土) 19:28:00.40ID:a3y3NRdo
バカなことやってるやつをたしなめてバカっていうやつがバカっていいうやついたな。
小学生か。
0351132人目の素数さん
垢版 |
2018/08/11(土) 19:32:21.05ID:JfuEsE4+
>>349
346さんは全部、今までのお前の言動を客観的に総括しているだけやで。
情報操作してもなんも得することないし
0352132人目の素数さん
垢版 |
2018/08/11(土) 19:39:26.49ID:3XfmiEnb
>>347
>何故考えればわかる内容をここで教えなくてはならないのか?

記述がわかりにくい、あるいは、誤読を招いているという指摘と考えてはどうでしょう
どんなに素晴らしいことが書かれていても、読者に伝わらないなら無意味かと
0354132人目の素数さん
垢版 |
2018/08/11(土) 20:04:24.44ID:3XfmiEnb
>>201
>形式主義ですね。正しい結果が得られれば、それは些末なことではないのでしょうか?

それから、論文としての体裁を整えられていない、というのは些末ではないと思うよ?
体裁を整えて読みやすくするのは読者に対する最低限の礼儀ではないかな
0355132人目の素数さん
垢版 |
2018/08/11(土) 20:06:25.64ID:TN9AorhA
語るに落ちたな
>>p が y の約数であるとはいえない。これは別途証明しなければならない
>b=c(p+1)/2×(p^(n-1)+p^(n-3)+…+1) 証明していると思います。
>必要条件を検討しているので、その場合は考慮する必要がありません
この発言こそ、1が仮定と結論を取り違えたまま勘違いの推論を進めていた、という確たる証拠ですよ。
0356 ◆H4n21Ym7mA
垢版 |
2018/08/11(土) 20:43:27.08ID:VzBbEbSZ
>>355
その部分は間違いです。そのことに関しては論文の前半3ページまでに書いています。
0357132人目の素数さん
垢版 |
2018/08/11(土) 20:52:00.76ID:B8r+45uj
1が珍しく自分から間違いを認めたな
0359132人目の素数さん
垢版 |
2018/08/12(日) 14:55:00.59ID:lLUmaCeY
>>356
どれだよ
0361 ◆H4n21Ym7mA
垢版 |
2018/08/12(日) 21:01:22.49ID:tsksl0/C
>>360
間違いが見つかりましたので削除しました
0364132人目の素数さん
垢版 |
2018/08/12(日) 22:00:07.10ID:Trl31eBa
完成おめでとうございます!
    .。☆.゚。.。
  。:☆・。゚◇*.゚。
  ・◎.★゚.@☆。:*・.
 .゚★.。;。☆.:*◎.゚。
  :*。_☆◎。_★*・_゚
  \ξ \  ζ/
   ∧,,∧\ ξ
   (´・ω・`)/
   /  つ∀o
   しー-J
0366132人目の素数さん
垢版 |
2018/08/12(日) 23:22:51.26ID:MCYhpXzr
ごみ落書き計算メモ
指摘されまくってる問題点は無視無視無視

いい加減にしろ
うせろや
0369132人目の素数さん
垢版 |
2018/08/13(月) 18:52:11.32ID:+VxHWXLw
さらっと流し読みしただけですが。

奇数の完全数が存在しないことを示そうとしているのはわかります。
しかし、主張や論理が整理されておらず、著者の頭にあるものを並べただけ、という印象を受けました。
まず論文の書き方を学ぶべきかと思われます。

例えば、p.2の3から証明になっていますが、記号の定義も主張もなく、いきなり証明を始められても読者には意味がわかりません。
概要はあくまでも概要であり、飛ばしても論文は読める(無論理解しにくくはなる)ものですが、
この論文では意味不明になってしまいます。
0370 ◆H4n21Ym7mA
垢版 |
2018/08/13(月) 18:58:17.08ID:1sIym2cm
>>369
論理が整理されていないとは全く思いません。内容が多少難しいので精読してもらう必要があるのでは
ないでしょうか?
一般的な数学記号しか使っていませんので、記号の定義の必要性は少ないと思います。
0371132人目の素数さん
垢版 |
2018/08/13(月) 19:20:50.04ID:Azg/fVR3
もう相手しない方がいいよ。
新規の人はレスする前にこれまでの流れをよく読んだ上でレスして欲しい。何度も同じことを繰り返すのは、1だけでなく同じ突っ込みをする周りにも責任がある。
0372 ◆H4n21Ym7mA
垢版 |
2018/08/13(月) 19:29:29.18ID:1sIym2cm
繰り返すのは間違いがあったからであって、間違いがなくなったのでこれで終了
0373132人目の素数さん
垢版 |
2018/08/13(月) 19:33:26.85ID:+eSg4Dfd
>>371
同感
0376132人目の素数さん
垢版 |
2018/08/13(月) 20:59:59.11ID:+VxHWXLw
>>370
>論理が整理されていないとは全く思いません。内容が多少難しいので精読してもらう必要があるのでは
>ないでしょうか?

いや、内容が難しいとかどうとかではなく。

通常、論文というものは定理なり主張があり、その証明や説明があるものですし、また、その主張もわかりやすくなるように分割したりするものです。
そういう「理解してもらうための努力」を含めて「論理の整理」と表現したのですが、伝わっていなかったようです。

「全く」思わないのであればもう何も書きませんが……最後に。
厳しい言葉になりますが「内容の正誤や難易以前の問題で論文の体をなしていない、査読に至る前に跳ねられるのが順当な論文もどき」なのが現状と思われます。以上。
0377 ◆H4n21Ym7mA
垢版 |
2018/08/13(月) 21:10:26.14ID:1sIym2cm
>>362
間違いが見つかりましたので削除しました
■ このスレッドは過去ログ倉庫に格納されています

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