与えられた2つの不定方程式について、整数解 $x, y$ の組をすべて求める問題です。 (1) $13x - 7y = 1$ (2) $126x + 275y = 1$

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

1. 問題の内容

与えられた2つの不定方程式について、整数解 x,yx, y の組をすべて求める問題です。
(1) 13x7y=113x - 7y = 1
(2) 126x+275y=1126x + 275y = 1

2. 解き方の手順

(1) 13x7y=113x - 7y = 1 の場合:
まず、特殊解を求める。
13=7×1+613 = 7 \times 1 + 6
7=6×1+17 = 6 \times 1 + 1
したがって、
1=76×1=7(137×1)×1=713+7=7×213×11 = 7 - 6 \times 1 = 7 - (13 - 7 \times 1) \times 1 = 7 - 13 + 7 = 7 \times 2 - 13 \times 1
よって、13×(1)7×(2)=113 \times (-1) - 7 \times (-2) = 1 であるから、x=1,y=2x = -1, y = -2 が特殊解の一つである。
次に、一般解を求める。
13x7y=113x - 7y = 1
13(1)7(2)=113(-1) - 7(-2) = 1
辺々引くと
13(x+1)7(y+2)=013(x+1) - 7(y+2) = 0
13(x+1)=7(y+2)13(x+1) = 7(y+2)
13と7は互いに素なので、x+1=7kx+1 = 7k, y+2=13ky+2 = 13k (kkは整数)と表せる。
x=7k1x = 7k - 1
y=13k2y = 13k - 2
(2) 126x+275y=1126x + 275y = 1 の場合:
まず、特殊解を求める。
275=126×2+23275 = 126 \times 2 + 23
126=23×5+11126 = 23 \times 5 + 11
23=11×2+123 = 11 \times 2 + 1
したがって、
1=2311×2=23(12623×5)×2=23126×2+23×10=23×11126×2=(275126×2)×11126×2=275×11126×22126×2=275×11126×241 = 23 - 11 \times 2 = 23 - (126 - 23 \times 5) \times 2 = 23 - 126 \times 2 + 23 \times 10 = 23 \times 11 - 126 \times 2 = (275 - 126 \times 2) \times 11 - 126 \times 2 = 275 \times 11 - 126 \times 22 - 126 \times 2 = 275 \times 11 - 126 \times 24
よって、126×(24)+275×11=1126 \times (-24) + 275 \times 11 = 1 であるから、x=24,y=11x = -24, y = 11 が特殊解の一つである。
次に、一般解を求める。
126x+275y=1126x + 275y = 1
126(24)+275(11)=1126(-24) + 275(11) = 1
辺々引くと
126(x+24)+275(y11)=0126(x+24) + 275(y-11) = 0
126(x+24)=275(y11)126(x+24) = -275(y-11)
126と275は互いに素なので、x+24=275kx+24 = 275k, y11=126ky-11 = -126k (kkは整数)と表せる。
x=275k24x = 275k - 24
y=126k+11y = -126k + 11

3. 最終的な答え

(1) x=7k1x = 7k - 1, y=13k2y = 13k - 2 (kk は整数)
(2) x=275k24x = 275k - 24, y=126k+11y = -126k + 11 (kk は整数)

「数論」の関連問題

自然数 $n$ が6と互いに素であるとき、$n^2 - 1$ が6で割り切れることを示す問題です。

整数の性質合同式互いに素倍数
2025/6/18

$\frac{\sqrt{3n}}{5}$ が自然数となるような最小の自然数 $n$ を求めよ。

平方根整数の性質最小値自然数
2025/6/18

$F_p$を有限体、$S$を$F_p$の部分集合とする。$x, y \in F_p$に対して、$x - i \in S$かつ$y - i \in S$を満たすような$i$の個数を考える。これは$|(x...

有限体平方剰余合同算術
2025/6/18

問題は以下の通りです。 $p = n - 1$ は4で割ると3余る素数とし、$F_p^* = F_p \setminus \{0\}$ とします。以下のことを示してください。 (1) $F_p$ 上の...

素数有限体平方数BIBデザイン直交配列
2025/6/18

$5^{44}$ の桁数と最高位の数字を求めよ。ただし、$\log_{10} 2 = 0.3010$, $\log_{10} 3 = 0.4771$ とする。

対数桁数常用対数最高位の数字
2025/6/18

$p = n - 1$ を4で割ると3余る素数とし、$F_p^* = F_p \setminus \{0\}$ とする。 (1) $F_p$ 上の零でない平方数の集合を$S$とおく。$|S| = (p...

有限体素数平方数BIBデザイン直交配列
2025/6/18

正の整数 $n$ に対して、$\sqrt{n} + \sqrt{n+1}$ が無理数であることを証明する。

無理数背理法平方根整数の性質
2025/6/18

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

無理数背理法数式証明平方根
2025/6/17

$p = n-1$ を4で割ると3余る素数とし、$F_p^* = F_p \setminus \{0\}$ とする。 (1) $F_p$ 上の零でない平方数の集合を $S$ とおく。$|S| = (p...

有限体素数平方数BIBデザイン直交配列
2025/6/17

$p$ を $n-1$ を4で割ると3余る素数とし、$F_p^\times = F_p \setminus \{0\}$ とする。以下のことを示す。 (1) $F_p$ 上の零でない平方数の集合を $...

有限体平方数BIBデザイン直交配列
2025/6/17