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/
0119132人目の素数さん
垢版 |
2018/08/07(火) 15:34:40.83ID:247W8usE
>もしかして自分でもどっからどこまでで場合分けがなされているかわかってないんでしょうか?

これが真相ですね
0121132人目の素数さん
垢版 |
2018/08/07(火) 15:38:12.74ID:EBKm5y+e
>>118
>qr=cr-1のときは2m+1=wとなるだけです。
つまり、qr=cr-1のときは2m+1=wとなるだけなので、この証明で示そうとしている矛盾が生じる余地がまったく無い。結論として、この場合には奇数の完全数が存在する可能性を否定できない。
0122132人目の素数さん
垢版 |
2018/08/07(火) 15:40:21.88ID:gkVDbMDU
>>71で言ってることと今言ってる事が違うのはなぜ?
>>71では cr≠qr-1は、それはJの条件を導くときに使っている

と言ってるんだからcr≠qr-1を使ってる部分があるんでしょ?
0123132人目の素数さん
垢版 |
2018/08/07(火) 15:51:22.01ID:gkVDbMDU
もちろん数学の議論ではいくつかの場合に分けるのは構わないし、そのために場合分けの仮説をいれるのも構わない。
しかし、ならばその仮説の開始を宣言する "以下✖✖の場合を考える" のような宣言は必須だし、
その仮説付きの議論を終了する下りでは "以上により✖✖の場合には○○が言えることがわかった" のような下りが必要でしょ?
そういうのキチンと入れないとダメだよ?
よんだらわかるはずなんて通用しないよ?
エスパーじゃないんだから。
そんなの他人にはわからない。
0124132人目の素数さん
垢版 |
2018/08/07(火) 16:01:20.25ID:247W8usE
数式の変形や証明問題について根本的に理解を欠いているという1

なんで数学板にいるんだ?
1には縁のない場所
0125132人目の素数さん
垢版 |
2018/08/07(火) 17:00:48.59ID:gs2eVX6+
>>118
12ページの何行目に
 cr=qr-1
の場合があるのですか?
ちょっと見当たらないんですが、見落としてたらごめんなさい
0126132人目の素数さん
垢版 |
2018/08/07(火) 17:03:03.87ID:ik2/wf5H
>>89
>yを素因数分解するときに、何故一つの素因数(p)だけを特別扱いしてるのですか?
これに関しては、高木さんの書き方がよくないんだと思うよ。

本当は、3.1及び3.2で行われている
「指数が奇数個になる素因数はただ一つである」ということを証明した後で、
「そのただ一つの素因数をpとおく」とすべきなの。
3ページ目以降はその前提の下で議論してるから。

でも、記述の順番を間違えてるから、pの選定根拠がよくわからんくなってる。
0127132人目の素数さん
垢版 |
2018/08/07(火) 17:37:48.70ID:Cc7tnWeO
>>121
cr=qr-1のときは2m+1=wとして正しく証明できていると思います。

>>122
はい

>>124
最新の論文の中から、例示してください

>>125
そのときに、Jが2m+1=wになるというだけです

>>126
それは、人の自由だと思います
0128132人目の素数さん
垢版 |
2018/08/07(火) 17:45:26.74ID:gs2eVX6+
>>127
cr≠qr-1という条件は12ページの何行目でどのような目的で使われているのですか?
w=2m+1 になるかならないか、という話だけだったら、そもそも何の意味があるんでしょうか?
0132132人目の素数さん
垢版 |
2018/08/07(火) 18:12:30.52ID:/76m615n
>>127
まずいやろ?

>cr=qr-1のときは2m+1=w

なら、この条件からは確かにw=1、pr=3なんか導けへんやん。
prもへったくれもないんやから。
前の方での指摘がまんま成立するやん。

>>23
>上記の cr≠qr-1 が誤りであるため、
>前ページの 2m+1=w pr^(qr-cr-1) と n=4m+1 から、n=5 のときに成立するといえるのは m=1 のみ。
>w=1, pr=3 を結論付けることはできない。m=1, w=3, pr=任意の奇素数 という解がありうる。
>それ以降の主張は w=1, pr=3 を前提にしているため成立しない。
0133132人目の素数さん
垢版 |
2018/08/07(火) 18:29:04.97ID:Cc7tnWeO
>>132
その内容は削除しているはずです。

ここで指摘されていない間違いが見つかりましたので削除します
0134132人目の素数さん
垢版 |
2018/08/07(火) 18:31:40.48ID:/76m615n
そうですか。
なら削除するついでに次の版では
>cr≠qr-1
の仮説の開始地点と終了地点を明示してください。
0137132人目の素数さん
垢版 |
2018/08/07(火) 19:10:27.99ID:Cc7tnWeO
>>134
それは条件として、Jを導くために使っています。cr=qr-1となる場合は単に
2m+1=wとなるだけです。何度書いてもご理解いただけないとは思いますけれど。
0140132人目の素数さん
垢版 |
2018/08/07(火) 19:35:59.20ID:fZ4AVUCy
>1
「何を前提として、何を示しているのか」
を簡潔に記述するのをお勧めします

読者はもちろんですが、記述者にも
・正しいか間違っているか
・間違っているならどこが間違っているか
がわかりやすくなりますので

定理(Theorem)
命題(Proposition)
補題(Lemma)
主張(Claim)
あたりですかね、よく使われるのは
0143132人目の素数さん
垢版 |
2018/08/07(火) 19:51:45.72ID:gs2eVX6+
>>137
cr=qr-1の場合もこれこれこういう理由でOKだよ、というのは、どこに書いてありますか?
0145132人目の素数さん
垢版 |
2018/08/07(火) 21:04:52.80ID:gkVDbMDU
>>137

> >>134
> それは条件として、Jを導くために使っています。cr=qr-1となる場合は単に
> 2m+1=wとなるだけです。何度書いてもご理解いただけないとは思いますけれど。

もしかしてcr≠qr-1 の元でえられたJにcr=qr-1の時はその式にそのまcr=qr-1を代入していいとおもってるの?
0147132人目の素数さん
垢版 |
2018/08/07(火) 21:14:10.69ID:orOfcB8q
cr=qr-1 だと何がまずいかって?
13ページの最後の式の
Πpk^(ck+1)≦Πpk^(qk-1) が成立しなくなるだろ?

k=1〜r-1で
Πpk^(ck+1)≦Πpk^(qk-1) が成立していても
pr>{Πpk^(qk-1)}/{Πpk^(ck+1)}だったら
k=1〜rでは
Πpk^(ck+1)>Πpk^(qk-1) となるからな
素因数p1〜p{r-1}が幾つであってもpr>{Πpk^(qk-1)}/{Πpk^(ck+1)}となる素数prは存在できる
0148132人目の素数さん
垢版 |
2018/08/07(火) 21:17:18.13ID:gkVDbMDU
>>146

> >>141
> 変更点は論文には書いていません。
>
> >>143
> >>145
> cr=qr-1のときに、2m+1=wとしても何も間違いではないということです。
cr=qr-1のときに、2m+1=wが成立する証明は別にちゃんとつけてあるの?
Jを導いたのとは別に。
Jを導く時にcr≠qr-1をつかったならその式に代入できないよ。問題ありありだよ?
0150132人目の素数さん
垢版 |
2018/08/07(火) 21:36:38.96ID:qEJ5FVFD
12ページ
>4m(8m-1)pr^2/3+4mpr+1は因数にprを持たない
4m(8m-1)pr^2/3が整数であるとは限らないのに因数をどうこういうのはおかしいよ
0152132人目の素数さん
垢版 |
2018/08/07(火) 21:43:40.70ID:Cc7tnWeO
>>149
私に文句を言わないでください。

>>150
因数分解される二つの項のどちらかに、因数prが振り分けられるということになります。
2m+1ではない項は0次の項が1ですから、全ての因数が2m+1に振り分けられるということになります。
0156132人目の素数さん
垢版 |
2018/08/07(火) 21:55:15.84ID:h5N+I3/u
PDF消されたのか
12ページ
>skを1≦sk≦qkの整数として f(pr)=Π{k=1..r-1}pk^sk
ここにも誤魔化しがある。
f(pr)がbの素因数をすべて約数に持つ証明がないので、skの最小値が1とはいえない。
skは0≦sk≦qkとするべき。
skをゼロ以上とすると先で
>Π{k=1..r}が最大になるのはqk=ck+2になるとき(つまりck=qk-2)であり
が誤りであり、
>Π{k=1..r}pr^(ck+1)が最大になるのはqk=ck+1になるとき(つまりck=qk-1)であり
としなければならないことがわかる。
その次の不等式 Π{k=1..r}pk^(ck+1)≦Π{k=1..r}pk^(qk-1) は結局成立しない。
0157132人目の素数さん
垢版 |
2018/08/07(火) 22:02:04.73ID:Cc7tnWeO
>>153
>>147により間違いに気づいたので削除しました

>>156
前半は誤魔化しではなくただの間違いであり、それによって証明は何の影響もない
後半は>>147と同様の指摘だと思います

後一点に絞られたが、証明できるかどうかは分からない
0158132人目の素数さん
垢版 |
2018/08/07(火) 22:20:28.68ID:h5N+I3/u
あと1点じゃないよな
>2m+1=wpr^(qr-cr-1)…J
2m+1 が pr^(qr-cr-1) の倍数という結果(この主張が正しいかどうかは不明だが)は pr=(p+1)/2 の仮定から示されたものだから、
k=r以外のpkには当てはまらない。にもかかわらず
>式Jから、任意のkに対してbがpk^qkで割り切れるためにはwを奇数として
>2m+1=wΠ{k=1..r}pk^(qk-ck-1)
としているが、こんな乱暴な結論は導けない。
0161132人目の素数さん
垢版 |
2018/08/07(火) 23:17:00.74ID:EBKm5y+e
>式Jから、任意のkに対して
これは酷い
いくら何でもこれはない
0162132人目の素数さん
垢版 |
2018/08/07(火) 23:24:13.83ID:h5N+I3/u
>rは任意だから、どのkに対しても成り立つ。
まだ言うか(笑)
pr=(p+1)/2 となる素数を1個決めたら k≠r のとき pk≠pr=(p+1)/2 になる。
k≠r のとき pk=pr となるような関係があればそもそも a=Π{k}(1+pk+...+pk^qk)が成り立たない。

>rは任意だから、どのkに対しても成り立つ。
これを真顔で言ってるなら1は相当な大馬鹿者だ。 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
0165132人目の素数さん
垢版 |
2018/08/08(水) 00:02:22.43ID:fnaNFQmO
今宵も安定の馬鹿スレ
数学板の汚点の一つ
0168132人目の素数さん
垢版 |
2018/08/08(水) 00:36:33.77ID:JqRVPINH
相手してるやつ正直頭おかしいだろ
どんだけループしてるんだよ
ちょっとしたら>>1に数学の論文のスタイルを説法したりするやつも出てくるし
あほじゃねーの。話通用しないバカ相手にようやるわ。
0170132人目の素数さん
垢版 |
2018/08/08(水) 01:09:10.28ID:Y7ugytqF
>>164
違反になってないぞwww
本気でそう思うんなら訴えたらどうや
話くらいは聞いてくれるから、お前の論文と違って門前払いにはならんと思うぞ
0171132人目の素数さん
垢版 |
2018/08/08(水) 05:42:19.76ID:hDdzzVGg
奇数の完全数ひとつ示してやればこの話は終わりだ。
もうそろそろ誰か見つけてんだろ?
0173132人目の素数さん
垢版 |
2018/08/08(水) 06:42:52.12ID:hiEQuUIj
>>127

>>126
>それは、人の自由だと思います

これを自由だと思うのは、適切な記述の仕方が理解できてないということだと思いますよ…
0174132人目の素数さん
垢版 |
2018/08/08(水) 07:07:38.97ID:vcvwvpss
∀と∃の区別も付いてないしな
ひとつの例で成立したらすべての例で成立すると思い込むのがこの1の浅はかさ
またそういう事案があったらしいな
0175132人目の素数さん
垢版 |
2018/08/08(水) 07:52:02.90ID:O0SIDx7G
>>170
よくもう少しで完成する論文にそんなことができるかということだ

>>172
存在ではなく非存在と書けばいいわけ?

>>174
しつこい
0177132人目の素数さん
垢版 |
2018/08/08(水) 08:10:32.95ID:cvVZlhPI
ループまたループで読者が疲れるのを待つのが此奴の戦略と思われる。
また繰り返したら何度でも何度でも指摘するといいよ。
同じことを何度言われても理解してないふりするからね。
0178132人目の素数さん
垢版 |
2018/08/08(水) 10:32:42.69ID:Y7ugytqF
>>175
何度撤回したんけ
なんどもクソみたいな計算あげやがって
おまえがしつこいとちゃうんけ
0179132人目の素数さん
垢版 |
2018/08/08(水) 10:38:20.73ID:O0SIDx7G
未解決問題だから、最後に正解になればいいのであって何度間違うかは関係ない
0183132人目の素数さん
垢版 |
2018/08/08(水) 12:11:29.61ID:O0SIDx7G
>>181
100まではいっていません

>>182
未解決問題を解決できないのが、実力がないのであれば、世界中の整数論の数学者や研究者が
実力がないことになりますが
0186132人目の素数さん
垢版 |
2018/08/08(水) 12:22:56.45ID:O0SIDx7G
>>185
あなたは解決できるのですか?誰だか知りませんが。
それから、謙虚だと何かいいことでもあるのですか?
答えないでしょうけど。
0188132人目の素数さん
垢版 |
2018/08/08(水) 12:27:46.55ID:6joogfId
そりゃ1は、テレビから自分の悪口が聞こえまくる程にバカなので。
0189132人目の素数さん
垢版 |
2018/08/08(水) 12:30:59.74ID:pckkl+kJ
間違いなく実力不足だな
未解決問題に挑戦するより前に、しょうがくせいのさんすうからやり直せと何度も言われてる
言わないで置いたが>>136で削除したn=1の部分とやらにも計算間違いがあり証明が成り立っていなかった
論文を公開する前に少なくとも100回は検算しないとダメだ
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)
はこの問題が成り立つための式ですけど。何を言いたいのか分かりません。
■ このスレッドは過去ログ倉庫に格納されています

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