[過去ログ]
分からない問題はここに書いてね458 (1002レス)
分からない問題はここに書いてね458 http://rio2016.5ch.net/test/read.cgi/math/1581260776/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
264: 132人目の素数さん [sage] 2020/02/23(日) 21:56:35.06 ID:AO+nZE6G >>261 私も、一時期その可能性を思いましたが、 >>230 をご覧ください。 「-1が平方剰余」だけでは、不十分な事が判ります。 ただし、必要条件であることは、間違いないと思います。 他にも、50,125,169,250,289が、この例外に当てはまるので、 2^r*p^s ただし、r=0,1、pは素数、s=2,3,4,... 型を除外すれば十分なのかもしれません。 あ、それと、230の内容を修正します。 「nが偶数の時は、n/2 個」と書きましたが、nが偶数の時は、n/2が平方剰余で(←nが4の倍数ではない)、 n/2を除いた上で、平方剰余、平方非剰余の個数がそれぞれ、n/2-1 個ずつ でなければなりません。 http://rio2016.5ch.net/test/read.cgi/math/1581260776/264
266: 132人目の素数さん [sage] 2020/02/23(日) 22:12:16.81 ID:AO+nZE6G >>264 に補足 n=p^2と表されるとき、 Σ[k=1,n-1] mod(k^2,n) = n(n-1)/2 の左辺において、k=a*pの項は、mod((a*p)^2,p^2)=0 となり、 とても、平均 n/2 を維持することはできなくなるため、除外されなければならない ということですね。 http://rio2016.5ch.net/test/read.cgi/math/1581260776/266
291: 132人目の素数さん [sage] 2020/02/24(月) 15:53:40.00 ID:Gb7vk4DT >>264 「-1が平方剰余 (mod n)」だから、nは4q+3型の奇素数や4を含みませんね。 また、平方因子p^2を持つnも除外されそう。 >>230 >>266 n=p^2 (p=4q+1) と表わされるときは Σ[k=1,n-1] mod(k^2,n) = nφ(n)/2 = np(p-1)/2 < n(n-1)/2, の左辺において、k=a*p の項は k^2≡0 となる。 高次ベキの場合も、非正則項の中に k^2≡0 となるkが何個もあるので同様。 ∴ nは {2,5,13,17,29,37,41,・・・・} の要素を高々1回含む。 >>225 >>268 は撤回します。。。 http://rio2016.5ch.net/test/read.cgi/math/1581260776/291
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.037s