[過去ログ] 分からない問題はここに書いてね458 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
225
(2): 2020/02/22(土)20:12 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: 2020/02/22(土)20:40 ID:p+fzcFe2(4/4) AAS
>>225>>224に向けてです。
291
(1): 2020/02/24(月)15:53 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が何個もあるので同様。
省2
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.035s