$n$ は自然数とする。1 から $n$ までの自然数で、$n$ と互いに素であるものの個数を $f(n)$ とするとき、$f(85)$ を求め、また $f(pq) = 120$ となる 2 つの素数 $p$, $q$ ($p < q$) の組の個数とそのうち最も大きい $q$ を求めよ。
2025/5/29
1. 問題の内容
は自然数とする。1 から までの自然数で、 と互いに素であるものの個数を とするとき、 を求め、また となる 2 つの素数 , () の組の個数とそのうち最も大きい を求めよ。
2. 解き方の手順
(1) を求める。
であるから、 は 1 から 85 までの自然数で、5 と 17 のどちらでも割り切れないものの個数である。
1 から 85 までの自然数の中で、5 で割り切れるものは 個、17 で割り切れるものは 個ある。また、5 と 17 の両方で割り切れるもの (すなわち 85 で割り切れるもの) は 1 個である。したがって、5 または 17 で割り切れるものの個数は 個である。
よって、5 と 17 のどちらでも割り切れないものの個数は 個である。
したがって、 である。
(2) となる素数 , () の組を求める。
は から までの自然数の中で、 と のどちらでも割り切れないものの個数である。 から までの自然数の中で、 で割り切れるものは 個、 で割り切れるものは 個、 と の両方で割り切れるものは 1 個である。したがって、 または で割り切れるものの個数は 個である。
よって、 と のどちらでも割り切れないものの個数は 個であるから、
となる。
なので、 である。
であり、 と は自然数であるから、 を 2 つの自然数の積に分解する。
と は素数であるから、 と に 1 を足したものが素数になる必要がある。
のとき , より (素数ではない)
のとき , より (素数)
のとき (素数ではない)
のとき , より (素数)
のとき (素数ではない)
のとき , より (素数ではない)
のとき (素数ではない)
のとき , より (素数)
したがって、 となる素数 , () の組は , , の 3 組である。
これらのうち、最も大きい は 61 である。
3. 最終的な答え
となる 2 つの素数 , () の組は全部で 3 組あり、そのうち最も大きい は 61 である。