集合 $S = \{35m + 21n \mid m, n \text{は整数}\}$ が与えられている。以下の問いに答えよ。 (1) $S$ の要素は $7$ の倍数であることを示せ。 (2) $7$ は $S$ の要素であることを示せ。 (3) $k$ を整数とするとき、$7k$ は $S$ の要素であることを示せ。 (4) $x$ 座標、$y$ 座標ともに整数である点 $(m, n)$ と直線 $y = -\frac{5}{3}x + \frac{55}{7}$ との距離の最小値を求めよ。

数論整数の性質ユークリッドの互除法最大公約数一次不定方程式
2025/6/17

1. 問題の内容

集合 S={35m+21nm,nは整数}S = \{35m + 21n \mid m, n \text{は整数}\} が与えられている。以下の問いに答えよ。
(1) SS の要素は 77 の倍数であることを示せ。
(2) 77SS の要素であることを示せ。
(3) kk を整数とするとき、7k7kSS の要素であることを示せ。
(4) xx 座標、yy 座標ともに整数である点 (m,n)(m, n) と直線 y=53x+557y = -\frac{5}{3}x + \frac{55}{7} との距離の最小値を求めよ。

2. 解き方の手順

(1) SS の要素は 35m+21n35m + 21n で表される。ここで、35m=7(5m)35m = 7(5m) かつ 21n=7(3n)21n = 7(3n) であるから、35m+21n=7(5m+3n)35m + 21n = 7(5m + 3n) となる。m,nm, n は整数なので、5m+3n5m + 3n も整数である。したがって、35m+21n35m + 21n77 の倍数である。
(2) 77SS の要素として表したい。つまり、35m+21n=735m + 21n = 7 となる整数 m,nm, n を見つければよい。
35m+21n=735m + 21n = 777 で割ると、5m+3n=15m + 3n = 1 となる。
例えば、m=2,n=3m = 2, n = -3 とすれば、5(2)+3(3)=109=15(2) + 3(-3) = 10 - 9 = 1 となる。
したがって、77SS の要素である。
(3) 7k7kSS の要素として表したい。つまり、35m+21n=7k35m + 21n = 7k となる整数 m,nm, n を見つければよい。
5m+3n=k5m + 3n = k となる m,nm, n を見つければよい。
(2)で5m+3n=15m + 3n = 1 を満たす m,nm, n が存在することを示したので、5(km)+3(kn)=k5(km) + 3(kn) = k となる。
m=2k,n=3km=2k, n=-3kとすると、5(2k)+3(3k)=10k9k=k5(2k) + 3(-3k) = 10k -9k = k となるので、35(2k)+21(3k)=70k63k=7k35(2k) + 21(-3k) = 70k - 63k = 7k
したがって、7k7kSS の要素である。
(4) 点 (m,n)(m, n) と直線 y=53x+557y = -\frac{5}{3}x + \frac{55}{7} すなわち 5x+3y1657=05x + 3y - \frac{165}{7} = 0 との距離 dd は、
d=5m+3n165752+32=5m+3n165734=35m+21n165734 d = \frac{|5m + 3n - \frac{165}{7}|}{\sqrt{5^2 + 3^2}} = \frac{|5m + 3n - \frac{165}{7}|}{\sqrt{34}} = \frac{|35m + 21n - 165|}{7\sqrt{34}}
ここで、m,nm, n は整数なので、35m+21n35m + 21n77 の倍数である。つまり、35m+21n=7k35m + 21n = 7k となる整数 kk が存在する。
d=7k165734 d = \frac{|7k - 165|}{7\sqrt{34}}
dd を最小化するには 7k165|7k - 165| を最小化すれば良い。
165=723+4165 = 7 \cdot 23 + 4 なので、k=23k = 23 のとき 7k165=7(23)165=161165=4|7k - 165| = |7(23) - 165| = |161 - 165| = 4 となり、最小となる。
このときの距離は d=4734=434734=234717=234119d = \frac{4}{7\sqrt{34}} = \frac{4\sqrt{34}}{7 \cdot 34} = \frac{2\sqrt{34}}{7 \cdot 17} = \frac{2\sqrt{34}}{119} となる。
k=23k = 23 のとき、5m+3n=235m + 3n = 23 となる整数 m,nm, n を求める。
5(1)+3(6)=5+18=235(1) + 3(6) = 5 + 18 = 23 なので、m=1,n=6m = 1, n = 6 とすればよい。

3. 最終的な答え

(1) SS の要素は 77 の倍数である (証明済み)。
(2) 77SS の要素である (証明済み)。
(3) kk を整数とするとき、7k7kSS の要素である (証明済み)。
(4) 距離の最小値は 4734=234119\frac{4}{7\sqrt{34}} = \frac{2\sqrt{34}}{119} である。

「数論」の関連問題

$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

方程式 $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

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

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