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/
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)となるので不適になる。
0513132人目の素数さん
垢版 |
2018/11/10(土) 20:32:30.49ID:70iDxgBe
>ぱくったものでどうのこうの、外からヤジが聞こえてきていますが

外でヤジってる奴に言ってやれ
0514 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 21:18:14.26ID:a8aqp/Sv
最近、しょっちゅう夜中でも馬鹿にしにくるので、家の中から絶叫して文句をいうのに疲れています

外でヤジる連中は窓を開けて外を見ても、隠れていない場合がほとんど
0517 ◆QZaw55cn4c
垢版 |
2018/11/10(土) 21:31:43.12ID:4YDuu/sg
>>516
>客観的な
「客観的」を客観的に定義してください
0518 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 21:34:26.98ID:a8aqp/Sv
>>515
います

>>516
私は耳がいいので、妄想ではありません。私を侮辱する内容ですし、「○○お休み」
○○の部分は侮辱する言葉で、総理だとか、何とか大臣とかです。
「毎日定時で帰りやがって。」だとか、「人の言葉で調子に乗りやがって。」だとか
「アニキを馬鹿にしやがって。」とかです。

私に兄はいないのですが。小学生程度の男子の声で「女の顔は見たくない。」というのも
最近聞こえてきました。
子供の声もよく聞こえてきますが、それがそのように聞こえるアプリ等で発せられているのか
は分かりません。自分の声を隠すために、そういうものを使っている可能性もあると思います。
0519132人目の素数さん
垢版 |
2018/11/10(土) 21:47:02.28ID:gjD6TDtn
では「客観的な証拠」を
「第三者が検証できる録音・録画などの記録媒体」
と言い換えよう
0522 ◆QZaw55cn4c
垢版 |
2018/11/10(土) 22:02:05.41ID:4YDuu/sg
>>519
第三者が間違っていたら意味がないのでは?第三者の判断が常に正しいという仮定の根拠は何ですか?
0523 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 22:02:18.85ID:a8aqp/Sv
>>520
何を書いているのか意味が分かりませんけが
0524132人目の素数さん
垢版 |
2018/11/10(土) 22:09:53.77ID:70iDxgBe
>夜中でも馬鹿にしにくるので、家の中から絶叫して文句をいうのに疲れています

夜中に絶叫して文句なんて1は逮捕されて当然
0525 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 22:13:59.62ID:a8aqp/Sv
>>524
夜中に外から、誹謗中傷する輩が逮捕されるべきだろうけどな
0528 ◆RK0hxWxT6Q
垢版 |
2018/11/10(土) 22:25:05.08ID:a8aqp/Sv
>>526
この連中は家を盗聴していので、怒りを伝える手段としてそうしている
0531132人目の素数さん
垢版 |
2018/11/10(土) 23:21:28.05ID:AawPgB9t
スレが延びてるからなにか進展があるのかと思ったがやはり何もなかった
1の異常性がまたひとつ明らかになったに過ぎなかった
つまらん
0532132人目の素数さん
垢版 |
2018/11/11(日) 01:14:57.42ID:hcoylbbD
お前を盗聴しているぞ!
0533 ◆RK0hxWxT6Q
垢版 |
2018/11/11(日) 10:46:29.92ID:WeaR8bb/
>>530
聞いても意味のなり言葉ばかりなので、そうしていることもある

>>531
>>512は、部分的解決だけど分からないの?

>>532
そうだろうね。で誰?

今、スピーカーで
「ものを言うな。」と完全に聞こえました。

何の権限で、そういうことが言えるのでしょうか?
誰だか分からない人間に、命令される覚えはない。
言論の自由を否定する、暴言をスピーカーで聞かせた馬鹿を逮捕して下さい。

それから、この国には言論の自由はないのですね。
本当にいい国ですね。
受験ではイカサマをするし、医者の誤診で人生はメチャクチャになるし。
0534132人目の素数さん
垢版 |
2018/11/11(日) 11:38:35.31ID:g4ma1ygT
医者は君の人生がメチャクチャになるのを防ごうとしたのにね
医者の言う通りにしなかった結果、君の人生はどうなった?
0535 ◆RK0hxWxT6Q
垢版 |
2018/11/11(日) 11:47:55.56ID:WeaR8bb/
>>534
寝不足を統合失調症とされたことは迷惑でしかありませんでした

その間違いのおかげで、会社を辞めたあとIT業界に復帰したら、低レベルな仕事を
使い捨てで、よりひどいものになりましたが。
0538 ◆RK0hxWxT6Q
垢版 |
2018/11/11(日) 13:54:11.25ID:WeaR8bb/
>>537
>>7-9に書かれていることは事実で、特にテレビで起きた発言は明確に証拠がテレビ局に
残っているのではないのでしょうか?

「テレビを馬鹿にしがって。」という糞ガキの声も聞こえてきていますが。

今日も「猿知恵を見せびらかしやがって。」という声も聞こえてきています。
このような子供じみた誹謗をまともな数学者がするとは思えません。

なにかしらの数学マニアなりがきれているのでしょうか?

今しがた「俺の言葉だ。」とも聞こえてきました。俺とは誰でしょうか?
スター気取りですね。声だけで、自分が誰だか分かると思っているんですから。
0541 ◆RK0hxWxT6Q
垢版 |
2018/11/11(日) 18:38:20.61ID:WeaR8bb/
>>540
何故医者の言うことを聞いていないと決めることができるんですか?
0543132人目の素数さん
垢版 |
2018/11/11(日) 20:39:31.33ID:0cRXUC9O
医者の言うことを聞いていたら、社会復帰できただろうに。

算数・数学も理解が可能となり、今の害基地1では到底想像できないような
すばらしい完全数の世界を知ることができたのに。
0544 ◆RK0hxWxT6Q
垢版 |
2018/11/11(日) 21:52:46.55ID:WeaR8bb/
>>543
>>512が読めないのか、以前に公開していたPdfファイルを読んでいないのか?
n=1でもr=1でもない部分で不適になる部分を見つけたのに何を書いているのでしょうか?

それと、私が仕事ができない状態にあるのは、田舎では仕事がなく、金がないから
就職活動ができないためで、病気では全くない。

アホなこと書かなくていいよ。
0545 ◆RK0hxWxT6Q
垢版 |
2018/11/11(日) 22:00:05.71ID:WeaR8bb/
会社がリーマンショックで私をリストラした後、田舎で10年間飼い殺しになっています。
何故、F1の被害にあった人には保証が得られて、同じようなものなのにも関わらず
会社の身勝手で解雇された人間には保証がないのでしょうか?

10年間も労働と住居選択の自由が侵害されて、憲法違反極まりない。
0549 ◆RK0hxWxT6Q
垢版 |
2018/11/11(日) 22:39:15.60ID:WeaR8bb/
>>548
3ヵ月で300時間もサービス残業をさせる会社とは何の関わりも持ちたくありませんけれども
0550132人目の素数さん
垢版 |
2018/11/11(日) 22:56:47.97ID:R4oRHL/W
>>549
弁護士通して訴えればいいじゃん
直接やり取りしなくてすむんじゃない?
慰謝料か賠償金か知らんけど、君の言ってることが本当だったらお金もらえるよ
0551132人目の素数さん
垢版 |
2018/11/12(月) 00:49:28.19ID:6P9VqbJI
>>512
2wtr = pr - 1
2wtr = 2w・(ts(pr - 1))/((ps - 1)ps^(qs-cs-1))・pr^(qr-cr-1)
なので
2w・ts/((ps - 1)ps^(qs-cs-1))・pr^(qr-cr-1) = 1
だから、分子の pr^(qr-cr-1) は消えて、
2wtr ≡ -1 mod pr
となって、不適にはならないのでは……
0552132人目の素数さん
垢版 |
2018/11/12(月) 01:34:18.02ID:eY2BYYcw
>>538
俺の言葉だ。
0553 ◆RK0hxWxT6Q
垢版 |
2018/11/12(月) 08:19:37.43ID:oxVoWOt5
>>552
俺は一人称だから、誰だか確定しないわけですが?
0554 ◆RK0hxWxT6Q
垢版 |
2018/11/12(月) 08:22:59.80ID:oxVoWOt5
>>551
>2wtr = 2w・(ts(pr - 1))/((ps - 1)ps^(qs-cs-1))・pr^(qr-cr-1)
これは違うと思います。
0556132人目の素数さん
垢版 |
2018/11/12(月) 08:46:32.71ID:R4YpxiV5
>>554
あれ、違うっけ?
>>512
>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)
にならないかな?
(pr^(qr-cr-1)は分子)
0557 ◆RK0hxWxT6Q
垢版 |
2018/11/12(月) 09:22:14.66ID:oxVoWOt5
>>556
それはあっていました。

>2w・ts/((ps - 1)ps^(qs-cs-1))・pr^(qr-cr-1) = 1
これは何故出てくるのか分かりません。
0559132人目の素数さん
垢版 |
2018/11/12(月) 09:47:28.42ID:49pYGxBi
>>558
なるほど
やっぱり3かもね

1.君が知らない誰か
俺だと言っている時点で君が知ってる事を相手が知っていることになるので1はありえない
2.君の知る誰か
思い当たる節がないため2もあり得ない
3.君自身
0560132人目の素数さん
垢版 |
2018/11/12(月) 09:56:37.61ID:R4YpxiV5
>>557
2wtr = pr - 1
なので
2wtr = 2w・(ts(pr - 1))/((ps - 1)ps^(qs-cs-1))・pr^(qr-cr-1)
の右辺は、pr - 1を除いて、分母分子全て消えなくてはならない。

よって
2w・ts/((ps - 1)ps^(qs-cs-1))・pr^(qr-cr-1) = 1
が出てくる。
0561 ◆RK0hxWxT6Q
垢版 |
2018/11/12(月) 10:20:27.91ID:oxVoWOt5
>>559
1と2が矛盾しています。1では私が「俺」を知っていることになっています。

>>560
なるほど、それは確認しました。
2wtr=2w×(ts(pr-1))/((ps-1)ps^(qs-cs-1))×pr^(qr-cr-1)

2w×ts/((ps-1)ps^(qs-cs-1))×pr^(qr-cr-1)=1
を代入しても、2wtr=pr-1に戻るだけだと思いますけど。
0563132人目の素数さん
垢版 |
2018/11/12(月) 12:31:53.21ID:mdRIvuu3
>>559
糖質に対してもっともやってはいけない追い込み方
聞こえてくる声が自分の内なる声だと認めることができるなら、
そもそも糖質にはなっていない
0564132人目の素数さん
垢版 |
2018/11/12(月) 12:37:33.42ID:B2WKdMef
>>563
最も最適な追い込み条件しらぬ
それに、自分自身の声が他人の声だと勘違いするのって病気なの?
0565132人目の素数さん
垢版 |
2018/11/12(月) 20:29:24.88ID:ojUSDx1M
>自分自身の声が他人の声だと勘違いするのって

病気ですね。高木くんは重症患者。
0566132人目の素数さん
垢版 |
2018/11/12(月) 20:44:14.18ID:aqxr+qAA
>>561
そうですね。しかし、代入するのではなく
2w×ts/((ps-1)ps^(qs-cs-1))×pr^(qr-cr-1)=1
から、
pr^(qr-cr-1)は約分で消える事が分かったので、現時点では
2wtr ≡ 0 mod pr
とは言えないと思います。
0567 ◆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)
となります
0568132人目の素数さん
垢版 |
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))
とおいて、これが整数という事で良いですか?
0569132人目の素数さん
垢版 |
2018/11/13(火) 05:41:24.04ID:qxU1/pgW
その箇所は、これまで何遍も何遍も誤りを指摘されていながら1がいまだに理解していない箇所なので、指摘する人は丁寧に説明してあげて欲しい
0570132人目の素数さん
垢版 |
2018/11/13(火) 07:03:25.31ID:mOL/qXJ0
>指摘する人は丁寧に説明してあげて欲しい

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

1が、お医者さんの言うことを聞かないのと同じ。
0572132人目の素数さん
垢版 |
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'との約分で消えます)
0573132人目の素数さん
垢版 |
2018/11/13(火) 11:12:07.11ID:JNdaZsfz
>整数ではなく、分数になります。

1は害基地なので、これ1年続けてる。
0574132人目の素数さん
垢版 |
2018/11/13(火) 11:29:43.83ID:OaiUiuEp
神とか仏になるにはどうすれば良いのでしょうか?
0575 ◆RK0hxWxT6Q
垢版 |
2018/11/13(火) 12:38:41.66ID:5+2vdzMY
>>572
こっちにも書いておきます。何故2箇所になっているのか分かりませんが。

pr>psの場合にはps-1はprの倍数にはなり得ません
0576132人目の素数さん
垢版 |
2018/11/13(火) 13:18:00.35ID:/AFRY8Xr
誰から見ても1が間違ってるのに一向に1は認めることはないんだな
そのうち1が理解したふりをして引っ込めたあと何ヶ月か後に蒸し返す未来が見えるw
0578 ◆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で値を代入して計算すると正しい式であると
思われます。証明はできていません。そかれから、これが既知のものかは分かりません。
0579132人目の素数さん
垢版 |
2018/11/13(火) 18:45:51.95ID:uE6hbm4P
>証明はできていません。そかれから、これが既知のものかは分かりません。

バカはすっこんでろ。
見苦しい。
0580132人目の素数さん
垢版 |
2018/11/13(火) 19:09:30.80ID:/uXd0fJd
>この数式は前にも書きましたが、私が個人的に発見した、フェルマーの小定理の拡張定理?

わかってるようですがオイラーの時代から既に知られています。
0581132人目の素数さん
垢版 |
2018/11/13(火) 19:10:30.96ID:R6bALX7M
>>578
φ(n)をオイラーのφ関数とし、a を n と互いに素な整数とすると、a^φ(n)≡1 (mod n)
これを「オイラーの定理」という。なお、φ(p^n)=(p-1)p^(n-1)である。

よって既知。
0583 ◆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となるとき
0584 ◆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となるとき
0585132人目の素数さん
垢版 |
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の論法を使っていると思うのですが、合ってますか?
0587132人目の素数さん
垢版 |
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 の論法は使えない
が言えます。
0589132人目の素数さん
垢版 |
2018/11/14(水) 10:11:29.39ID:ORXUmXl2
1年もグダグダ繰り返すのはイクナイ。永久ループ!
いい加減に1は、算数なり数学なり勉強すべき。

あまりにも不毛。
0590132人目の素数さん
垢版 |
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
とは言えないと思うのですが、どうでしょうか。
0592 ◆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)
■ このスレッドは過去ログ倉庫に格納されています

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