MathLabs

第1問

(a) 2n−12^n-1 が 77 で割り切れるような正整数 nn をすべて求めよ。(b) 2n+12^n+1 が 77 で割り切れる正整数 nn は存在しないことを証明せよ。
ステップ 1/4: 剰余の周期を求める
21≡2,22≡4,23≡1(mod7)2^1\equiv2,\quad2^2\equiv4,\quad2^3\equiv1\pmod7
詳しい解説

23=8≡1(mod7)2^3=8\equiv1\pmod7 なので、さらに 22 を掛けると正のすべての指数で周期 2,4,12,4,1 が繰り返される。