与えられた6つの一次不定方程式について、全ての整数解を求める。

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

1. 問題の内容

与えられた6つの一次不定方程式について、全ての整数解を求める。

2. 解き方の手順

各方程式について、以下の手順で整数解を求める。
(1) 拡張ユークリッドの互除法を用いて、特殊解を1つ求める。
(2) 特殊解から一般解を導き出す。
(3) 58x + 47y = 2について
まず、58と47に対してユークリッドの互除法を行う。
58=471+1158 = 47 \cdot 1 + 11
47=114+347 = 11 \cdot 4 + 3
11=33+211 = 3 \cdot 3 + 2
3=21+13 = 2 \cdot 1 + 1
したがって、gcd(58, 47) = 1。
次に、拡張ユークリッドの互除法を行う。
1=3211 = 3 - 2 \cdot 1
1=3(1133)1=341111 = 3 - (11 - 3 \cdot 3) \cdot 1 = 3 \cdot 4 - 11 \cdot 1
1=(47114)4111=47411171 = (47 - 11 \cdot 4) \cdot 4 - 11 \cdot 1 = 47 \cdot 4 - 11 \cdot 17
1=474(58471)17=472158171 = 47 \cdot 4 - (58 - 47 \cdot 1) \cdot 17 = 47 \cdot 21 - 58 \cdot 17
したがって、58(17)+47(21)=158 \cdot (-17) + 47 \cdot (21) = 1
両辺を2倍すると、58(34)+47(42)=258 \cdot (-34) + 47 \cdot (42) = 2
よって、x0=34,y0=42x_0 = -34, y_0 = 42は特殊解の一つである。
一般解は、
x=34+47kx = -34 + 47k
y=4258ky = 42 - 58k
ここで、kkは任意の整数。
(5) 62x - 23y = -4について
まず、62と23に対してユークリッドの互除法を行う。
62=232+1662 = 23 \cdot 2 + 16
23=161+723 = 16 \cdot 1 + 7
16=72+216 = 7 \cdot 2 + 2
7=23+17 = 2 \cdot 3 + 1
したがって、gcd(62, 23) = 1。
次に、拡張ユークリッドの互除法を行う。
1=7231 = 7 - 2 \cdot 3
1=7(1672)3=771631 = 7 - (16 - 7 \cdot 2) \cdot 3 = 7 \cdot 7 - 16 \cdot 3
1=(23161)7163=23716101 = (23 - 16 \cdot 1) \cdot 7 - 16 \cdot 3 = 23 \cdot 7 - 16 \cdot 10
1=237(62232)10=232762101 = 23 \cdot 7 - (62 - 23 \cdot 2) \cdot 10 = 23 \cdot 27 - 62 \cdot 10
したがって、62(10)+23(27)=162 \cdot (-10) + 23 \cdot (27) = 1
両辺を-4倍すると、62(40)+23(108)=462 \cdot (40) + 23 \cdot (-108) = -4
したがって、62(40)23(108)=462 \cdot (40) - 23 \cdot (108) = -4
よって、x0=40,y0=108x_0 = 40, y_0 = 108は特殊解の一つである。
一般解は、
x=40+23kx = 40 + 23k
y=108+62ky = 108 + 62k
ここで、kkは任意の整数。
(6) 71x + 32y = -2について
まず、71と32に対してユークリッドの互除法を行う。
71=322+771 = 32 \cdot 2 + 7
32=74+432 = 7 \cdot 4 + 4
7=41+37 = 4 \cdot 1 + 3
4=31+14 = 3 \cdot 1 + 1
したがって、gcd(71, 32) = 1。
次に、拡張ユークリッドの互除法を行う。
1=4311 = 4 - 3 \cdot 1
1=4(741)1=42711 = 4 - (7 - 4 \cdot 1) \cdot 1 = 4 \cdot 2 - 7 \cdot 1
1=(3274)271=322791 = (32 - 7 \cdot 4) \cdot 2 - 7 \cdot 1 = 32 \cdot 2 - 7 \cdot 9
1=322(71322)9=32207191 = 32 \cdot 2 - (71 - 32 \cdot 2) \cdot 9 = 32 \cdot 20 - 71 \cdot 9
したがって、71(9)+32(20)=171 \cdot (-9) + 32 \cdot (20) = 1
両辺を-2倍すると、71(18)+32(40)=271 \cdot (18) + 32 \cdot (-40) = -2
よって、x0=18,y0=40x_0 = 18, y_0 = -40は特殊解の一つである。
一般解は、
x=18+32kx = 18 + 32k
y=4071ky = -40 - 71k
ここで、kkは任意の整数。

3. 最終的な答え

(3) x=34+47kx = -34 + 47k, y=4258ky = 42 - 58k (kkは任意の整数)
(5) x=40+23kx = 40 + 23k, y=108+62ky = 108 + 62k (kkは任意の整数)
(6) x=18+32kx = 18 + 32k, y=4071ky = -40 - 71k (kkは任意の整数)

「数論」の関連問題

(1) 4で割ると1余り、7で割ると3余る3桁の自然数の中で最大のものを求める。 (2) 11で割ると2余り、13で割ると5余る4桁の自然数の中で最小のものを求める。

合同式剰余最大公約数最小公倍数
2025/5/13

$n$ は自然数とする。$n^2+n+6$ と $n+5$ の最大公約数として考えられる数をすべて求める。

最大公約数整数の性質合同式
2025/5/13

与えられた不定方程式の整数解を全て求める問題です。具体的には以下の4つの方程式の整数解を求めます。 (2) $55x + 23y = 1$ (3) $58x + 47y = 2$ (4) $61x -...

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

次の条件を満たす自然数 $n$ を求めます。 (1) $n, 12, 20$ の最大公約数が 4、最小公倍数が 180 (2) $n, 125, 175$ の最大公約数が 25、最小公倍数が 3500

最大公約数最小公倍数素因数分解整数の性質
2025/5/13

$n$ は正の整数とする。以下の2つの条件を満たす $n$ をすべて求める問題です。 (1) $n$ と18の最小公倍数が900 (2) $n$ と28の最小公倍数が7

最小公倍数素因数分解整数の性質
2025/5/13

(1) 20の倍数で、正の約数の個数が10個である自然数 $n$ を求めよ。 (2) 300以下の自然数のうち、正の約数の個数が9個である数をすべて求めよ。

約数素因数分解倍数
2025/5/13

(1) 整数 $a$ の平方 $a^2$ が3の倍数ならば、$a$ は3の倍数である。このことを用いて、$\sqrt{3}$ が無理数であることを証明する。 (2) 次の等式を満たす有理数 $a, b...

無理数背理法平方根有理数
2025/5/13

正の実数 $x, y$ に関する次の命題の真偽を判定し、真ならば証明し、偽ならば反例を挙げる問題です。 (1) $x$ が無理数かつ $y$ が有理数ならば、$x+y$ は無理数である。 (2) $x...

無理数有理数証明背理法反例
2025/5/13

$\sqrt{3}$ が無理数であることを背理法を用いて証明する。

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

自然数の列を、第$n$群が$2^{n-1}$個の自然数を含むように区切る。 (1) 第$n$群の最初の自然数を求める。 (2) 500が第何群の第何項かを求める。 (3) 第$n$群にあるすべての自然...

数列等比数列等差数列自然数
2025/5/13