7で割ると2余り、9で割ると6余るような4桁の自然数のうち、最小のものを求める。

数論合同式中国剰余定理剰余整数
2025/6/17

1. 問題の内容

7で割ると2余り、9で割ると6余るような4桁の自然数のうち、最小のものを求める。

2. 解き方の手順

求める数を xx とすると、問題文より以下の式が成り立つ。
x2(mod7)x \equiv 2 \pmod{7}
x6(mod9)x \equiv 6 \pmod{9}
まず、1つ目の式から x=7k+2x = 7k + 2kk は整数)と表せる。これを2つ目の式に代入すると、
7k+26(mod9)7k + 2 \equiv 6 \pmod{9}
7k4(mod9)7k \equiv 4 \pmod{9}
ここで、7k4(mod9)7k \equiv 4 \pmod{9} を満たす kk を見つける。
7k4(mod9)7k \equiv 4 \pmod{9} の両辺に4を掛けると、
28k16(mod9)28k \equiv 16 \pmod{9}
k7(mod9)k \equiv 7 \pmod{9}
よって、k=9m+7k = 9m + 7mm は整数)と表せる。
これを x=7k+2x = 7k + 2 に代入すると、
x=7(9m+7)+2=63m+49+2=63m+51x = 7(9m + 7) + 2 = 63m + 49 + 2 = 63m + 51
x=63m+51x = 63m + 51
求める xx は4桁の自然数なので、1000x99991000 \leq x \leq 9999 である。
100063m+5199991000 \leq 63m + 51 \leq 9999
94963m9948949 \leq 63m \leq 9948
15.06m157.9015.06 \leq m \leq 157.90
mm は整数なので、16m15716 \leq m \leq 157
最小の xx を求めるためには、mm を最小にする必要がある。よって、m=16m = 16 を代入すると、
x=63(16)+51=1008+51=1059x = 63(16) + 51 = 1008 + 51 = 1059

3. 最終的な答え

1059

「数論」の関連問題

$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

方程式 $75x + 8y = 3$ の整数解を全て求める問題です。

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

$\frac{1}{17}$ を小数で表したとき、小数点以下の数字が何個ごとに循環するかを求める問題です。

循環小数合同式整数の性質
2025/6/17

問題は以下の4つの部分から構成されています。 (1) 有限体 $F_p$ 上の0でない平方数の集合を$S$とするとき、$|S| = (p-1)/2$ であることを示します。ここで、$p$は$n-1$を...

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

5で割ると2余り、7で割ると4余る自然数のうち、100に最も近いものを求める。

合同式剰余中国剰余定理整数問題
2025/6/17

方程式 $19x - 11y = 1$ を満たす整数の組 $(x, y)$ のうち、$x$ の値が最も 100 に近いものを求める問題です。

不定方程式ユークリッドの互除法整数解線形合同
2025/6/17

方程式 $19x - 11y = 1$ を満たす整数の組 $(x, y)$ のうち、$x$ の値が最も100に近いのは、$y = 123$ のときである。このとき、$x$の値を求める問題です。

一次不定方程式互除法整数解
2025/6/17

自然数 $n$ に対して、命題「$n$ は 6 の倍数 $\Longrightarrow$ $n$ は 3 の倍数」の逆を述べ、その真偽を判定する問題です。

倍数命題真偽
2025/6/17

方程式 $19x - 11y = 1$ を満たす整数の組 $(x, y)$ のうち、$x$ の値が最も100に近いのは、$y = 1, 2, 3$ のどのときか。

不定方程式一次不定方程式整数解
2025/6/17