大阪公立大学/2025年度/前期
3大阪公立大学 2025年 数学 第3問解答・解説
1問題
大阪公立大学2025年度第3問
自然数 の正の約数の個数を とする。 の正の約数を、小さい順に と表す。したがって
である。いま、 かつ
が満たされているとする。次の問いに答えよ。
問1 かつ を満たす整数 の組をすべて求めよ。
問2 であることを示せ。
問3 であることを示せ。
問4 を求めよ。
である。いま、 かつ
が満たされているとする。次の問いに答えよ。
問1 かつ を満たす整数 の組をすべて求めよ。
問2 であることを示せ。
問3 であることを示せ。
問4 を求めよ。
まずは自分で解いてみましょう。解けたら、または詰まったら「解答」で確かめられます。
タイマー
15:00
2解答
解答を見る途中式つきの解答
解答
大阪公立大学 2025年度 数学 第3問
は の最小の正の約数のうち1より大きいものなので、素数である。実際、もし合成数なら、その素因数も の1より大きく より小さい約数となり、最小性に反する。
(1)
、、 とおくと、条件は正整数について
となる。積が2のべきなので ( は0以上の整数)と書け、、 である。
- のとき、 を調べると、 の場合だけ を満たす。これらは 。 では 、 では なので条件を満たさない。
- のとき 、。 では となり、 では 。いずれも不可。
- のとき 、 なので 。不可。
従って は
の2組である。
(2)
背理法で とする。与えられた条件は
であり、 だから問1より
前者なら は で割り切れることから は で割り切れる。ところが なので、6は第5番目の約数より前に現れ、矛盾する。後者なら は で割り切れることから は で割り切れるが、 となり、やはり矛盾する。従って
(3)
問2より素数 は奇数であり、 も奇数である。よって全ての約数 は奇数。そこで
とおくと、 は正整数で、 と から 。与えられた積の条件を8で割ると
は素数なので、 はそれぞれ の0以上の整数乗である。指数を小さい順に並べると、3個の相異なる非負整数の和が3となるので、指数は 。従って 、特に
は で割り切れるから は で割り切れる。もし なら、3は を満たす の約数となり、 の最小性に反する。奇素数 は3以上なので
(4)
問3で得た に を代入すると
従って
は の最小の正の約数のうち1より大きいものなので、素数である。実際、もし合成数なら、その素因数も の1より大きく より小さい約数となり、最小性に反する。
(1)
、、 とおくと、条件は正整数について
となる。積が2のべきなので ( は0以上の整数)と書け、、 である。
- のとき、 を調べると、 の場合だけ を満たす。これらは 。 では 、 では なので条件を満たさない。
- のとき 、。 では となり、 では 。いずれも不可。
- のとき 、 なので 。不可。
従って は
の2組である。
(2)
背理法で とする。与えられた条件は
であり、 だから問1より
前者なら は で割り切れることから は で割り切れる。ところが なので、6は第5番目の約数より前に現れ、矛盾する。後者なら は で割り切れることから は で割り切れるが、 となり、やはり矛盾する。従って
(3)
問2より素数 は奇数であり、 も奇数である。よって全ての約数 は奇数。そこで
とおくと、 は正整数で、 と から 。与えられた積の条件を8で割ると
は素数なので、 はそれぞれ の0以上の整数乗である。指数を小さい順に並べると、3個の相異なる非負整数の和が3となるので、指数は 。従って 、特に
は で割り切れるから は で割り切れる。もし なら、3は を満たす の約数となり、 の最小性に反する。奇素数 は3以上なので
(4)
問3で得た に を代入すると
従って
読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。
この問題で使う考え方
- 約数・倍数
- 対偶・背理法による証明
答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。
大阪公立大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

