X



トップページ数学
1002コメント428KB
奇数の完全数の存在に関する証明2
■ このスレッドは過去ログ倉庫に格納されています
0001 ◆RK0hxWxT6Q
垢版 |
2018/10/05(金) 10:23:39.75ID:/mfMsHqn
2000年以上前からある奇数の完全数が存在するのかという
数学上の未解決問題の証明が完成しました。

(証明論文)
Pdf文書 日本語
http://fast-uploader.com/file/7093904937668/
Pdf文書 英語
http://fast-uploader.com/file/7093905702201/

(前スレ)
奇数の完全数の存在に関する証明
https://rio2016.5ch.net/test/read.cgi/math/1537333971/

(それより前のスレ)
最古の未解決問題が解決されたのか
https://rio2016.5ch.net/test/read.cgi/math/1522147912/
奇数の完全数の存在に関する証明は正しいはず
https://rio2016.5ch.net/test/read.cgi/math/1530434042/
奇数の完全数の存在に関する証明が完成しました
https://rio2016.5ch.net/test/read.cgi/math/1533414338/
奇数の完全数の存在に関する証明が完成しました2
https://rio2016.5ch.net/test/read.cgi/math/1534900374/

(関連スレ)
奇数の完全数の有無について [無断転載禁止](c)2ch.net
https://rio2016.5ch.net/test/read.cgi/math/1483900653/
奇数の完全数の有無について2
https://rio2016.5ch.net/test/read.cgi/math/1523602627/
0413 ◆RK0hxWxT6Q
垢版 |
2018/10/17(水) 09:56:31.47ID:EMse7VjN
>>400+401
鹿児島の田舎だからな、理系の頂点がいる必要はない。

>>404
全く違う。テレビに勘違いされていたような気しかしないが。

>>405
モード演算かと思ったが、モジュラー演算なのか。
modはモード演算だと勘違いしていた。

>>406
cが(p+1)/2の倍数にならないことを証明しようとしたが、無理だと判明した。

>>410
最年少主任昇格者(5年目に会社にいれば)に失礼だ。

>>411
ペトリネットのクラスを変更するアルゴリズムを作った。

>>412
寝ていたのは高校だ。合わないからね、偏差値20ぐらい下の高校は。
0414132人目の素数さん
垢版 |
2018/10/17(水) 10:12:09.23ID:eJdKPP+A
高木時空においては、完全数の未解決問題は偏差値20ぐらい下の問題なので
合わないからね。
0415132人目の素数さん
垢版 |
2018/10/17(水) 10:51:36.95ID:K65r/mWB
数学板は、1が学歴の自慢をしたり妄想を披露する場所ではない

間違いでもインチキでも何でも、スレタイ通りの証明が発表されるなら良いが
そのつもりがないんなら他所でやってくれないか
0416132人目の素数さん
垢版 |
2018/10/17(水) 10:54:33.07ID:rmbMwrXm
>>413
>ペトリネットのクラスを変更するアルゴリズムを作った。

タイトルは?
何年卒?
ソッチのほうがよっぽど興味深いんだけど
0417 ◆RK0hxWxT6Q
垢版 |
2018/10/17(水) 12:38:49.78ID:EMse7VjN
>>416
何故それが興味深いのですか?

タイトルは「あるクラス」と「ペトリネット」という言葉が入っているものですが
何年も前のことなので、正確に記憶ていません。卒業年は1997年。
0418 ◆RK0hxWxT6Q
垢版 |
2018/10/17(水) 12:42:01.72ID:EMse7VjN
>>415
以前に証明論文を公開していたのは事実だ。限定した一部の証明が完成した。
全体の証明はできていなく、最近のものは間違っていたので公開するのをやめた。
0419132人目の素数さん
垢版 |
2018/10/17(水) 13:44:18.81ID:dO/7BxxT
言い訳イラネ

最近以外は正しかったような言い種だが
正しいものはひとつたりともなかった
これからも正しくなることはない
0421 ◆RK0hxWxT6Q
垢版 |
2018/10/17(水) 14:17:12.86ID:EMse7VjN
>>419
>>389は数学的な成果だと思われる。

正しいことが一つもないなんてよく言えたものだ。この証明は研究していくうちに分かったが
20年以上前に予備校で習ったものが含まれている。
それが
(2b-a)p^(n+1)-bp^n+a=0

p=(2b-c)/(2b-a)
だ。

>>420
システムを評価するためのグラフ理論。
0422132人目の素数さん
垢版 |
2018/10/17(水) 14:48:11.25ID:0tcTzRCF
>>417
>何故それが興味深いのですか?
いや、純粋に野次馬根性でみてみたいなと。

早稲田って卒研ってネットでは読めないのかな。
まぁ普通無理か。
>>1の手元には残ってないんだよね?
0423132人目の素数さん
垢版 |
2018/10/17(水) 14:49:25.06ID:qE4iSToV
よくいるよね、一つもないって言って一つはあったって返しちゃう人
0424132人目の素数さん
垢版 |
2018/10/17(水) 15:09:35.85ID:hNY1Y5dn
正しい証明がひとつもなかった事実は変わらない
これ以上恥を上塗りしてどうする
0425132人目の素数さん
垢版 |
2018/10/17(水) 15:24:33.64ID:0ZDGqohh
>>415
>数学板は、1が学歴の自慢をしたり妄想を披露する場所ではない

>間違いでもインチキでも何でも、スレタイ通りの証明が発表されるなら良いが
>そのつもりがないんなら他所でやってくれないか

まったくだ!
1は早くメンヘル板に移転しろ
0426 ◆RK0hxWxT6Q
垢版 |
2018/10/17(水) 18:39:09.38ID:EMse7VjN
>>422
紙しかない。

>>424
部分的には正しい。n=1の場合は
2b=c(p^n+…+1)
から、bは因数(p+1)/2を持つ。奇数をdとして
d=(p+1)/2
とすると
2b=c(p+1)
b=cd
a=cp
p=a/b×d
a/bが2以上の整数になる場合には、pが合成数になるから不適になる。
a=Π[k=1,r](1+pk+…+pk^qk)

b=Π[k=1,r]pk^qk
からa>bとなるから、a/bは1にならない。ゆえに、a/bは整数にならない。また、c=1のときは
a=pとなるが、r=1のときは不適であるからaは合成数でなければならないことに反して
不適になるので、a/bにdを掛けると分母に奇数が残る。よって、n=1のときにa/b×dは
整数にならないので不適になる。
0427132人目の素数さん
垢版 |
2018/10/17(水) 18:48:28.64ID:v6zxGIeR
さてここで皆さまに問題
>>426はどこが間違っているでしょう?
0428学術
垢版 |
2018/10/17(水) 19:09:39.73ID:CyhT+5ts
完全 パーフェクト 数 スコア は相性がよくないかもね。パーフェクトフェイスのほうが
ひびきや韻がよろしい。
0432132人目の素数さん
垢版 |
2018/10/18(木) 11:18:26.74ID:BNyvSFA8
いつの間にか1の(芸人としての)評価が上がっているww
0433学術
垢版 |
2018/10/18(木) 12:22:28.45ID:X/1WtQOV
human gay
0435132人目の素数さん
垢版 |
2018/10/23(火) 12:47:16.02ID:da2dBjIT
あとちょっとで1周年くらいか?
人生の80分の1くらいがもったいないなぁ
0438 ◆RK0hxWxT6Q
垢版 |
2018/10/23(火) 21:18:41.01ID:S3N0yQUn
と思いましたが、間違いでした
0440132人目の素数さん
垢版 |
2018/10/23(火) 21:43:24.96ID:fmMV2Qp8
「未解決問題を解決した私に何という口の聞き方をするのでしょうか!」
〜間違えを理解する〜
「と思ったら間違いでした」
萌える
0448132人目の素数さん
垢版 |
2018/10/23(火) 23:32:38.94ID:fmMV2Qp8
無限に約分可能ってことは、超限順序数のωになるってことなのかな
0449132人目の素数さん
垢版 |
2018/10/23(火) 23:36:10.74ID:zxHZ2rqW
>無限に約分可能

ずっと前から奇数芸人ネタになってるのに・・・・
0453132人目の素数さん
垢版 |
2018/10/24(水) 12:20:40.48ID:avrcgEHy
アップロードする前に紙に穴が空くくらい確認しろよ。

それを何度もやって査読が受け付けてもらえなくなった経験が何も生かされてないね。
0454 ◆RK0hxWxT6Q
垢版 |
2018/10/26(金) 00:37:08.43ID:z2LgCFnW
3つの命題がありましたが、そのうち2つの証明が完成したので、残り一つになりましたが
恐らく、私には証明不可能だと思います。
0456132人目の素数さん
垢版 |
2018/10/26(金) 07:28:24.87ID:mJP3KJQ0
>私には証明不可能だと思います。

さっさと消えろ。
ゴミPDFは無価値の廃棄物。
0457 ◆RK0hxWxT6Q
垢版 |
2018/10/26(金) 13:01:47.10ID:z2LgCFnW
そう書くのであれば、この問題はどうやっても完全に解決することはできないので
どの証明も無価値
0459132人目の素数さん
垢版 |
2018/10/26(金) 13:04:24.79ID:ui2P9cjN
>この問題はどうやっても完全に解決することはできない

1は数学板とは縁が無いんだから
さっさと消えろ。
0460 ◆RK0hxWxT6Q
垢版 |
2018/10/26(金) 13:07:14.37ID:z2LgCFnW
三すくみで解決ということでしょうか?
0461 ◆RK0hxWxT6Q
垢版 |
2018/10/26(金) 13:09:24.50ID:z2LgCFnW
>>458
自称証明とは何ですか?私が何か詐称しているとでもいうのでしょうか?
0463 ◆RK0hxWxT6Q
垢版 |
2018/10/26(金) 13:14:48.72ID:z2LgCFnW
>>462
奇数の完全数が存在しないという問題がです
0465132人目の素数さん
垢版 |
2018/10/26(金) 13:29:39.83ID:8NP8T3zT
>>461
数学では証明とは言えないポエムを何度も証明だと言い張っては結局間違いを指摘され撤回するを繰り返している自覚もないのか
前から言ってるけど形式的証明検証システムを通してから発表すれば誰も文句言わないし無駄も省けるからそうしなさいよ
まあ正しい証明になっていなければ通らないけどね
0469 ◆RK0hxWxT6Q
垢版 |
2018/10/26(金) 19:42:34.80ID:z2LgCFnW
今個人的には解決しましたが、それが正しいのか当然分かりません
0470132人目の素数さん
垢版 |
2018/10/26(金) 19:55:11.09ID:mJP3KJQ0
それは解決したとは言わない。

高木くんの個人的解決は全く数学的じゃない。
0473132人目の素数さん
垢版 |
2018/10/27(土) 07:45:41.31ID:hEsX4VZo
さっさと消えろ。
少なくとも算数を勉強してから出直してこい。

勉強は1には無理だから一生出てくるな。
ずっと寝てろ。
0474132人目の素数さん
垢版 |
2018/10/27(土) 14:41:55.73ID:MJZcwLkt
よかった、一年近く経って、完全ではないにせよ、自分が証明だと言い張るものが世間では証明とは言わないことに気づいたんだね。
0475132人目の素数さん
垢版 |
2018/10/27(土) 20:32:34.70ID:IFUz3txF
病気の人を一年もただ見続けるのは辛いな
僕たちにはこの人を病院に連れて行くことすらできない
0476 ◆7Movmgnk/o
垢版 |
2018/10/27(土) 20:53:36.35ID:fPsxH0Lw
正しい証明に対して、工作活動は無駄だと思います
0478132人目の素数さん
垢版 |
2018/10/27(土) 20:57:44.56ID:Ik3rzdWR
>今個人的には解決しましたが、それが正しいのか当然分かりません
>正しい証明に対して、工作活動は無駄だと思います

0479132人目の素数さん
垢版 |
2018/10/27(土) 21:53:30.41ID:7Al8fwEA
高木時空用語だな

正しい証明 = それが正しいのか当然分かりません
0480 ◆RK0hxWxT6Q
垢版 |
2018/10/27(土) 23:05:09.16ID:fPsxH0Lw
今個人的には解決しましたが、それが数学的に正しいのか当然分かりません
ということで、このロジックが一般的に正しいとされるか分からないということです
0481132人目の素数さん
垢版 |
2018/10/28(日) 09:15:29.79ID:Vuj+XMYP
470 名前:132人目の素数さん[sage] 投稿日:2018/10/26(金) 19:55:11.09 ID:mJP3KJQ0 [2/2]
それは解決したとは言わない。

高木くんの個人的解決は全く数学的じゃない。
0482132人目の素数さん
垢版 |
2018/10/30(火) 05:24:10.59ID:oVqepi6V
あれ?
今回のはもう消えてるね。
自分で間違いに気づいたのやら、もうどうせ間違ってんだろうと見切りをつけたのか。
どっちにしても正解だろうね。
0484 ◆RK0hxWxT6Q
垢版 |
2018/10/31(水) 12:14:57.16ID:8CbjyM5J
この問題は難しいから、これを研究することは諦めた方がいいかもしれない
0486132人目の素数さん
垢版 |
2018/10/31(水) 13:03:28.87ID:PV8c43pY
1は、算数を勉強することが難しいからって諦めちゃったんだな。

さすが統失芸人。
0490132人目の素数さん
垢版 |
2018/11/06(火) 05:29:55.09ID:L5OqW8l+
あれ?また消えてる。
もう完全に撤退したのかな?
良かった。
それが正解。
数学を楽しむならもっと別の方向が吉。
0491132人目の素数さん
垢版 |
2018/11/06(火) 09:16:49.14ID:FXUX0HWI
完全撤退めでたし!めでたし!

1は、この1年で少し知恵をつけたのでした。
おしまい。
0492 ◆RK0hxWxT6Q
垢版 |
2018/11/09(金) 01:17:41.05ID:dF/gCMPu
フェルマーの小定理の拡張定理から
s1(q1+1)=(p-1)p^n
s2(q2+1)=(p-1)p^n
sr(qr+1)=(p-1)p^n

s(q1+1)(q2+1)…(qr+1)=(p-1)^m×p^(n-m)


2b=c(p^n+…+1)
2b(p-1)=c(p^(n+1)-1)

cr≠qrのとき
フェルマーの小定理の拡張定理から
tr(n+1)=(pr-1)pr^(qr-cr-1)
(pr-1)/2=p-1だから
tr(2m+1)=(p-1)pr^(qr-cr-1)
2m+1=(p-1)/tr×pr^(qr-cr-1)
2m+1=4q/tr×pr^(qr-cr-1)
trは4の倍数でtを奇数としてt=tr/4とすると
2m+1=q/t×pr^(qr-cr-1)
w=q/tとすると
2m+1=w×pr^(qr-cr-1)

c1≠q1のとき
t1(n+1)=(p1-1)pr^(q1-c1-1)
2m+1=(p1-1)/(2t1)×p1^(q1-c1-1)


2t1(2m+1)=(p1-1)p1^(q1-c1-1)
2t2(2m+1)=(p2-1)p2^(q2-c2-1)
2tr(2m+1)=(pr-1)pr^(qr-cr-1)


2^r×t×(2m+1)^r=Π[k=1,r](pk-1)pk^(qk-ck-1)
t×(2m+1)^r=Π[k=1,r]((pk-1)/2)pk^(qk-ck-1)
t×(2m+1)^r×Π[k=1,r]pk^(ck+1)=Π[k=1,r]((pk-1)/2)×b
t'×(2m+1)^r=Π[k=1,r]((pk-1)/2)×b
t'×(w×pr^(qr-cr-1))^r=Π[k=1,r]((pk-1)/2)×b
t'×w^r×pr^(r*(qr-cr-1))=Π[k=1,r]((pk-1)/2)×b
t'×w^r×pr^(r*(qr-cr-1)-qk)=Π[k=1,r]((pk-1)/2)×Π[k=1,r-1]pk^qk

w=(p-1)/tr=2(pr-1)/tr
となるから、wは(pr-1)/2の約数になる。

ジープふざけんな。
マイクロふざけんな、私のOSのライセンスはどうなっているんだ、 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
0493 ◆RK0hxWxT6Q
垢版 |
2018/11/09(金) 01:31:22.18ID:dF/gCMPu
>>492 訂正
>s(q1+1)(q2+1)…(qr+1)=(p-1)^m×p^(n-m)
この行は削除
0495 ◆RK0hxWxT6Q
垢版 |
2018/11/09(金) 11:16:16.50ID:dF/gCMPu
>>492 訂正
×t'×w^r×pr^(r*(qr-cr-1)-qk)=Π[k=1,r]((pk-1)/2)×Π[k=1,r-1]pk^qk
〇t'×w^r×pr^(r*(qr-cr-1)-qr)=Π[k=1,r]((pk-1)/2)×Π[k=1,r-1]pk^qk

c1≠q1かつc2≠q2かつ…かつcr≠qrのとき
r(qr-cr-1)-qr>0
cr<(r-1)qr/r-1のとき、左辺にのみprが存在するので不適になる。
0497 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 18:28:44.76ID:a8aqp/Sv
多分世界最速の数独解析のエンジンは作ったけどな
0498 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 18:35:36.92ID:a8aqp/Sv
ついでに、国内にはあまりないと考えられるAHSも完全に実装した
0499 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 18:57:59.01ID:a8aqp/Sv
研究した内容が間違っているにせよ、公開したらたかりだとかゆすりだとか
いうのは、間違いもいいところだ。
0500 ◆QZaw55cn4c
垢版 |
2018/11/10(土) 19:05:07.01ID:4YDuu/sg
>>497
>世界最速の数独解析のエンジン
>>498
>AHSも完全に実装

どこで公開されていますか?
0501 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 19:12:11.99ID:a8aqp/Sv
見えないところから、絶対に自分が誰だか把握されないところから
遠くからスピーカーごしに、侮辱語を吐く人間。

何がしたいのだろうか?迷惑だから、失せてくれればいいいんだけど。
0502 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 19:17:25.23ID:a8aqp/Sv
>>500
ttps://www.vector.co.jp/vpack/filearea/win95/game/puzzle/num
0504 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 19:54:05.42ID:a8aqp/Sv
>>503
そのページで上から22番目あたりです
0505132人目の素数さん
垢版 |
2018/11/10(土) 20:00:19.80ID:70iDxgBe
作者:かるかん
の「数独アナライザー」???

のろまなExcel VBAのくせに世界最速って書くような
おバカな点が1と共通するのだが???
0506 ◆QZaw55cn4c
垢版 |
2018/11/10(土) 20:00:42.54ID:4YDuu/sg
>>504
「あたり」とかいう曖昧な言葉を使わないで、直接リンクを示すことはできませんか?
0507 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 20:05:01.78ID:a8aqp/Sv
>>505
アルゴリズムが最速と書いていますが?

何年間もほぼ無視されて馬鹿みたいですけど。
0508 ◆QZaw55cn4c
垢版 |
2018/11/10(土) 20:17:15.38ID:4YDuu/sg
>>507
「あたり」とかいう曖昧な言葉を使わないで、直接リンクを示すことはできませんか?
0509 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 20:20:45.90ID:a8aqp/Sv
>>508
ttps://www.vector.co.jp/soft/win95/game/se514819.html
0510132人目の素数さん
垢版 |
2018/11/10(土) 20:22:14.15ID:70iDxgBe
>何年間もほぼ無視されて馬鹿みたいですけど。

どうしようもないバカなのですよ。
1は、自覚することが必要。
0511 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 20:24:07.60ID:a8aqp/Sv
ぱくったものでどうのこうの、外からヤジが聞こえてきていますが

戦術は同じものも当然ありますし、私が拡張した仕様もあります。

0 か ら 実 装 す る の も 非 常 に 困 難 を 極 め ま し た が

「0を1にしてはいけない。」

4年間のタダ働きを幼稚極まりない言葉で侮辱されるのは不愉快極まりありません。
0512 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 20:31:29.32ID:a8aqp/Sv
sを1≦s≦r-1の任意の整数として、cs≠qsのとき
cr≠qrであるから、フェルマーの小定理の拡張定理から
ts、trを整数として
2ts(2m+1)=(ps-1)ps^(qs-cs-1)
2tr(2m+1)=(pr-1)pr^(qr-cr-1)

4trts(2m+1)^2=(pr-1)(ps-1)pr^(qr-cr-1)ps^(qs-cs-1)
4trts(wpr^(qr-cr-1))^2=(pr-1)(ps-1)pr^(qr-cr-1)ps^(qs-cs-1)
4trtsw^2pr^(qr-cr-1)=(pr-1)(ps-1)ps^(qs-cs-1)
trtsw^2pr^(qr-cr-1)=(pr-1)/2×(ps-1)/2×ps^(qs-cs-1)


w=(pr-1)/(2tr)
となるから、wは(pr-1)/2の約数になる

wがprの倍数であるとすると、vを整数として
(pr-1)/2=vpr
pr-1=2vpr
(1-2v)pr=1
となり、pr>2に反するので、wはprの倍数にならない。


tr(ps-1)ps^(qs-cs-1)=ts(pr-1)pr^(qr-cr-1)

@. qr-cr-1>0のとき
・pr>psのとき
tr=tr'pr^(qr-cr-1)とすると
2trw=pr-1
2tr'pr^(qr-cr-1)w=pr-1
0≡-1 (mod pr)となるので不適になる。
■ このスレッドは過去ログ倉庫に格納されています

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