[過去ログ] 分からない問題はここに書いてね458 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
225(2): 132人目の素数さん [] 2020/02/22(土) 20:12:48.92 ID:p+fzcFe2(3/4) AAS
>>223 そうです。紛らわしくてすみません。
今ノートを見たところ、等号成立は一部の素数とそれらの任意の合成数(ただし各指数は最大1)に限られると推測していたようです。
例えばn=2,5,13,17,29,37,41...や、n=17*29,2*13*37,5*13*17*29*41...などでは等号成立しますが、n=31,(5^3)*(17^2)などでは等号成立しませんでした。
もし証明か反例がわかったら教えてくれるとうれしいです。
226: 132人目の素数さん [] 2020/02/22(土) 20:40:56.85 ID:p+fzcFe2(4/4) AAS
>>225は>>224に向けてです。
291(1): 132人目の素数さん [sage] 2020/02/24(月) 15:53:40.00 ID:Gb7vk4DT(1) AAS
>>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 は撤回します。。。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.044s