$0 \leq x \leq 20$、 $0 \leq y \leq 20$ を満たす整数 $x, y$ について、方程式 $7x - 5y = 1$ の整数解をすべて求める。

代数学一次不定方程式整数解不等式
2025/5/14

1. 問題の内容

0x200 \leq x \leq 200y200 \leq y \leq 20 を満たす整数 x,yx, y について、方程式 7x5y=17x - 5y = 1 の整数解をすべて求める。

2. 解き方の手順

まず、特殊解を見つけます。方程式 7x5y=17x - 5y = 1 の一つの解は (x,y)=(3,4)(x, y) = (3, 4) です。
7(3)5(4)=2120=17(3) - 5(4) = 21 - 20 = 1
次に、一般解を求めます。
7x5y=17x - 5y = 17(3)5(4)=17(3) - 5(4) = 1 の差をとると、
7(x3)5(y4)=07(x-3) - 5(y-4) = 0
7(x3)=5(y4)7(x-3) = 5(y-4)
7と5は互いに素なので、x3x-3 は 5 の倍数であり、y4y-4 は 7 の倍数である必要があります。
したがって、x3=5kx - 3 = 5k および y4=7ky - 4 = 7k (ただし kk は整数) と書けます。
これより、x=5k+3x = 5k + 3 および y=7k+4y = 7k + 4
これが一般解です。
次に、 0x200 \leq x \leq 20 および 0y200 \leq y \leq 20 を満たす kk の範囲を求めます。
05k+3200 \leq 5k + 3 \leq 20
35k17-3 \leq 5k \leq 17
3/5k17/5-3/5 \leq k \leq 17/5
0.6k3.4-0.6 \leq k \leq 3.4
kk は整数なので、k=0,1,2,3k = 0, 1, 2, 3
07k+4200 \leq 7k + 4 \leq 20
47k16-4 \leq 7k \leq 16
4/7k16/7-4/7 \leq k \leq 16/7
0.57k2.28-0.57 \leq k \leq 2.28
kk は整数なので、k=0,1,2k = 0, 1, 2
両方の条件を満たす kkk=0,1,2k = 0, 1, 2
k=0k = 0 のとき、 x=5(0)+3=3x = 5(0) + 3 = 3y=7(0)+4=4y = 7(0) + 4 = 4
k=1k = 1 のとき、 x=5(1)+3=8x = 5(1) + 3 = 8y=7(1)+4=11y = 7(1) + 4 = 11
k=2k = 2 のとき、 x=5(2)+3=13x = 5(2) + 3 = 13y=7(2)+4=18y = 7(2) + 4 = 18

3. 最終的な答え

(x,y)=(3,4),(8,11),(13,18)(x, y) = (3, 4), (8, 11), (13, 18)

「代数学」の関連問題