与えられた問題は以下の4つです。 (1) ユークリッドの互除法を用いて、$m = 663$ と $n = 2371$ の最大公約数 $\gcd(m, n)$ を求める。 (2) (1) で求めた $\gcd(m, n)$ に対して、$ms + nt = \gcd(m, n)$ を満たす整数 $s, t$ を求める。ただし、$m = 663$、$n = 2371$ とする。 (3) $\mathbb{Z}/n\mathbb{Z}$ において、$23 \div m$ の値を求める。ただし、$m = 663$、$n = 2371$ とする。 (4) 連立合同方程式 $\begin{cases} x \equiv 29 \pmod{m} \\ x \equiv 44 \pmod{n} \end{cases}$ を満たす整数 $x$ を求める。ただし、$m = 663$、$n = 2371$ とする。

数論ユークリッドの互除法拡張ユークリッドの互除法合同式連立合同方程式最大公約数
2025/7/23

1. 問題の内容

与えられた問題は以下の4つです。
(1) ユークリッドの互除法を用いて、m=663m = 663n=2371n = 2371 の最大公約数 gcd(m,n)\gcd(m, n) を求める。
(2) (1) で求めた gcd(m,n)\gcd(m, n) に対して、ms+nt=gcd(m,n)ms + nt = \gcd(m, n) を満たす整数 s,ts, t を求める。ただし、m=663m = 663n=2371n = 2371 とする。
(3) Z/nZ\mathbb{Z}/n\mathbb{Z} において、23÷m23 \div m の値を求める。ただし、m=663m = 663n=2371n = 2371 とする。
(4) 連立合同方程式
$\begin{cases}
x \equiv 29 \pmod{m} \\
x \equiv 44 \pmod{n}
\end{cases}$
を満たす整数 xx を求める。ただし、m=663m = 663n=2371n = 2371 とする。

2. 解き方の手順

(1) ユークリッドの互除法を用いて、gcd(663,2371)\gcd(663, 2371) を計算します。
2371=6633+3822371 = 663 \cdot 3 + 382
663=3821+281663 = 382 \cdot 1 + 281
382=2811+101382 = 281 \cdot 1 + 101
281=1012+79281 = 101 \cdot 2 + 79
101=791+22101 = 79 \cdot 1 + 22
79=223+1379 = 22 \cdot 3 + 13
22=131+922 = 13 \cdot 1 + 9
13=91+413 = 9 \cdot 1 + 4
9=42+19 = 4 \cdot 2 + 1
4=14+04 = 1 \cdot 4 + 0
したがって、gcd(663,2371)=1\gcd(663, 2371) = 1 です。
(2) 拡張ユークリッドの互除法を用いて、663s+2371t=1663s + 2371t = 1 を満たす整数 s,ts, t を求めます。
以下のように計算します。
1=9421 = 9 - 4 \cdot 2
1=9(1391)2=931321 = 9 - (13 - 9 \cdot 1) \cdot 2 = 9 \cdot 3 - 13 \cdot 2
1=(22131)3132=2231351 = (22 - 13 \cdot 1) \cdot 3 - 13 \cdot 2 = 22 \cdot 3 - 13 \cdot 5
1=223(79223)5=22187951 = 22 \cdot 3 - (79 - 22 \cdot 3) \cdot 5 = 22 \cdot 18 - 79 \cdot 5
1=(101791)18795=1011879231 = (101 - 79 \cdot 1) \cdot 18 - 79 \cdot 5 = 101 \cdot 18 - 79 \cdot 23
1=10118(2811012)23=10164281231 = 101 \cdot 18 - (281 - 101 \cdot 2) \cdot 23 = 101 \cdot 64 - 281 \cdot 23
1=(3822811)6428123=38264281871 = (382 - 281 \cdot 1) \cdot 64 - 281 \cdot 23 = 382 \cdot 64 - 281 \cdot 87
1=38264(6633821)87=382151663871 = 382 \cdot 64 - (663 - 382 \cdot 1) \cdot 87 = 382 \cdot 151 - 663 \cdot 87
1=(23716633)15166387=2371151663453663871 = (2371 - 663 \cdot 3) \cdot 151 - 663 \cdot 87 = 2371 \cdot 151 - 663 \cdot 453 - 663 \cdot 87
1=23711516635401 = 2371 \cdot 151 - 663 \cdot 540
したがって、s=540s = -540t=151t = 151 が得られます。
(3) Z/2371Z\mathbb{Z}/2371\mathbb{Z} において、23÷66323 \div 663 の値を求める。これは、236631(mod2371)23 \cdot 663^{-1} \pmod{2371} を求めることと同義です。
(2) より、663(540)+2371151=1663 \cdot (-540) + 2371 \cdot 151 = 1 なので、663(540)1(mod2371)663 \cdot (-540) \equiv 1 \pmod{2371}
したがって、6631540(mod2371)663^{-1} \equiv -540 \pmod{2371} です。 540+2371=1831-540 + 2371 = 1831 なので、66311831(mod2371)663^{-1} \equiv 1831 \pmod{2371} です。
よって、23÷663231831(mod2371)23 \div 663 \equiv 23 \cdot 1831 \pmod{2371}
231831=42113=237117+183623 \cdot 1831 = 42113 = 2371 \cdot 17 + 1836.
よって、23÷6631836(mod2371)23 \div 663 \equiv 1836 \pmod{2371}.
(4) 連立合同方程式を解きます。
x29(mod663)x \equiv 29 \pmod{663} より、x=663k+29x = 663k + 29kk は整数)。
これを x44(mod2371)x \equiv 44 \pmod{2371} に代入すると、663k+2944(mod2371)663k + 29 \equiv 44 \pmod{2371}
663k15(mod2371)663k \equiv 15 \pmod{2371}
663k15(mod2371)663k \equiv 15 \pmod{2371} の両辺に 66311831(mod2371)663^{-1} \equiv 1831 \pmod{2371} を掛けると、
k151831(mod2371)k \equiv 15 \cdot 1831 \pmod{2371}
151831=27465=237111+138415 \cdot 1831 = 27465 = 2371 \cdot 11 + 1384
よって、k1384(mod2371)k \equiv 1384 \pmod{2371}
k=2371l+1384k = 2371l + 1384 (ll は整数) とおけるので、x=663(2371l+1384)+29=1577853l+917712+29=1577853l+917741x = 663(2371l + 1384) + 29 = 1577853l + 917712 + 29 = 1577853l + 917741.
したがって、x917741(mod1577853)x \equiv 917741 \pmod{1577853}.

3. 最終的な答え

(1) gcd(663,2371)=1\gcd(663, 2371) = 1
(2) s=540s = -540, t=151t = 151
(3) 23÷6631836(mod2371)23 \div 663 \equiv 1836 \pmod{2371}
(4) x917741(mod1577853)x \equiv 917741 \pmod{1577853}

「数論」の関連問題

$a, b$ は実数であるとき、命題「$a+b$ は無理数 $\implies$ $a, b$ の少なくとも一方は無理数」の真偽を判定する問題です。

命題真偽無理数有理数対偶
2025/7/23

自然数 $n$ に対して、以下の2つの条件の否定を求める問題です。 (1) $n$ は偶数である。 (2) $n$ は 5 より小さい。

命題否定自然数偶数奇数不等式
2025/7/23

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

無理数有理数背理法代数的数
2025/7/23

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

命題対偶整数の性質証明
2025/7/23

$m$, $n$ は自然数である。次の命題とその対偶の真偽を調べ、それらが一致することを確認する。 (1) $m$ は $4$ の倍数 $\Rightarrow$ $m$ は偶数 (2) $m+n$ ...

命題真偽対偶偶数奇数倍数
2025/7/23

自然数 $n$ に対し、以下の2つの条件の否定を求める問題です。 (1) $n$ は偶数である (2) $n$ は5より小さい

命題否定自然数偶数奇数不等式
2025/7/23

自然数 $n$ に対して、命題「$n$ が素数ならば、$n$ は奇数である」が偽であることを示す問題です。

素数命題反例偶数奇数
2025/7/23

正の奇数全体の集合を $A$ とするとき、次の数(5, 6, -3)が集合 $A$ に含まれるか、含まれないかを判定する問題です。$\in$ または $\notin$ のいずれかをそれぞれの $\sq...

集合奇数整数の性質
2025/7/23

自然数 $k$ に対して、$x < y < k < x + y$ を満たす自然数の組 $(x, y)$ の個数を $a_k$ とします。 (1) $a_7$, $a_8$ を求めよ。 (2) 自然数 ...

不等式数列数え上げΣ
2025/7/23

問題は以下の4つの部分から構成されています。 1. ユークリッドの互除法を用いて $m = 663$ と $n = 2371$ の最大公約数 $\gcd(m, n)$ を求める。

ユークリッドの互除法最大公約数合同式中国剰余定理拡張ユークリッド互除法
2025/7/23