9で割ると4余り、13で割ると8余るような整数のうち、最小の正の整数を求める。

数論合同式中国剰余定理剰余
2025/7/22

1. 問題の内容

9で割ると4余り、13で割ると8余るような整数のうち、最小の正の整数を求める。

2. 解き方の手順

求める整数をxxとする。問題文より、以下の2つの式が成り立つ。
x4(mod9)x \equiv 4 \pmod{9}
x8(mod13)x \equiv 8 \pmod{13}
1つ目の式より、x=9k+4x = 9k + 4kkは整数)と表せる。これを2つ目の式に代入する。
9k+48(mod13)9k + 4 \equiv 8 \pmod{13}
9k4(mod13)9k \equiv 4 \pmod{13}
9k4(mod13)9k \equiv 4 \pmod{13} の解を求める。
9k4(mod13)9k \equiv 4 \pmod{13}33 を掛けると
27k12(mod13)27k \equiv 12 \pmod{13}
k12(mod13)k \equiv 12 \pmod{13}
k=13l+12k = 13l + 12llは整数)
これをx=9k+4x = 9k + 4 に代入する。
x=9(13l+12)+4x = 9(13l + 12) + 4
x=117l+108+4x = 117l + 108 + 4
x=117l+112x = 117l + 112
xxが最小の正の整数となるのは、l=0l=0のときである。
x=117(0)+112=112x = 117(0) + 112 = 112

3. 最終的な答え

112

「数論」の関連問題

$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)$ を求める。 (2) (1) で求めた $\...

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