- プログラミングのお題スレ Part12
372 ：デフォルトの名無しさん[sage]：2018/11/12(月) 04:19:59.43 ID:lDwndekZ - x^22 - x^2
が常に100で割り切れるのが理由だと思う
なので巡回群の長さは高々20までになる
| - プログラミングのお題スレ Part12
373 ：デフォルトの名無しさん[sage]：2018/11/12(月) 04:44:54.48 ID:lDwndekZ - もう少し分かりやすく書くと x^20 - 1 と x^21 - x が
100で割り切れる保証はない（実際大部分は割り切れない）が
x^22 - x^2 は絶対に100で割り切れる（合同式を用いれば証明は簡明）ので
一般に2以上の自然数 n に対して x^(n+20) - x^n ≡ 0 mod 100が成り立つ（xは整数）
よって一般に指数部の20の剰余を取っても問題ないと言える
|
|