整数第2章第3節 2.合同式の応用例

3.2 合同式の応用例

幾つかの例題について、合同式を使わない解法と使う解法とを比較してみましょう。


(例題1)nを自然数とする。8n7で割ったときの余りを求めよ。

解答例(mod非対応)

 

二項定理を利用すると、8n=(7+1)n=7n+nC17n1++nCn17+1=7N+1  (NN)と書けるから、8n7で割ったときの余りは1 ()である。

解答例(mod対応)

mod 7で考える。81より、8n1n=1となるから、8n7で割ったときの余りは1 ()である。

(コメント)

ご覧の通り、やってることの本質はどちらも同じなのですが、mod対応の解法の方が記述量を抑えられます。第2章で見たような数学的帰納法を使った解答も考えられるので、その差は歴然ですね。合同式が試験時間を確保する強力なツールであることがお分かりいただけると思います。

 


(例題2)nを自然数とする。n25で割ったときの余りは014に限ることを示せ。

解答例(mod非対応)

 

n5で割ったときの余りで分類し、場合分けする。以下、k0以上の整数とする。

 

ⅰ)n=5kのとき、n2=25k2となるから、n25で割ったときの余りは0である。

 

ⅱ)n=5k+1のとき、n2=25k2+10k+1=5(5k2+2k)+1となる。5k2+2kは整数だから、n25で割ったときの余りは1である。

 

ⅲ)n=5k+2のとき、n2=25k2+20k+4=5(5k2+4k)+4となる。5k2+4kは整数だから、n25で割ったときの余りは4である。

 

ⅳ)n=5k+3のとき、n2=25k2+30k+9=5(5k2+6k+1)+4となる。5k2+6k+1は整数だから、n25で割ったときの余りは4である。

 

ⅴ)n=5k+4のとき、n2=25k2+40k+16=5(5k2+8k+3)+1となる。5k2+8k+3は整数だから、n25で割ったときの余りは1である。

 

以上の場合ですべての自然数を尽くしているから、n25で割ったときの余りは014に限ることが示された。

解答例(mod対応①)

 

mod 5で考える。

 

n0のときn20n1のときn21n2のときn24n3のときn294n4のときn2161となる。

 

以上の場合ですべての自然数を尽くしているから、n25で割ったときの余りは014に限ることが示された。

解答例(mod対応②)

 

mod 5で考えると以下の表のように5で割ったときの余りが対応する。

n
n2

故にn25で割ったときの余りは014に限ることが示された。

(コメント)

modを使うと解答の省スペース化が可能となります。その点でmodと表の組み合わせは、省スペース化とともに視覚に訴えることができる非常に便利な方法と言えますが、解答自体が非常に素っ気ないものとなってしまいます。

採点者の心証を損ねないためにも、

「整数abについて、abが自然数nで割り切れることをab(modn)と表すことにする。」

などと合同式の定義くらいは添えておくと良いでしょう。

(※abが自然数nで割り切れることとab(modn)は同値です(前頁参照のこと))

 


(例題3)nを自然数とする。n5n30で割り切れることを示せ。

解答例(mod非対応)

n5n=n(n41)=n(n21)(n2+1)=(n1)n(n+1)(n2+1) より、3連続する整数の積を含むからn5n6の倍数である。よってn5n30で割り切れることを示すためにはn5n5で割り切れることを示せば良い。

 

n5で割ったときの余りで分類し、場合分けする。以下、k0以上の整数とする。

 

ⅰ)n=5kのとき、n5n5の倍数である。

 

ⅱ)n=5k+1のとき、n5n=(n1)n(n+1)(n2+1)=5k(5k+1)(5k+2)(25k2+10k+2)となる。下線部は整数だから、n5n5の倍数である。

 

ⅲ)n=5k+2のとき、n5n=(n1)n(n+1)(n2+1)=(5k+1)(5k+2)(5k+3)(25k2+20k+5)=5(5k+1)(5k+2)(5k+3)(5k2+4k+1)となる。下線部は整数だから、n5n5の倍数である。

 

ⅳ)n=5k+3のとき、n5n=(n1)n(n+1)(n2+1)=(5k+2)(5k+3)(5k+4)(25k2+30k+10)=5(5k+1)(5k+2)(5k+3)(5k2+6k+2)となる。下線部は整数だから、n5n5の倍数である。

 

ⅴ)n=5k+4のとき、n5n=(n1)n(n+1)(n2+1)=(5k+3)(5k+4)(5k+5)(25k2+40k+17)=5(k+1)(5k+3)(5k+4)(25k2+40k+17)となる。下線部は整数だから、n5n5の倍数である。

 

以上より、n5nはすべての自然数nに対して5の倍数となるから、n5n30で割り切れることが示された。

解答例(mod対応)

 

mod 5で考える。

 

n0のとき、n5n00=0

 

n1のとき、n5n151=0

 

n2のとき、n5n252=300

 

n3のとき、n5n353=3(341)=3800

 

n4 (1)のとき、n5n(1)5(1)=1+1=0となる。

 

よってn5nはすべての自然数nに対して5の倍数となるから、n5n30で割り切れることが示された。

(コメント)

5の倍数を作る」という目的意識を持って式変形すればmodを使う必要はありませんが、やはり答案を記述する労力が変わってきます。実際、mod対応の解答例を書く際に、頭を使うような場面はほとんどありません。このように2パターンの解答を書き比べてみると合同式の威力を実感できると思います。


とりあえず応用例の紹介はこのくらいにしておきましょう。勿論、合同式がいつでもどこでも万能という訳ではありません。ちゃんと文字で置いた方が解答が作りやすい場合も多いので、問題演習で勘所を掴んでいって欲しいと思います。

 

前に戻る 目次へ戻る