MathLabs

第4問

集合{n,n+1,n+2,n+3,n+4,n+5}\{n,n+1,n+2,n+3,n+4,n+5\}を、各部分の積が等しくなるよう二つの互いに素な集合に分割できる正整数nnをすべて求めよ。
ステップ 2/4: 非零剰余を列挙する
ざっくり言うと

連続整数は法7の全剰余類を巡回する。

{n,n+1,ldots,n+5}equiv{1,2,3,4,5,6}pmod7\{n,n+1,\\ldots,n+5\}\\equiv\{1,2,3,4,5,6\}\\pmod7
詳しい解説

剰余00を除けば、6個は法77の全ての非零剰余を一度ずつ表す。