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

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

最終確認日:

このしょうまなぶこと

gcd\gcdもとめる道具どうぐ (互除法じょほう) を使つかって、 いよいよ せいすうかい方程式ほうていしきみます。 ここではいち不定方程式ふていほうていしき合同式ごうどうしき基本きほんさえます。

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

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

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

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

せいすう a,b,ca, b, cd=gcd(a,b)d = \gcd(a, b) としたとき、 ax+by=cax + by = cせいすうかいひつようじゅうぶん条件じょうけんdcd \mid c です。

れい

  • 6x+8y=146x + 8y = 14: gcd(6,8)=2\gcd(6, 8) = 22142 \mid 14かいあり
  • 6x+8y=96x + 8y = 9: 292 \nmid 9せいすうかいなし

一般いっぱんかいもとめ方

dcd \mid c とします。 まず拡張かくちょう除法じょほうax0+by0=dax_0 + by_0 = dかいもとめ、 両辺りょうへんc/dc/d倍してひとつの解(X0,Y0)=(x0c/d, y0c/d)(X_0, Y_0) = (x_0 \cdot c/d,\ y_0 \cdot c/d)ます。 このとき すべてのせいすうかい

X=X0+bdt,Y=Y0adt(tZ)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=71+411 = 7 \cdot 1 + 47=41+37 = 4 \cdot 1 + 34=31+14 = 3 \cdot 1 + 1

1=43=4(74)=427=(117)27=112731 = 4 - 3 = 4 - (7 - 4) = 4 \cdot 2 - 7 = (11 - 7) \cdot 2 - 7 = 11 \cdot 2 - 7 \cdot 3

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

x=3+11t,y=27t(tZ)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) = 66306 \mid 30かいあり。 両辺りょうへんを 6 でわれると 2x+3y=52x + 3y = 5

21+31=52 \cdot 1 + 3 \cdot 1 = 5観察かんさつつけると (x, y) = (1, 1) が 1 つのかいいっぱん解は

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

2. 合同ごうどうしき

表記ひょうき定義ていぎ

せいすう a,ba, bせいせいすう mm について、 aba - bmmばいすう (= m(ab)m \mid (a - b)) であるとき、

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

き、 「aabbmmほうとして合同ごうどう」 といます。 mod\bmodほう (modulus) をあらわします。

れい

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

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

aba \equiv bcd(modm)c \equiv d \pmod{m} のとき

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

注意ちゅうい: いっぱん両辺りょうへんおなかずわれる」 ことはできませんれい: 60(mod6)6 \equiv 0 \pmod 6 だが、 両辺りょうへんを 2 でわれると 30(mod6)3 \equiv 0 \pmod 6 となりにせざんにはべっ 「逆げん」 がひつようです。

3. おおきなかずあま

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

71007^{100} を 10 でったあまり (= いちくらい) は ?

71=7, 72=499, 73633, 74211(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=425100 = 4 \cdot 25 なので 7100(74)25125=1(mod10)7^{100} \equiv (7^4)^{25} \equiv 1^{25} = 1 \pmod{10}答えこたえ1

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

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

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

4. いち合同ごうどうしき

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

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

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

解法かいほうなが

axb(modm)ax \equiv b \pmod m は 「ax+my=bax + my = b」 とおなじ。 拡張かくちょう除法じょほうxxもとめ、 modm\bmod mせいする。

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

gcd(5,7)=13\gcd(5, 7) = 1 \mid 3かいあり (ほう 7 のもとで 1 )。

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

x33=92(mod7)x \equiv 3 \cdot 3 = 9 \equiv 2 \pmod 7答えこたえx2(mod7)x \equiv 2 \pmod 7 (= ..., -5, 2, 9, 16, ...)。

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

gcd(6,10)=24\gcd(6, 10) = 2 \mid 4かいあり、 ほう 10 のもとで 2 両辺りょうへんほうを 2 でわれると 3x2(mod5)3x \equiv 2 \pmod 532=61(mod5)3 \cdot 2 = 6 \equiv 1 \pmod 5 なので 312(mod5)3^{-1} \equiv 2 \pmod 5。 したがって x22=4(mod5)x \equiv 2 \cdot 2 = 4 \pmod 5、 つまりほう 10 では x=4x = 4x=9x = 9 の 2 つ。

5. しょうまつまとめ

ないようポイント
ax+by=cax + by = cかい条件じょうけん: gcd(a,b)c\gcd(a, b) \mid c
いっぱんX=X0+bdt, Y=Y0adtX = X_0 + \dfrac{b}{d} t,\ Y = Y_0 - \dfrac{a}{d} t
合同ごうどうしきab(modm)a \equiv b \pmod m は 「mmばいすう
加減かげんじょうほうたもったまま計算けいさん
いち合同ごうどうしき拡張かくちょう除法じょほうか逆げん

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

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