本文へ進む
メニュー
医学部数学 過去問DB問題を探す

大阪大学/2024年度/前期

大阪大学 2024年 数学 第5問解答・解説

このページには広告が含まれます。

1問題

大阪大学2024年度第5問

自然数 1,2,3,…,n1,2,3,\ldots,n のうち,nn と互いに素であるものの個数を f(n)f(n) とする。

(1) 自然数 a,b,ca,b,c および相異なる素数 p,q,rp,q,r に対して,等式 f(paqbrc)=pa−1qb−1rc−1(p−1)(q−1)(r−1)f(p^a q^b r^c)=p^{a-1}q^{b-1}r^{c-1}(p-1)(q-1)(r-1) が成り立つことを示せ。

(2) f(n)f(n) が nn の約数となる5以上100以下の自然数 nn をすべて求めよ。

(配点率 20%20\%)

まずは自分で解いてみましょう。詰まったら「考え方」、解けたら「答え」で確かめられます。

2答え

答えを見る自分の答えと照らし合わせる
  • n=6,8,12,16,18,24,32,36,48,54,64,72,96n=6, 8, 12, 16, 18, 24, 32, 36, 48, 54, 64, 72, 96。

3解答

解答を見る途中式つきの解答

(1) n=paqbrcn=p^a q^b r^c とする。1からnまでのうちpの倍数は n/pn/p 個、qの倍数は n/qn/q 個、rの倍数は n/rn/r 個である。例えばpとqの両方の倍数は n/(pq)n/(pq) 個。包除原理で f(n)=n−np−nq−nr+npq+npr+nqr−npqr=n(1−1p)(1−1q)(1−1r)=pa−1qb−1rc−1(p−1)(q−1)(r−1).\displaystyle \begin{aligned} f(n)&=n-\frac np-\frac nq-\frac nr+\frac n{pq}+\frac n{pr}+\frac n{qr}-\frac n{pqr}\\ &=n\left(1-\frac1p\right)\left(1-\frac1q\right)\left(1-\frac1r\right)\\ &=p^{a-1}q^{b-1}r^{c-1}(p-1)(q-1)(r-1). \end{aligned} これで示された。

(2) 一般に n=∏i=1kpiei\displaystyle n=\prod\limits _{i=1}^{k}p_i^{e_i} とし、pip_i を相異なる素因数とする。同じ包除計算から f(n)=n∏i=1k(1−1pi),nf(n)=∏i=1kpipi−1.\displaystyle f(n)=n\prod\limits _{i=1}^{k}\left(1-\frac1{p_i}\right), \qquad \frac{n}{f(n)}=\prod\limits _{i=1}^{k}\frac{p_i}{p_i-1}. 従って f(n)∣nf(n)\mid n であることは、この比が整数であることと同値である。

まず nn が奇数ならすべての pip_i は奇数である。比を分数 ∏ipi∏i(pi−1)\displaystyle \frac{\prod\limits _i p_i}{\prod\limits _i(p_i-1)} で見ると、分子は奇数、分母は偶数だから整数にならない。よって該当する nn は偶数。

偶数 nn の奇素因数の個数を kk とする。奇素因数の積を PP、その pi−1p_i-1 の積を DD とすれば nf(n)=2PD.\displaystyle \frac{n}{f(n)}=\frac{2P}{D}. k≧2k\ge2 なら DD は二つ以上の偶数の積なので4の倍数だが、2P2P は4の倍数ではない。よって比は整数にならない。

奇素因数が一つだけなら、それを pp として整数条件は p−1∣2pp-1\mid2p。pp と p−1p-1 は互いに素だから p−1∣2p-1\mid2。奇素数 p≧3p\ge3 より p=3p=3 に限る。このとき比は3である。奇素因数がない場合は n=2an=2^a で、比は2。従って候補は n=2aまたはn=2a3b(a,b≧1).n=2^a\quad\text{または}\quad n=2^a3^b\qquad(a,b\ge1).

範囲 5≦n≦1005\le n\le100 で列挙する。2の冪は 8,16,32,648,16,32,64。2a3b2^a3^b は、b=1b=1 なら 6,12,24,48,966,12,24,48,96、b=2b=2 なら 18,36,7218,36,72、b=3b=3 なら 5454。b≧4b\ge4 では最小の 2⋅34=1622\cdot3^4=162 が上限を超える。これらの形では比がそれぞれ2または3なので、すべて実際に条件を満たす。従って答えは 6,8,12,16,18,24,32,36,48,54,64,72,96.\boxed{6,8,12,16,18,24,32,36,48,54,64,72,96}.

この問題で使う考え方

  • 包除原理
  • 素因数分解
  • 整除性による場合分け
  • 偶奇の判定

PR

数学を1対1で教わるオンライン塾「数強塾」

数強塾は、中学生・高校生のための数学専門のオンライン個別指導塾です。プロ講師がマンツーマンで教え、大学受験の数学にも対応しています。入塾の前に、今の学習状況と目標を確かめる診断授業(体験・3,000円、税込)を受けられます。

「数強塾」オンライン数学克服塾〈プロ講師〉

東大生と1対1で学べるオンライン個別指導「トウコベ」

トウコベは、東大生を中心に難関大学の学生が講師を務める、完全マンツーマンのオンライン個別指導です。はじめに、オンラインの説明会・勉強相談(無料)をWebで予約でき、その後にお試し授業を受けられます。

トウコベ公式サイト

似た問題を、ほかの大学で

答えや解説の誤りに気づいたら、お問い合わせから教えてください。