問題は、次の2つの不定方程式の整数解をすべて求めることです。 (1) $12x - 17y = 2$ (2) $71x + 32y = 3$

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

1. 問題の内容

問題は、次の2つの不定方程式の整数解をすべて求めることです。
(1) 12x17y=212x - 17y = 2
(2) 71x+32y=371x + 32y = 3

2. 解き方の手順

(1) 12x17y=212x - 17y = 2 の解き方:
まず、特殊解を求めます。
12x17y=112x - 17y = 1 の整数解を探します。ユークリッドの互除法を用いると、
17=12×1+517 = 12 \times 1 + 5
12=5×2+212 = 5 \times 2 + 2
5=2×2+15 = 2 \times 2 + 1
よって
1=52×2=5(125×2)×2=5×512×2=(1712×1)×512×2=17×512×71 = 5 - 2 \times 2 = 5 - (12 - 5 \times 2) \times 2 = 5 \times 5 - 12 \times 2 = (17 - 12 \times 1) \times 5 - 12 \times 2 = 17 \times 5 - 12 \times 7
したがって、12×(7)17×(5)=112 \times (-7) - 17 \times (-5) = 1 となります。
よって、12×(14)17×(10)=212 \times (-14) - 17 \times (-10) = 2 となります。
特殊解は (x,y)=(14,10)(x, y) = (-14, -10) です。
一般解は、
12(x+14)17(y+10)=012(x + 14) - 17(y + 10) = 0
12(x+14)=17(y+10)12(x + 14) = 17(y + 10)
12と17は互いに素なので、x+14=17kx + 14 = 17ky+10=12ky + 10 = 12k (kは整数)
x=17k14x = 17k - 14
y=12k10y = 12k - 10
(2) 71x+32y=371x + 32y = 3 の解き方:
まず、特殊解を求めます。
71x+32y=171x + 32y = 1 の整数解を探します。ユークリッドの互除法を用いると、
71=32×2+771 = 32 \times 2 + 7
32=7×4+432 = 7 \times 4 + 4
7=4×1+37 = 4 \times 1 + 3
4=3×1+14 = 3 \times 1 + 1
よって
1=43×1=4(74×1)×1=4×27×1=(327×4)×27×1=32×27×9=32×2(7132×2)×9=32×2071×91 = 4 - 3 \times 1 = 4 - (7 - 4 \times 1) \times 1 = 4 \times 2 - 7 \times 1 = (32 - 7 \times 4) \times 2 - 7 \times 1 = 32 \times 2 - 7 \times 9 = 32 \times 2 - (71 - 32 \times 2) \times 9 = 32 \times 20 - 71 \times 9
したがって、71×(9)+32×(20)=171 \times (-9) + 32 \times (20) = 1 となります。
よって、71×(27)+32×(60)=371 \times (-27) + 32 \times (60) = 3 となります。
特殊解は (x,y)=(27,60)(x, y) = (-27, 60) です。
一般解は、
71(x+27)+32(y60)=071(x + 27) + 32(y - 60) = 0
71(x+27)=32(y60)71(x + 27) = -32(y - 60)
71と32は互いに素なので、x+27=32kx + 27 = -32ky60=71ky - 60 = 71k (kは整数)
x=32k27x = -32k - 27
y=71k+60y = 71k + 60

3. 最終的な答え

(1) x=17k14,y=12k10x = 17k - 14, y = 12k - 10 (kは整数)
(2) x=32k27,y=71k+60x = -32k - 27, y = 71k + 60 (kは整数)

「数論」の関連問題

$\sqrt{6}$ が無理数であることを用いて、$\sqrt{3} - \sqrt{2}$ が無理数であることを証明する。

無理数背理法平方根
2025/5/18

問題文は「$mn$ が 3 の倍数ならば、$m, n$ の少なくとも一方は 3 の倍数である。」という命題が正しいことを証明または説明することを求めています。

整数の性質倍数背理法合同式
2025/5/18

整数 $n$ について、$n^2$ が5の倍数ならば、$n$ は5の倍数であることを証明する。

整数の性質倍数対偶証明法合同式
2025/5/18

実数 $x$ が正の無理数であるとき、$\sqrt{x}$ は無理数であることを証明する問題です。

無理数有理数背理法平方根証明
2025/5/18

正の偶数の列を、第 $n$ 群に $(2n-1)$ 個の数が入るように群に分ける。 (1) 第 $n$ 群の最初の数を $n$ の式で表す。 (2) 第10群に入るすべての数の和 $S$ を求める。

数列等差数列群数列偶数和の公式
2025/5/18

$2^l 3^m 5^n$ ($l, m, n$は自然数)の形で表される数で、500以下のものの個数とそれらの総和を求める。

整数の性質素因数分解不等式約数
2025/5/17

整数 $n$ について、「$3n$ が偶数ならば、$n$ は偶数である」という命題を、対偶を利用して証明する。

命題対偶整数偶数奇数証明
2025/5/17

整数 $n$ について、「$3n$が偶数ならば、$n$は偶数である」という命題を、対偶を利用して証明する。

命題対偶整数偶数奇数証明
2025/5/17

任意の整数 $n$ に対して、$n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3$ が18の倍数であることを示す問題です。

整数の性質倍数因数分解合同式
2025/5/17

任意の整数 $n$ に対して、$n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3$ が18の倍数であることを示す問題です。

整数の性質因数分解倍数合同式
2025/5/17