次の2つの不定方程式の整数解をすべて求める問題です。 (1) $3x - 5y = 1$ (2) $75x + 64y = 1$

数論不定方程式整数解ユークリッドの互除法
2025/4/2

1. 問題の内容

次の2つの不定方程式の整数解をすべて求める問題です。
(1) 3x5y=13x - 5y = 1
(2) 75x+64y=175x + 64y = 1

2. 解き方の手順

(1) 3x5y=13x - 5y = 1 の場合
まず、特殊解を一つ見つけます。例えば、x=2,y=1x = 2, y = 13(2)5(1)=65=13(2) - 5(1) = 6 - 5 = 1 を満たすので、特殊解の一つです。
したがって、3(2)5(1)=13(2) - 5(1) = 1 が成り立ちます。
与えられた方程式 3x5y=13x - 5y = 1 からこの式を引くと、
3x5y(3(2)5(1))=113x - 5y - (3(2) - 5(1)) = 1 - 1
3(x2)5(y1)=03(x - 2) - 5(y - 1) = 0
3(x2)=5(y1)3(x - 2) = 5(y - 1)
3と5は互いに素なので、x2x - 2 は5の倍数でなければなりません。
そこで、x2=5kx - 2 = 5kkkは整数)とおくと、x=5k+2x = 5k + 2 となります。
これを 3(x2)=5(y1)3(x - 2) = 5(y - 1) に代入すると、
3(5k)=5(y1)3(5k) = 5(y - 1)
15k=5(y1)15k = 5(y - 1)
3k=y13k = y - 1
y=3k+1y = 3k + 1
よって、整数解は x=5k+2,y=3k+1x = 5k + 2, y = 3k + 1kkは整数)となります。
(2) 75x+64y=175x + 64y = 1 の場合
まず、特殊解を一つ見つけます。ユークリッドの互除法を使って、75と64の最大公約数を求めます。
75=641+1175 = 64 \cdot 1 + 11
64=115+964 = 11 \cdot 5 + 9
11=91+211 = 9 \cdot 1 + 2
9=24+19 = 2 \cdot 4 + 1
2=12+02 = 1 \cdot 2 + 0
最大公約数は1なので、整数解が存在します。
次に、逆から計算して特殊解を求めます。
1=9241 = 9 - 2 \cdot 4
1=9(1191)4=9114+94=951141 = 9 - (11 - 9 \cdot 1) \cdot 4 = 9 - 11 \cdot 4 + 9 \cdot 4 = 9 \cdot 5 - 11 \cdot 4
1=(64115)5114=6451125114=64511291 = (64 - 11 \cdot 5) \cdot 5 - 11 \cdot 4 = 64 \cdot 5 - 11 \cdot 25 - 11 \cdot 4 = 64 \cdot 5 - 11 \cdot 29
1=645(75641)29=6457529+6429=643475291 = 64 \cdot 5 - (75 - 64 \cdot 1) \cdot 29 = 64 \cdot 5 - 75 \cdot 29 + 64 \cdot 29 = 64 \cdot 34 - 75 \cdot 29
1=75(29)+64(34)1 = 75(-29) + 64(34)
したがって、x=29,y=34x = -29, y = 34 は特殊解の一つです。
与えられた方程式 75x+64y=175x + 64y = 1 から 75(29)+64(34)=175(-29) + 64(34) = 1 を引くと、
75(x+29)+64(y34)=075(x + 29) + 64(y - 34) = 0
75(x+29)=64(y34)75(x + 29) = -64(y - 34)
75と64は互いに素なので、x+29x + 29 は64の倍数でなければなりません。
そこで、x+29=64kx + 29 = 64kkkは整数)とおくと、x=64k29x = 64k - 29 となります。
これを 75(x+29)=64(y34)75(x + 29) = -64(y - 34) に代入すると、
75(64k)=64(y34)75(64k) = -64(y - 34)
75k=(y34)75k = -(y - 34)
y34=75ky - 34 = -75k
y=75k+34y = -75k + 34
よって、整数解は x=64k29,y=75k+34x = 64k - 29, y = -75k + 34kkは整数)となります。

3. 最終的な答え

(1) x=5k+2,y=3k+1x = 5k + 2, y = 3k + 1kkは整数)
(2) x=64k29,y=75k+34x = 64k - 29, y = -75k + 34kkは整数)

「数論」の関連問題

4桁の自然数 $n$ の千の位、百の位、十の位、一の位の数字をそれぞれ $a, b, c, d$ とします。次の条件を満たす $n$ は全部で何個あるか。 (1) $a > b > c > d$ (2...

組み合わせ整数
2025/6/3

(1) 193 と 135 の最大公約数を求める。 (2) 不定方程式 $193x + 135y = 1$ の整数解のうち、$x$ が最小の自然数であるものを求め、一般解を求める。さらに、$x, y$...

最大公約数ユークリッドの互除法不定方程式整数解
2025/6/3

$p$ を素数、$a$ を整数とするとき、以下の関係が成り立つことを証明します。また、4.については、不等号が等号になる場合とそうでない場合の例を挙げます。 1. $\mathrm{ord}_p(-...

素数ord最大公約数(gcd)最小公倍数(lcm)整数の性質
2025/6/3

$520x \equiv 1 \pmod{17}$ を満たす $x$ を求める問題です。

合同式逆元拡張ユークリッドの互除法
2025/6/3

任意の奇素数 $p$ に対して、トレース $a_p = 0$ をもつアーベル多様体 $A/\mathbb{Q}$ が存在するならば、それらをパラメータ化する族 $\{A_p\}$ を明示的に構成せよ。

数論アーベル多様体ハッセ・ヴェイユL関数楕円曲線虚数乗法モジュラー形式トレース
2025/6/2

任意の奇素数 $p$ に対して、以下の条件を満たすアーベル多様体 $A$ が存在するかを問う問題です。 * $A$ は $\mathbb{Q}$ 上定義されている。 * $A$ の次元...

数論幾何アーベル多様体楕円曲線有限体L関数自己準同型環虚数乗法
2025/6/2

命題「$x$が12と18の公約数 $\Rightarrow$ $x$は6の約数」の逆、裏、対偶をそれぞれ選択肢の中から選びます。

命題論理約数公約数対偶
2025/6/2

命題「$x$が素数 $\Rightarrow$ $x$は奇数」の逆、裏、対偶をそれぞれ選択肢の中から選ぶ問題です。

命題論理素数対偶
2025/6/2

正の整数 $a$ に対して、ある整数 $b$ が存在して $63a - 32b = 1$ を満たすとする。$a$ はこのような性質を満たす正の整数のうちで最小のものであるとする。このとき、$ab$ の...

合同式一次不定方程式最大公約数整数の性質
2025/6/2

6で割ると3余り、17で割ると5余る3桁の自然数の中で、最大のものを求める。

合同式剰余中国剰余定理不定方程式
2025/6/2