奇数の完全数の存在に関する証明2

1 ◆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/

567 ◆RK0hxWxT6Q 2018/11/12(月) 21:22:25.87ID:oxVoWOt5
>>566
tr(ps-1)ps^(qs-cs-1)=ts(pr-1)pr^(qr-cr-1)

pr>psのときは
ps-1はprで割り切られないので、tr'を整数として
tr=tr'pr^(qr-cr-1)
となるから
2wtr≡0 (mod pr)
となります

568132人目の素数さん2018/11/13(火) 02:52:47.51ID:/PLTY/Dg
>>567
(1さんのやり方とは違うかもしれませんが)
> tr(ps-1)ps^(qs-cs-1)=ts(pr-1)pr^(qr-cr-1)
を変形して
tr = (ts(pr-1))/((ps-1)ps^(qs-cs-1))×pr^(qr-cr-1)
で、
tr' = (ts(pr-1))/((ps-1)ps^(qs-cs-1))
とおいて、これが整数という事で良いですか?

569132人目の素数さん2018/11/13(火) 05:41:24.04ID:qxU1/pgW
その箇所は、これまで何遍も何遍も誤りを指摘されていながら1がいまだに理解していない箇所なので、指摘する人は丁寧に説明してあげて欲しい

570132人目の素数さん2018/11/13(火) 07:03:25.31ID:mOL/qXJ0
>指摘する人は丁寧に説明してあげて欲しい

1は極度の算数音痴なので、ここのスレ住人の1年間に及ぶ親切で丁寧な説明が
1には全く習得できないまま。

1が、お医者さんの言うことを聞かないのと同じ。

571 ◆RK0hxWxT6Q 2018/11/13(火) 07:53:51.53ID:5+2vdzMY
>>568
はい、そうです

572132人目の素数さん2018/11/13(火) 10:58:59.61ID:/PLTY/Dg
>>571

>>560で導出した
> 2w×ts/((ps-1)ps^(qs-cs-1))×pr^(qr-cr-1)=1
を変形した
ts/((ps-1)ps^(qs-cs-1)) = 1/(2wpr^(qr-cr-1))
は、明らかに分数です。
これにpr-1をかけたものも、少なくとも分母のprが残るので、分数です。
よって、
> tr' = (ts(pr-1))/((ps-1)ps^(qs-cs-1))
は、整数ではなく、分数になります。
(そしてpr^(qr-cr-1)はtr'との約分で消えます)

573132人目の素数さん2018/11/13(火) 11:12:07.11ID:JNdaZsfz
>整数ではなく、分数になります。

1は害基地なので、これ1年続けてる。

574132人目の素数さん2018/11/13(火) 11:29:43.83ID:OaiUiuEp
神とか仏になるにはどうすれば良いのでしょうか?

575 ◆RK0hxWxT6Q 2018/11/13(火) 12:38:41.66ID:5+2vdzMY
>>572
こっちにも書いておきます。何故2箇所になっているのか分かりませんが。

pr>psの場合にはps-1はprの倍数にはなり得ません

576132人目の素数さん2018/11/13(火) 13:18:00.35ID:/AFRY8Xr
誰から見ても1が間違ってるのに一向に1は認めることはないんだな
そのうち1が理解したふりをして引っ込めたあと何ヶ月か後に蒸し返す未来が見えるw

577132人目の素数さん2018/11/13(火) 14:33:15.00ID:vapJFrre
もう今更かもしれないけど数学セミナーって所に送ってみたら?

578 ◆RK0hxWxT6Q 2018/11/13(火) 18:39:48.16ID:5+2vdzMY
この数式は前にも書きましたが、私が個人的に発見した、フェルマーの小定理の拡張定理?
と名前を付けた式を以下に示します。
pを素数とし、aをpの倍数でない整数とすると
a^((p-1) p^(n-1) )≡1 (mod p^n)
という式になります。この式は、wolfram alphaで値を代入して計算すると正しい式であると
思われます。証明はできていません。そかれから、これが既知のものかは分かりません。

579132人目の素数さん2018/11/13(火) 18:45:51.95ID:uE6hbm4P
>証明はできていません。そかれから、これが既知のものかは分かりません。

バカはすっこんでろ。
見苦しい。

580132人目の素数さん2018/11/13(火) 19:09:30.80ID:/uXd0fJd
>この数式は前にも書きましたが、私が個人的に発見した、フェルマーの小定理の拡張定理?

わかってるようですがオイラーの時代から既に知られています。

581132人目の素数さん2018/11/13(火) 19:10:30.96ID:R6bALX7M
>>578
φ(n)をオイラーのφ関数とし、a を n と互いに素な整数とすると、a^φ(n)≡1 (mod n)
これを「オイラーの定理」という。なお、φ(p^n)=(p-1)p^(n-1)である。

よって既知。

582 ◆RK0hxWxT6Q 2018/11/13(火) 19:52:00.84ID:5+2vdzMY
>>579-581
そうですか、それは知りませんでした

583 ◆RK0hxWxT6Q 2018/11/13(火) 22:25:23.21ID:5+2vdzMY
未解決の場合分け (pr=(p+1)/2のとき)
T.sを1≦s≦r-1の任意の整数として、cs≠qsのとき
T.@ cr<qr-1のとき
pr<psかつps-1がpr^(qr-cr-1)の倍数になるとき
T.A cr=qr-1のとき

U.1≦s≦r-1の全てのsに対して、ck=qkとなるとき

584 ◆RK0hxWxT6Q 2018/11/13(火) 22:26:26.00ID:5+2vdzMY
>>583
×U.1≦s≦r-1の全てのsに対して、ck=qkとなるとき
〇U.1≦k≦r-1の全てのkに対して、ck=qkとなるとき

585132人目の素数さん2018/11/13(火) 22:30:41.28ID:QkM65nli
>>575
>>567 を詳細に言うと、
> tr(ps-1)ps^(qs-cs-1) = ts(pr-1)pr^(qr-cr-1)
において、
D = tr
C = (ps-1)ps^(qs-cs-1)
B = ts(pr-1)
A = pr^(qr-cr-1)
とおいて、
「 A が C を割り切らないなら、A は D を割り切る 」
という>>4の論法を使っていると思うのですが、合ってますか?

586 ◆RK0hxWxT6Q 2018/11/13(火) 23:10:28.14ID:5+2vdzMY
>>585
合っています

587132人目の素数さん2018/11/13(火) 23:29:03.23ID:QkM65nli
>>586
>>560の 2w×ts/((ps-1)ps^(qs-cs-1))×pr^(qr-cr-1) = 1
より
pr^(qr-cr-1) は (ps-1)ps^(qs-cs-1) を割り切ります。
ただちに pr は (ps-1)ps^(qs-cs-1) を割り切る事が分かります。
そして
・(1さんも言っている通り)pr は ps-1 を割り切らない
→ pr は ps^(qs-cs-1) を割り切る
→ pr と ps は互いに素ではない
>>4 の論法は使えない
が言えます。

588 ◆RK0hxWxT6Q 2018/11/14(水) 07:22:38.06ID:UowEzDLM
>>587
prとpsは両方素数だから互いに素です

589132人目の素数さん2018/11/14(水) 10:11:29.39ID:ORXUmXl2
1年もグダグダ繰り返すのはイクナイ。永久ループ!
いい加減に1は、算数なり数学なり勉強すべき。

あまりにも不毛。

590132人目の素数さん2018/11/14(水) 11:14:19.43ID:JcjVtY0Z
>>588
>>572,587 は自分の間違いでした。すみません。

1さんの言う通り、tr'を整数として
tr=tr'pr^(qr-cr-1)
となるのだと思います。
しかし、これに2wをかけるので、
2wtr = 2×((pr-1)/(2tr))×tr'pr^(qr-cr-1)
で、pr^(qr-cr-1)はtrを割り切るので、
>>585の「 A は D を割り切る 」)
pr^(qr-cr-1)はどうしても消えます。

よって現時点では
2wtr ≡ 0 mod pr
とは言えないと思うのですが、どうでしょうか。

591132人目の素数さん2018/11/14(水) 15:03:43.07ID:bkBbBN7y
このスレのテンプレは偉大だな。

592 ◆RK0hxWxT6Q 2018/11/14(水) 18:29:34.61ID:UowEzDLM
>>590
qr-cr-1>0のとき
>tr=tr'pr^(qr-cr-1)
だから、
tr≡0 (mod pr)
∴2twt≡0 (mod pr)

593 ◆RK0hxWxT6Q 2018/11/14(水) 19:02:14.57ID:UowEzDLM
>>589
>n=1でもr=1でもない部分で不適になる部分を見つけたのに何を書いているのでしょうか?

594132人目の素数さん2018/11/14(水) 20:56:50.23ID:SH0OI8pM
>>592
wが整数ならその通りだと思いますが、
wは分数で、約分でpr^(qr-cr-1)を消します。
なので、
tr ≡ 0 (mod pr)
だからといって、
2wtr ≡ 0 (mod pr)
とは言えないと思います。

(例)
3 ≡ 0 (mod 3)
((5/3)×3) ≡ 2 (mod 3)

595132人目の素数さん2018/11/14(水) 21:53:22.54ID:jHE4s5yV
1年かけても、まるで進歩のない1

596 ◆RK0hxWxT6Q 2018/11/14(水) 22:23:20.72ID:UowEzDLM
>>594
wは正の奇数です。

>>595
>>593

597132人目の素数さん2018/11/14(水) 23:59:56.48ID:SH0OI8pM
>>596
w = (pr-1)/(2tr) = (pr-1)/(2tr'pr^(qr-cr-1))

pr-1 < pr^(qr-cr-1) と 「2, tr'は整数」
から
pr-1 < 2tr
が言えるので、wは分数だと思います。

598 ◆RK0hxWxT6Q 2018/11/15(木) 00:16:52.39ID:3Ua1Mbyw
>>597
気付きませんでしたが、そうなります。
pr=(p+1)/2のときに、wを正の奇数として
2m+1=wpr^(qr-cr-1)
とならなければならなかったので、>>597でwが分数になるので
矛盾とすることもできました。

599132人目の素数さん2018/11/15(木) 00:21:19.08ID:aQ6LFdUn
1の発言が支離滅裂すぎる
だから糖質の相手はするなとあれほど

600 ◆RK0hxWxT6Q 2018/11/15(木) 00:26:41.55ID:3Ua1Mbyw
>>599
どこがですか?

601132人目の素数さん2018/11/15(木) 00:32:32.46ID:4gV+MvY1
>>598
すみません、よく分かりません。

> pr=(p+1)/2のときに、wを正の奇数として
> 2m+1=wpr^(qr-cr-1)

この情報って>>512に入ってます?
自分>>512しか読んでいないので。

602 ◆RK0hxWxT6Q 2018/11/15(木) 00:43:47.40ID:3Ua1Mbyw
>>601
>>488と同じファイルで、その式は、この論文の式Jです。
それから、6ページの内容は間違っています。

Pdf文書 日本語
http://fast-uploader.com/file/7097765436177/

603132人目の素数さん2018/11/15(木) 01:03:36.29ID:4gV+MvY1
>>602
ダウンロードしました。
すぐには返信できないです。

604132人目の素数さん2018/11/15(木) 07:46:46.37ID:00YE/FXg
>同じファイルで
>それから、6ページの内容は間違っています。

間違ってることに気が付いても修正できない。
証明できないとあきらめても、うp継続。

1はどうして生きてるの?恥を知らないの?

605 ◆RK0hxWxT6Q 2018/11/15(木) 08:54:27.70ID:3Ua1Mbyw
>>604
この未解決問題解決の修正ができないのだろうから
そのの価値観だと、あなたもどうして生きているの?恥を知らないの?
ということになりますが

606132人目の素数さん2018/11/15(木) 09:15:27.34ID:y8p1fHH9
ふつうの人は間違いを認めてごめんなさいができますからね

607132人目の素数さん2018/11/15(木) 09:46:57.14ID:f4cpXPbf
1が異常なまでの数学音痴の勉強嫌いのクズって事は、解明済みの問題点。

1年かけても一切の改善無し。

608 ◆RK0hxWxT6Q 2018/11/15(木) 10:07:42.98ID:3Ua1Mbyw
>>606
論文に誤りがあった場合に、間違いを認めるのはいいとしても、何故謝らなければならない
のでしょうか?

609132人目の素数さん2018/11/15(木) 10:11:09.70ID:y8p1fHH9
それがわからないんだね

610132人目の素数さん2018/11/15(木) 12:10:43.71ID:9UJt/P/d
間違ってることに気が付いても修正できない。
証明できないとあきらめても、うp継続。

1はどうして生きてるの?恥を知らないの?

611132人目の素数さん2018/11/15(木) 12:31:55.63ID:9zYz68Dv
謝る気のない人物に謝罪を求めても虚しいよ

この1は、誤りを誤りと指摘しても罵倒しかしていないし、それを悪いこととは微塵も感じていないらしい
これまでも、これからもずっとそうだろう

612 ◆RK0hxWxT6Q 2018/11/15(木) 12:43:30.96ID:3Ua1Mbyw
>>610
諦めようかと思ったとしか書いていないし、部分的に解決した

>>611
論文の6ページ以外に誤りがあるのかっていうの?

613132人目の素数さん2018/11/15(木) 13:17:02.97ID:y8p1fHH9
日本語...w

614132人目の素数さん2018/11/15(木) 13:30:15.61ID:9UJt/P/d
>部分的に解決した

1の妄想爆発中
さっさと病院に行け

615132人目の素数さん2018/11/15(木) 15:51:28.63ID:EN9ANbG5
・1による奇数芸人ネタ

>pは定数でありかつ変数である。
>奇数÷奇数は整数かつ奇数に決まってる。そんな簡単なこともわからないのですか。
>wは整数であり同時に整数でない。
>2m+1は因数だが2m+1の倍数ではない。
>a=b/3なら、aはbを因数に含む。
>変数は数値に置き換えてはダメ。
>(A×B)/C:整数かつ B/C:非整数 ⇒ A/C:整数は当然。
>27/5 は 3 で割り切れる。
>定義はしていますが、値は定めていません。
>少なくとも一つはそうなる、ということで全てに対して成り立たなければならない。
>式の形から1つのkで成り立てば、全てのkでも成り立つ。
>自明なことを証明することは難しい。
>この論理は正しさが証明することができません。
>証明を見つけましたので、未解明ということにしたい。
>定理を導出した。その定理の証明が難しく完成が困難になっている。
>最後の命題は、他者が家の外からその命題を確認したと聞こえてきた。
>無限に約分可能。つまり、公約数が無限にある。
>計算間違いをしないと証明終了にならない。
>2に約数はない
>2の約数は2しかない
>0p=0がどう導かれたのかわからない
>数学と言語が反転しているように考えられる
>x=√(2-x^2)に解がないことは証明できるが、解はある
>0p=0は正しいが、0をかける数学的な意味がないため正しくない
>「yが完全数⇒0y=0」は偽
>「0y≠0⇒yが完全数でない」が正しいって何w
>「P」と「P⇒Q」がともに真でなければ「Q」が出ない 、って何?
>mod演算は逆演算が可能

616132人目の素数さん2018/11/15(木) 15:52:46.19ID:EN9ANbG5
1が完全数という言葉の意味を理解できる可能性はありませんね。

617 ◆RK0hxWxT6Q 2018/11/15(木) 18:49:58.68ID:3Ua1Mbyw

新着レスの表示
レスを投稿する