この章で学ぶこと
gcd を求める道具 (互除法) を使って、 いよいよ 整数解を持つ方程式 に取り組みます。 ここでは一次不定方程式 と 合同式 の基本を押さえます。
- 一次不定方程式 ax+by=c の 整数解がある条件
- 一つの解から 一般解 を表す
- 合同式 の表記a≡b(modm)
- 一次合同式 ax≡b(modm) の解法
- 大きな数の余り問題を合同式で解く
ポイント: 「不定方程式」 と 「合同式」 は 同じことを違う表現 で言っているだけ。 ax≡b(modm) は ax−my=b と等価 です。
1. 一次不定方程式 ax + by = c
解が存在する条件
整数 a,b,c と d=gcd(a,b) としたとき、 ax+by=c が整数解を持つ必要十分条件は d∣c です。
例
- 6x+8y=14: gcd(6,8)=2、 2∣14 → 解あり
- 6x+8y=9: 2∤9 → 整数解なし
一般解の求め方
d∣c とします。 まず拡張互除法で ax0+by0=d の解を求め、 両辺を c/d倍して一つの解(X0,Y0)=(x0⋅c/d, y0⋅c/d) を得ます。 このとき すべての整数解 は
X=X0+dbt,Y=Y0−dat(t∈Z)
と表せます。
例題 1: 7x + 11y = 1
gcd(7,11)=1 なので整数解あり。 互除法と 逆算で
11=7⋅1+4、 7=4⋅1+3、 4=3⋅1+1。
1=4−3=4−(7−4)=4⋅2−7=(11−7)⋅2−7=11⋅2−7⋅3。
整形すると 7⋅(−3)+11⋅2=1。 したがって 1 つの解は (x,y)=(−3,2)。 一般解は
x=−3+11t,y=2−7t(t∈Z)
例題 2: 12x + 18y = 30
d=gcd(12,18)=6、 6∣30 → 解あり。 両辺を 6 で割ると 2x+3y=5。
2⋅1+3⋅1=5 を観察 で見つけると (x, y) = (1, 1) が 1 つの解。 一般解は
x=1+3t,y=1−2t(t∈Z)
2. 合同式
表記と定義
整数 a,b と正の整数 m について、 a−b が m の倍数 (= m∣(a−b)) であるとき、
a≡b(modm)
と書き、 「a と b は m を法として合同」 と言います。 mod は 法 (modulus) を表します。
例
- 17≡2(mod5) (17 - 2 = 15 は 5 の倍数)
- 100≡4(mod6) (100 - 4 = 96 = 6 \cdot 16)
- −3≡4(mod7) (-3 - 4 = -7)
合同式の性質
a≡b、 c≡d(modm) のとき
| 演算 | 性質 |
|---|
| 加法 | a+c≡b+d(modm) |
| 減法 | a−c≡b−d(modm) |
| 乗法 | ac≡bd(modm) |
| 累乗 | ak≡bk(modm) |
注意: 一般 に 「両辺を同じ数で割る」 ことはできません。 例: 6≡0(mod6) だが、 両辺を 2 で割ると 3≡0(mod6) となり偽。 割り算には別途 「逆元」 が必要 です。
3. 大きな数の余り
計算例 1: 末尾だけ知りたい
7100 を 10 で割った余り (= 一の位) は ?
71=7, 72=49≡9, 73≡63≡3, 74≡21≡1(mod10)。 以降 4 周期で巡回。 100=4⋅25 なので 7100≡(74)25≡125=1(mod10)。 答えは 1。
計算例 2: フェルマーの小定理風
21000 を 7 で割った余りは ?
21=2, 22=4, 23=8≡1(mod7)。 したがって周期 3。 1000=3⋅333+1 なので 21000≡21=2(mod7)。
4. 一次合同式
形
ax≡b(modm)
解が存在する条件
d=gcd(a,m) として、 d∣b のとき、 かつそのときに限って解が存在します。 解があるとき、 法m のもとで解は d個 あります。
解法の流れ
ax≡b(modm) は 「ax+my=b」 と同じ。 拡張互除法で x を求め、 modm で整理 する。
例題 3: 5x ≡ 3 (mod 7)
gcd(5,7)=1∣3 → 解あり (法 7 のもとで 1 個)。
5 \cdot 3 = 15 \equiv 1 \pmod 7 なので 5−1≡3(mod7)。 両辺に 3 をかけて
x≡3⋅3=9≡2(mod7)。 答えは x≡2(mod7) (= ..., -5, 2, 9, 16, ...)。
例題 4: 6x ≡ 4 (mod 10)
gcd(6,10)=2∣4 → 解あり、 法 10 のもとで 2 個。 両辺と法を 2 で割ると 3x≡2(mod5)。 3⋅2=6≡1(mod5) なので 3−1≡2(mod5)。 したがって x≡2⋅2=4(mod5)、 つまり法 10 では x=4 と x=9 の 2 つ。
5. 章末まとめ
| 内容 | ポイント |
|---|
| ax+by=c | 解の条件: gcd(a,b)∣c |
| 一般解 | X=X0+dbt, Y=Y0−dat |
| 合同式 | a≡b(modm) は 「差が m の倍数」 |
| 加減乗 | 法を保ったまま計算可 |
| 一次合同式 | 拡張互除法か逆元 で解く |
次の章では: 整数 から図形へ。 三角形 の 5 つの 心 (重心・外心・内心・垂心・傍心) とその性質 を学びます。