整数の除法、合同式

○整数の除法・合同式

\( \displaystyle a,b \)を整数,\( \displaystyle m \)を自然数とする.
(1)\( \displaystyle a=mq+r \ (0 \leqq r < m) \)を満たす整数\( \displaystyle q,r \)をそれぞれ\( \displaystyle a \)を\( \displaystyle m \)で割ったときの商,余りという.
(2)\( \displaystyle a,b \)を\( \displaystyle m \)で割ったときの余りが等しいとき,\( \displaystyle a \)と\( \displaystyle b \)は\( \displaystyle m \)を法として合同であるといい,\( \displaystyle a \equiv b \ (\text{mod} \ m) \)で表す.
\( \displaystyle a \equiv b \ (\text{mod} \ m) \)は,\( \displaystyle a=b+mk \)となる整数\( \displaystyle k \)が存在することを意味する.

○合同式の性質

\( \displaystyle a,b,c,d \)を整数,\( \displaystyle m \)を自然数とする.
\( \displaystyle \begin{cases} a \equiv b \ (\text{mod} \ m) \\ c \equiv d \ (\text{mod} \ m) \end{cases} \implies \begin{cases} a+c \equiv b+d \ (\text{mod} \ m) \\ ac \equiv bd \ (\text{mod} \ m) \end{cases} \)
※上の掛け算を繰り返し使うことで,
\( \displaystyle a \equiv b \ (\text{mod} \ m) \implies a^k \equiv b^k \ (\text{mod} \ m) \)
が言える.

(例1)\( \displaystyle 123 \times 456 \)を\( \displaystyle 7 \)で割った余りを求める.

(例2)\( \displaystyle n \)を\( \displaystyle 5 \)で割った余りが\( \displaystyle 4 \)のとき,\( \displaystyle n^3+2n^2+3n+4 \)を\( \displaystyle 5 \)で割ったときの余りを求める.

○連続整数積の性質

\( \displaystyle n \)を自然数とする.連続する\( \displaystyle n \)個の整数の積は\( \displaystyle n! \)の倍数である.

○各種あまりの処理

有効な手法
多項式型\( \displaystyle f(n) \)の余りの処理余りで分類して代入する
指数型\( \displaystyle a^{f(n)} \)の余りの処理余りの周期性を利用する
or 二項定理を利用する

(例1)\( \displaystyle n \)を整数とする.\( \displaystyle n^2 \)を\( \displaystyle 3 \)で割ったときの余りを求めよ.

(例2,典型問題)自然数\( \displaystyle a,b,c \)について,\( \displaystyle a^2+b^2=c^2 \)が成り立つとき,\( \displaystyle a,b \)のうち少なくとも\( \displaystyle 1 \)つは\( \displaystyle 3 \)の倍数であることを示せ.

(例3)\( \displaystyle 9^{100} \)を\( \displaystyle 7 \)でわった余りを求める.

(例4)\( \displaystyle n \)を自然数とするとき,\( \displaystyle 8^n-(5n+3) \cdot 3^{n-1} \)が\( \displaystyle 25 \)の倍数であることを示す.

◯合同方程式の処理

有効な処理
\( \displaystyle ax \equiv b \)の処理[係数の調整]\( \displaystyle a, m \)が互いに素のとき,
\( \displaystyle x \equiv y \ (\text{mod} \ m) \Leftrightarrow ax \equiv ay \ (\text{mod} \ m) \)
を利用し, 係数を \( \displaystyle 1 \) にする
連立式の処理
\( \displaystyle \begin{cases} ax \equiv b \ (\text{mod} \ M) \\ cx \equiv d \ (\text{mod} \ N) \end{cases} \)
[法の統一]\( \displaystyle l > 0 \)のとき,
\( \displaystyle a \equiv b \ (\text{mod} \ m) \Leftrightarrow la \equiv lb \ (\text{mod} \ lm) \)
を利用し, 法を統一する.
法が大きいとき[法の分解]
互いに素な法に分解して調べる

(例1)\( \displaystyle 7n \)を\( \displaystyle 11 \)で割った余りが\( \displaystyle 1 \)となるとき,\( \displaystyle n \)を\( \displaystyle 11 \)で割った余りを求める.

(例2)\( \displaystyle 7 \)で割ると\( \displaystyle 5 \)余り,\( \displaystyle 13 \)で割ると\( \displaystyle 7 \)余る\( \displaystyle 3 \)桁の自然数の個数を求める.

(例3)\( \displaystyle 13^{99} \)を\( \displaystyle 72 \)で割った余りを求める.

◯中国式剰余定理

\( \displaystyle m,n \)を互いに素な自然数とする.
\( \displaystyle \ \ \ \ \ x \equiv a \ (\text{mod} \ m), x \equiv b \ (\text{mod} \ n) \)
を満たす整数\( \displaystyle x \)が\( \displaystyle mn \)を法として一意に定まる.

◯整数問題の絞り込み手法

積の形から絞る\( \displaystyle XY=5 \)となる整数は?
\( \displaystyle (X,Y)=(\pm 1, \pm 5), (\pm 5, \pm 1) \) (複号同順)
値の範囲から絞る\( \displaystyle X^2+Y^2=5 \)となる整数は?
\( \displaystyle \ \ \ \ \ 5=X^2+Y^2 \geqq X^2 \)により\( \displaystyle X^2 \leqq 5 \ \ \ \ \ \therefore X=\pm 2, \pm 1, 0 \)
\( \displaystyle \ \ \ \ \ \therefore (X,Y)=(\pm 1, \pm 2), (\pm 2, \pm 1) \)(複号任意)
余りに注目して絞る\( \displaystyle p^2+2 \)が素数となる\( \displaystyle 3 \)以上の素数\( \displaystyle p \)は?
\( \displaystyle p=3 \)は適する.\( \displaystyle p>3 \)とする.
[mod \( \displaystyle 2 \)で考える]\( \displaystyle \rightarrow p \)は奇素数だから\( \displaystyle p \equiv 1 \ (\text{mod} \ 2) \).
\( \displaystyle \ \ \ \ \ p^2+2 \equiv 3 \equiv 1 \ (\text{mod} \ 2) \ \ \ \ \ \therefore p^2+2 \)は奇数(特に何も絞り込めない)
[mod \( \displaystyle 3 \)で考える]\( \displaystyle \rightarrow p \)は奇素数だから\( \displaystyle p \equiv \pm 1 \ (\text{mod} \ 3) \).
\( \displaystyle \ \ \ \ \ p^2+2 \equiv 0 \ (\text{mod} \ 3) \)
\( \displaystyle \ \ \ \ \ \therefore p^2+2 \)は\( \displaystyle 3 \)の倍数かつ\( \displaystyle p^2+2>11 \)により,素数にはなりえない.
以上により,\( \displaystyle p=3 \).

この記事は役に立ちましたか?

間違い/不具合かな?
と思ったらこちらへ