[MathJax]/jax/output/HTML-CSS/jax.js を読み込み中

数学A|整数の問題で合同式を使ってみよう

数学A

整数の合同

合同式は学習指導要領の範囲外の内容ですが、整数の問題を考えるときにとても有用なものなので、マスターしておくと吉です。

図形の合同は馴染みがありますが、整数の合同と言うとあまり聞いたことがないかもしれません。しかし、私たちの生活の中にも利用されています。

たとえば、時計の時刻は整数の合同を利用しています。時刻には24時間表記と12時間表記があります。12時間表記の場合、1時と13時は同じ時刻として扱われています。

これは12になると0にして(12を法として)数え直していると考えられます。例で挙げた1時と13時の関係を「1と13は12を法として合同」と言います。

整数の合同は、2進法や10進法などの位取り記数法にも通じるので、教科書や参考書などで一読しておいて損はないでしょう。

合同式の基本事項

合同式の基本事項は3つあります。証明については省略します。

合同式の基本事項

  • 合同式

    abm の倍数であるとき、a , b m を法として合同であるといい、ab(modm) と式で表す。このような式を合同式という。

  • 合同式の性質①
    1. 反射律 aa(modm)
    2. 対称律 ab(modm) のとき、ba(modm)
    3. 推移律 ab(modm) , bc(modm) のとき、ac(modm) または abc(modm)
  • 合同式の性質② ab(modm) , cd(modm) のとき、次のことが成り立つ。
    1. a+cb+d(modm)
    2. acbd(modm)
    3. acbd(modm)
    4. 自然数(0 以上の整数も可)n に対し、anbn(modm)

合同式を余りの関係に着目して利用する

合同式についての基本事項は上記のようになりますが、覚えておきたいのは次の関係です。

合同式で成り立つ関係

abm を法として合同であるとき、次の関係が成り立つ。

ab(modm)

abm の倍数[ ab=mkk は整数)]定義

⇔(am で割った余り)=(bm で割った余り)覚えるならココ!

定義では、2数の差a-bが法となる数mの倍数であるかどうかで合同となるかを考えています。これはこれで大切ですが、余りに注目した方が合同式をより使いやすくなります

2数の差a-bが法となる数mの倍数であるとき、a-bはmで割り切れるので、mで割った余りは0になります。

a-bをmで割った余りが0になるには、2数a,bはmで割った余りがともに等しい数でなければなりません。

2数の差が法となる数の倍数であるとき

am で割った商と余りをそれぞれ p1 , r1 とすると

a=p1m+r1

bm で割った商と余りをそれぞれ p2 , r2 とすると

b=p2m+r2

2 数の差は

ab=(p1m+r1)(p2m+r2)=(p1p2)m+(r1r2)

ここで、abm の倍数となるのは

r1r2=0

すなわち

r1=r2

のときである。

したがって、2 数の差 abm の倍数になるには、2a , bm で割った余りがともに等しくなれば良い。

この性質を利用すると、合同式を利用するときに応用が利きます。定義通りでも良いですが、余りに注目しても合同かどうかを判断することができます。

たとえば、2つの数5,8を3を法として合同かどうかを調べてみます。

定義通りに2数の差を求めると、8-5=3から2数の差は3の倍数になるので、5と8は3を法として合同です。また、この2数をそれぞれ3で割った余りはともに2になります。

具体例からも分かるように、合同である2数であれば、法とする数で割った余りがともに等しくなります。

合同式は、法となる数で割ったときの余りに着目した式とも言える。余りの等しい2つの数を≡でつなぐだけ。

このような合同式を利用して整数の問題を解いてみましょう。

合同式を利用して整数の問題を解こう

例題

(1)n が奇数であるとき、n218 の倍数であることを証明せよ。

(2)n が奇数であるとき、n5n3 の倍数であることを証明せよ。

(3)n が奇数であるとき、n5n120 の倍数であることを証明せよ。

例題(1)の解答・解説

例題(1)

n が奇数であるとき、n218 の倍数であることを証明せよ。

例題(1)は、定石としてはn=2k+1(kは整数)とおいて解く問題です。ここでは、合同式を利用します。

例題(1)の解答例

n が奇数であるので、n8 で割ったときの余りは

1 , 3 , 5 , 7

のいずれかである。

よって

n1 , 3 , 5 , 7(mod8)

ここで

n1357n21321521721n210000

表より

n210(mod8)

よって、n が奇数のとき、n218 の倍数である。

表の2,3行目は、合同式の性質をいくつか利用しています。

合同式の基本事項

  • 合同式の性質①

    反射律 aa(modm)

  • 合同式の性質②

    ab(modm) , cd(modm) のとき、次のことが成り立つ。

    • acbd(modm)
    • 自然数に対し anbn(modm)

例題(1)の別解例

別解として、指導要領内の知識で解いたときの解答例を挙げておきます(本来ならばこちらが模範解答)。

例題(1)の別解例

n=2k+1k は整数)とおく。

n21= (2k+1)21= 4k2+4k+11= 4k(k+1)

k , k+1 は連続する 2 つの整数であるので、いずれかは偶数、すなわち 2 の倍数である。

よって、4k(k+1)24 を因数にもつので 8 の倍数である。

したがって、n が奇数であるとき、n218 の倍数である。

(n2-1が8の倍数)=(n2-1が8を因数にもつ)」ことを示します。主に因数分解で式変形しますが、上手に変形する必要があります。

また、連続する整数の積がもつ性質についても知っておかなければなりません。これはこれでとても大切な性質なので覚えておきましょう。

合同式の場合、解答例から分かるように、式変形をほとんど必要とせず、簡潔に記述できるのが利点です。

例題(2)の解答・解説

例題(2)

n が奇数であるとき、n5n3 の倍数であることを証明せよ。

例題(2)も例題(1)と同じように、一般的には式を変形して、与式が3を因数にもつことを示すのが定石です。ここでも合同式を利用して解きます。

例題(2)の解答例

n が奇数であるので、n3 で割ったときの余りは

0 , 1 , 2

のいずれかである。

よって

n0 , 1 , 2(mod3)

ここで

n012n50151252n5n000

表より

n5n0(mod3)

よって、n が奇数のとき、n5n3 の倍数である。

それほど難しい記述ではありません。非常にすっきりとした答案を作成できます。

例題(2)の別解例

例題(2)を指導要領内の知識で解く場合、与式を因数分解して、連続する整数の積を導出する必要があります。整数の性質を利用して解きます。

例題(2)の別解例

n5n= n(n41)= n(n21)(n2+1)= (n1)n(n+1)(n2+1)

ここで、(n1) , n , (n+1) は連続する 3 つの整数であり、この中には 3 の倍数が含まれる。

よって、n が奇数のとき、n5n3 の倍数である。

次は例題(3)ですが、その前に「連続する整数の性質」について解説します。連続する整数の性質は、整数問題では良く利用する性質です。