浜松医科大学/2025年度/前期
4浜松医科大学 2025年 数学 第4問解答・解説
1問題
浜松医科大学2025年度第4問
自然数 に対して、 より大きく より小さい素数の個数を とする。以下の問いに答えよ。
(1) を求めよ。
(2) を求めよ。
(3) すべての自然数 に対して、不等式
を証明せよ。
(4) となる自然数 が存在することを証明せよ。
(1) を求めよ。
(2) を求めよ。
(3) すべての自然数 に対して、不等式
を証明せよ。
(4) となる自然数 が存在することを証明せよ。
まずは自分で解いてみましょう。解けたら「答え」、詰まったら「解答」で確かめられます。
タイマー
15:00
2答え
答えを見る自分の答えと照らし合わせる
- (1)。
- (2)。
- (3)。
- (4)となる自然数 が存在する。
3解答
解答を見る途中式つきの解答
解答
(1) を満たす素数 は であり、その個数は 個である。したがって 。
(2) とおくと、 で数える整数は である。各 に対して であり、、かつ だから、これらはすべて合成数である。よって 。
(3) 整数 に対し、 が素数なら 、素数でなければ とおく。定義から 、 である。したがって 。右辺は または の差なので のいずれかであり、 が成り立つ。
(4) かつ を満たす自然数 の集合を とする。(2)より は の要素だから は空でない有限集合であり、最小の要素 をもつ。(1)より なので 。 の最小性から 、したがって整数である は 以上である。(3)を に適用すると だから 。一方、 は の要素なので である。ゆえに となり、そのような自然数が存在する。
(2) とおくと、 で数える整数は である。各 に対して であり、、かつ だから、これらはすべて合成数である。よって 。
(3) 整数 に対し、 が素数なら 、素数でなければ とおく。定義から 、 である。したがって 。右辺は または の差なので のいずれかであり、 が成り立つ。
(4) かつ を満たす自然数 の集合を とする。(2)より は の要素だから は空でない有限集合であり、最小の要素 をもつ。(1)より なので 。 の最小性から 、したがって整数である は 以上である。(3)を に適用すると だから 。一方、 は の要素なので である。ゆえに となり、そのような自然数が存在する。
読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。
この問題で使う考え方
- 階乗の整除性
- 指示関数による差分
- 有限集合の最小元
答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。
浜松医科大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

