2023.12.20記
[1] を自然数として,整式 を で割った余りを とおく.以下の問に答えよ.
(1) と を,それぞれ と を用いて表せ.
(2) 全ての に対して, と は で割り切れないことを示せ.
(3) と を と で表し,全ての に対して, つの整数 と は互いに素であることを示せ.
本問のテーマ
2023.12.20記
をみて を思い出したい所だが,整数問題なのでそっと仕舞っておこう.
[解答]
(1)
であるから,, となる.
(1)
であるから,, となる.
(2) ,,, であるから,mod 7 で , と予想できる.
のとき , より成立.
のとき成立すると仮定すると
,
となり のときも成立する.よって数学的帰納法により任意の自然数 に対してmod 7 で , となり,題意は示された.
(3) (1) より , である.
と の最大公約数を とおく()と(2) より と 7 は互いに素である.
, は で割り切れて と 7 は互いに素であるから, と は で割り切れるので,
は を約数にもつことが任意の自然数 について言える.
よってこれを繰り返すと,任意の自然数 について は (3と2の最大公約数)の約数であることが言え,よって全ての に対して,,つまり つの整数 と は互いに素である.