与えられた連立合同式 $x \equiv 30 \pmod{113}$ $x \equiv 20 \pmod{41}$ を満たす整数 $x$ を求め、その解を $x = a + bn$ の形で表す問題です。ここで $n$ は整数であり、$a$ と $b$ を求める必要があります。

数論合同式連立合同式中国剰余定理拡張ユークリッドの互除法
2025/7/21

1. 問題の内容

与えられた連立合同式
x30(mod113)x \equiv 30 \pmod{113}
x20(mod41)x \equiv 20 \pmod{41}
を満たす整数 xx を求め、その解を x=a+bnx = a + bn の形で表す問題です。ここで nn は整数であり、aabb を求める必要があります。

2. 解き方の手順

まず、拡張ユークリッドの互除法を用いて 1131134141 の最大公約数を見つけ、さらに 113u+41v=gcd(113,41)113u + 41v = \gcd(113, 41) を満たす整数 uuvv を求めます。
すると、1131134141 は互いに素なので、gcd(113,41)=1\gcd(113, 41) = 1 となり、113u+41v=1113u + 41v = 1 を満たす整数 uuvv が存在します。
拡張ユークリッド互除法を行うと、
113=241+31113 = 2 \cdot 41 + 31
41=131+1041 = 1 \cdot 31 + 10
31=310+131 = 3 \cdot 10 + 1
1=31310=313(4131)=431341=4(113241)341=4113841341=411311411 = 31 - 3 \cdot 10 = 31 - 3 \cdot (41 - 31) = 4 \cdot 31 - 3 \cdot 41 = 4 \cdot (113 - 2 \cdot 41) - 3 \cdot 41 = 4 \cdot 113 - 8 \cdot 41 - 3 \cdot 41 = 4 \cdot 113 - 11 \cdot 41
したがって、113(4)+41(11)=1113(4) + 41(-11) = 1 となり、u=4u=4v=11v=-11 です。
次に、x30(mod113)x \equiv 30 \pmod{113}x20(mod41)x \equiv 20 \pmod{41} を満たす xx を求めます。
x=30+113kx = 30 + 113k を満たす整数 kk が存在します。
この xxx20(mod41)x \equiv 20 \pmod{41} に代入すると、
30+113k20(mod41)30 + 113k \equiv 20 \pmod{41}
113k10(mod41)113k \equiv -10 \pmod{41}
(241+31)k10(mod41)(2 \cdot 41 + 31)k \equiv -10 \pmod{41}
31k10(mod41)31k \equiv -10 \pmod{41}
31k31(mod41)31k \equiv 31 \pmod{41}
31k31(mod41)31k \equiv 31 \pmod{41} であるから k1(mod41)k \equiv 1 \pmod{41}
したがって k=1+41lk = 1 + 41lll は整数)と表せます。
x=30+113(1+41l)=30+113+11341l=143+4633lx = 30 + 113(1 + 41l) = 30 + 113 + 113 \cdot 41l = 143 + 4633l
よって、x143(mod4633)x \equiv 143 \pmod{4633} となります。
したがって、 x=143+4633nx = 143 + 4633n と表せます。

3. 最終的な答え

143 + 4633n

「数論」の関連問題

与えられた選択肢の中から、正しい記述をすべて選択する問題です。選択肢は、無理数と有理数の和または積が、常に無理数または有理数になるかどうかを述べています。

無理数有理数数の性質証明
2025/7/21

与えられた選択肢の中から、正しいものを全て選ぶ問題です。選択肢は以下の通りです。 (1) 無理数と無理数の差は常に無理数である。 (2) 有理数と有理数の差は常に有理数である。 (3) 無理数と無理数...

有理数無理数数の性質代数
2025/7/21

この問題は、整数に関する記述の空欄を埋める問題です。 (1) 正の整数に0が含まれるかどうか。 (2) 2つの整数に対する演算の結果が常に整数になるものは何か。 (3) 2つの整数に対する演算の結果が...

整数演算四則演算整数の性質
2025/7/21

拡張ユークリッドの互除法を用いて、$113s + 41t = \gcd(113, 41)$ を満たす整数の組 $s, t$ を求める問題です。

ユークリッドの互除法拡張ユークリッドの互除法最大公約数整数
2025/7/21

$n$ は整数とする。命題「$n^2$ が3の倍数ならば、$n$ は3の倍数である」を証明する。

整数の性質倍数対偶証明
2025/7/21

$n$ は整数とする。命題「$n^2$ が偶数ならば、$n$ は偶数である」を証明する。

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

自然数 $a$ と $b$ が互いに素であるとき、$a+2b$ と $3a+5b$ も互いに素であることを背理法を用いて証明する。

互いに素最大公約数背理法証明
2025/7/21

自然数 $a, b$ が互いに素であるとき、$a+b$ と $ab$ も互いに素であることを示す必要がある。

互いに素合同式素数整数の性質証明
2025/7/21

この問題は、整数に関するいくつかの計算問題です。具体的には、素因数分解、最大公約数、互除法、剰余、n進数などの概念を扱っています。

整数素因数分解最大公約数最小公倍数互除法剰余n進法
2025/7/21

$\sqrt[3]{882m}$ が整数となるような最小の自然数 $m$ を求め、そのときの $\sqrt[3]{882m}$ の正の約数の個数を求める問題です。

立方根素因数分解約数整数の性質
2025/7/21