メインコンテンツへスキップ
‹ 教材一覧に戻る
数学A

不定ふてい方程式ほうていしき (ax+by=c, 一いち次じ合同ごうどう式しき)

最終確認日:

この章しょうで学まなぶこと

gcd⁡\gcd を求もとめる道具どうぐ (互除法じょほう) を使つかって、 いよいよ 整せい数すう解かいを持もつ方程式ほうていしき に取とり組くみます。 ここでは一いち次じ不定方程式ふていほうていしきと合同式ごうどうしきの基本きほんを押おさえます。

  • 一いち次じ不定方程式ふていほうていしき ax+by=cax + by = c の 整せい数すう解かいがある条件じょうけん
  • 一ひとつの解かいから 一いっ般ぱん解 を表あらわす
  • 合同式ごうどうしき の表記ひょうきa≡b(modm)a \equiv b \pmod{m}
  • 一次合同式いちじごうどうしき ax≡b(modm)ax \equiv b \pmod{m} の解法かいほう
  • 大おおきな数かずの余あまり問題もんだいを合同ごうどう式しきで解とく

ポイント: 「不定方程式ふていほうていしき」 と 「合同式ごうどうしき」 は 同おなじことを違ちがう表ひょう現げんで言いっているだけ。 ax≡b(modm)ax \equiv b \pmod{m} は ax−my=bax - my = b と等とう価かです。

1. 一いち次じ不定ふてい方程式ほうていしき ax + by = c

解かいが存在そんざいする条件じょうけん

整せい数すう a,b,ca, b, c と d=gcd⁡(a,b)d = \gcd(a, b) としたとき、 ax+by=cax + by = c が整せい数すう解かいを持もつ必ひつ要よう十じゅう分ぶん条件じょうけんは d∣cd \mid c です。

例れい

  • 6x+8y=146x + 8y = 14: gcd⁡(6,8)=2\gcd(6, 8) = 2、 2∣142 \mid 14 → 解かいあり
  • 6x+8y=96x + 8y = 9: 2∤92 \nmid 9 → 整せい数すう解かいなし

一般いっぱん解かいの求もとめ方

d∣cd \mid c とします。 まず拡張かくちょう互除法じょほうで ax0+by0=dax_0 + by_0 = d の解かいを求もとめ、 両辺りょうへんを c/dc/d倍して一ひとつの解(X0,Y0)=(x0⋅c/d, y0⋅c/d)(X_0, Y_0) = (x_0 \cdot c/d,\ y_0 \cdot c/d) を得えます。 このとき すべての整せい数すう解かい は

X=X0+bdt,Y=Y0−adt(t∈Z)X = X_0 + \frac{b}{d} t, \quad Y = Y_0 - \frac{a}{d} t \quad (t \in \mathbb{Z})

と表あらわせます。

例題れいだい 1: 7x + 11y = 1

gcd⁡(7,11)=1\gcd(7, 11) = 1 なので整せい数すう解かいあり。 互除法じょほうと逆ぎゃく算で

11=7⋅1+411 = 7 \cdot 1 + 4、 7=4⋅1+37 = 4 \cdot 1 + 3、 4=3⋅1+14 = 3 \cdot 1 + 1。

1=4−3=4−(7−4)=4⋅2−7=(11−7)⋅2−7=11⋅2−7⋅31 = 4 - 3 = 4 - (7 - 4) = 4 \cdot 2 - 7 = (11 - 7) \cdot 2 - 7 = 11 \cdot 2 - 7 \cdot 3。

整形せいけいすると 7⋅(−3)+11⋅2=17 \cdot (-3) + 11 \cdot 2 = 1。 したがって 1 つの解かいは (x,y)=(−3,2)(x, y) = (-3, 2)。 一いっ般ぱん解は

x=−3+11t,y=2−7t(t∈Z)x = -3 + 11 t, \quad y = 2 - 7 t \quad (t \in \mathbb{Z})

例題れいだい 2: 12x + 18y = 30

d=gcd⁡(12,18)=6d = \gcd(12, 18) = 6、 6∣306 \mid 30 → 解かいあり。 両辺りょうへんを 6 で割われると 2x+3y=52x + 3y = 5。

2⋅1+3⋅1=52 \cdot 1 + 3 \cdot 1 = 5 を観察かんさつで見みつけると (x, y) = (1, 1) が 1 つの解かい。 一いっ般ぱん解は

x=1+3t,y=1−2t(t∈Z)x = 1 + 3t, \quad y = 1 - 2t \quad (t \in \mathbb{Z})

2. 合同ごうどう式しき

表記ひょうきと定義ていぎ

整せい数すう a,ba, b と正せいの整せい数すう mm について、 a−ba - b が mm の倍ばい数すう (= m∣(a−b)m \mid (a - b)) であるとき、

a≡b(modm)a \equiv b \pmod{m}

と書かき、 「aa と bb は mm を法ほうとして合同ごうどう」 と言いいます。  mod \bmod は 法ほう (modulus) を表あらわします。

例れい

  • 17≡2(mod5)17 \equiv 2 \pmod{5} (17 - 2 = 15 は 5 の倍数ばいすう)
  • 100≡4(mod6)100 \equiv 4 \pmod{6} (100 - 4 = 96 = 6 \cdot 16)
  • −3≡4(mod7)-3 \equiv 4 \pmod 7 (-3 - 4 = -7)

合同ごうどう式しきの性質せいしつ

a≡ba \equiv b、 c≡d(modm)c \equiv d \pmod{m} のとき

演算えんざん性質せいしつ
加法かほうa+c≡b+d(modm)a + c \equiv b + d \pmod{m}
減法げんぽうa−c≡b−d(modm)a - c \equiv b - d \pmod{m}
乗法じょうほうac≡bd(modm)a c \equiv b d \pmod{m}
累乗るいじょうak≡bk(modm)a^k \equiv b^k \pmod{m}

注意ちゅうい: 一いっ般ぱんに 「両辺りょうへんを同おなじ数かずで割われる」 ことはできません。 例れい: 6≡0(mod6)6 \equiv 0 \pmod 6 だが、 両辺りょうへんを 2 で割われると 3≡0(mod6)3 \equiv 0 \pmod 6 となり偽にせ。 割わり算ざんには別べっ途と 「逆元げん」 が必ひつ要ようです。

3. 大おおきな数かずの余あまり

計算けいさん例れい 1: 末尾まつびだけ知しりたい

71007^{100} を 10 で割わった余あまり (= 一いちの位くらい) は ?

71=7, 72=49≡9, 73≡63≡3, 74≡21≡1(mod10)7^1 = 7,\ 7^2 = 49 \equiv 9,\ 7^3 \equiv 63 \equiv 3,\ 7^4 \equiv 21 \equiv 1 \pmod{10}。 以い降こう 4 周期しゅうきで巡回じゅんかい。 100=4⋅25100 = 4 \cdot 25 なので 7100≡(74)25≡125=1(mod10)7^{100} \equiv (7^4)^{25} \equiv 1^{25} = 1 \pmod{10}。 答えこたえは 1。

計算けいさん例れい 2: フェルマーの小しょう定理ていり風ふう

210002^{1000} を 7 で割わった余あまりは ?

21=2, 22=4, 23=8≡1(mod7)2^1 = 2,\ 2^2 = 4,\ 2^3 = 8 \equiv 1 \pmod 7。 したがって周期しゅうき 3。 1000=3⋅333+11000 = 3 \cdot 333 + 1 なので 21000≡21=2(mod7)2^{1000} \equiv 2^1 = 2 \pmod 7。

4. 一いち次じ合同ごうどう式しき

形

ax≡b(modm)ax \equiv b \pmod{m}

解かいが存在そんざいする条件じょうけん

d=gcd⁡(a,m)d = \gcd(a, m) として、 d∣bd \mid b のとき、 かつそのときに限かぎって解かいが存在そんざいします。 解かいがあるとき、 法mm のもとで解かいは dd個 あります。

解法かいほうの流ながれ

ax≡b(modm)ax \equiv b \pmod m は 「ax+my=bax + my = b」 と同おなじ。 拡張かくちょう互除法じょほうで xx を求もとめ、  mod m\bmod m で整せい理りする。

例題れいだい 3: 5x ≡ 3 (mod 7)

gcd⁡(5,7)=1∣3\gcd(5, 7) = 1 \mid 3 → 解かいあり (法ほう 7 のもとで 1 個こ)。

5 \cdot 3 = 15 \equiv 1 \pmod 7 なので 5−1≡3(mod7)5^{-1} \equiv 3 \pmod 7。 両辺りょうへんに 3 をかけて

x≡3⋅3=9≡2(mod7)x \equiv 3 \cdot 3 = 9 \equiv 2 \pmod 7。 答えこたえは x≡2(mod7)x \equiv 2 \pmod 7 (= ..., -5, 2, 9, 16, ...)。

例題れいだい 4: 6x ≡ 4 (mod 10)

gcd⁡(6,10)=2∣4\gcd(6, 10) = 2 \mid 4 → 解かいあり、 法ほう 10 のもとで 2 個こ。 両辺りょうへんと法ほうを 2 で割われると 3x≡2(mod5)3x \equiv 2 \pmod 5。 3⋅2=6≡1(mod5)3 \cdot 2 = 6 \equiv 1 \pmod 5 なので 3−1≡2(mod5)3^{-1} \equiv 2 \pmod 5。 したがって x≡2⋅2=4(mod5)x \equiv 2 \cdot 2 = 4 \pmod 5、 つまり法ほう 10 では x=4x = 4 と x=9x = 9 の 2 つ。

5. 章しょう末まつまとめ

内ない容ようポイント
ax+by=cax + by = c解かいの条件じょうけん: gcd⁡(a,b)∣c\gcd(a, b) \mid c
一いっ般ぱん解X=X0+bdt, Y=Y0−adtX = X_0 + \dfrac{b}{d} t,\ Y = Y_0 - \dfrac{a}{d} t
合同ごうどう式しきa≡b(modm)a \equiv b \pmod m は 「差さが mm の倍ばい数すう」
加減かげん乗じょう法ほうを保たもったまま計算けいさん可か
一いち次じ合同ごうどう式しき拡張かくちょう互除法じょほうか逆元げんで解とく

次じの章しょうでは: 整せい数すうから図形ずけいへ。 三角形さんかくけいの 5 つの 心しん (重心じゅうしん・外心がいしん・内心ないしん・垂心すいしん・傍心ぼうしん) とその性せい質しつを学まなびます。

この教材きょうざいは役やくに立たちましたか?