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/
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)
はこの問題が成り立つための式ですけど。何を言いたいのか分かりません。
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
そういうふうにすることができるということだ
■ このスレッドは過去ログ倉庫に格納されています

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