Evolton

一橋大学 2025年度 前期文系数学 第1問

正の整数 n に対し,n の正の約数の個数を d(n) とする。たとえば,6 の正の約数は 1,2,3,6 の4個なので,d(6)=4 である。また,f(n)=d(n)nとする。

(1) f(2025) を求めよ。

(2) 素数 p と正の整数 k の組で f(pk)f(pk+1) を満たすものを求めよ。

(3) f(n) の最大値と,そのときの n を求めよ。

難易度6/ 10計算量5/ 10目安20

整数数と式 素因数分解、約数・倍数、不等式評価

方針

約数個数公式を用いる。f(n) は素因数ごとの因子 (e+1)/pe/2 の積に分解できるので,各素数についてどの指数が有利かを比較する。(2)で得た増減条件を使うと,最大に寄与するのは 2231 だけだと分かる。

解答

(1)
2025=3452 であるから,d(2025)=(4+1)(2+1)=15 である。また 2025=45 なので,f(2025)=1545=13である。

(2)
d(pk)=k+1 より,条件はk+1pk/2k+2p(k+1)/2,すなわちpk+2k+1=1+1k+1である。k1 なので右辺は 3/2 以下であり,p2 に限られる。p=2 を代入して両辺を2乗すると2(k+1)2(k+2)2    k22.よって正の整数 k1 のみであり,求める組は(p,k)=(2,1)である。

(3)
n=p1e1pses と素因数分解すると,f(n)=e1+1p1e1/2e2+1p2e2/2es+1pses/2と,素数ごとの因子の積に分かれる。ここでは積の各因子を個別に最大化すればよい。

p=2 では,指数 0,1,2 に対する因子は順に1,2,32である。(2)より指数 2 から先では必ず減少するので,最大は指数 2 のときの 3/2 である。

p=3 では指数 1 の因子 2/31 より大きい。一方,(2)より指数 1 から先では減少するので,最大は指数 1 のときである。

p5 では,指数 1 の時点で 2/p<1 であり,(2)よりその後も減少する。したがって,これらの素数は含めない方がよい。

以上より,最大値を与えるのはn=223=12のみであり,最大値はf(12)=612=3である。

総評

【公式出題意図との対応】公式の出題意図は,素因数分解に関する乗法性と素数べきでの挙動に着目し,約数個数と整数の基本性質を理解しているかを確かめることにある。

難度6,計算量5。想定時間は20分程度。(3)は約数個数の公式を使うだけでなく,素数ごとの寄与を独立に比較する必要がある。採点点は n を含む関数であることの把握,(2)の不等式変形,最大値で 223 だけが残る理由の説明である。

【独立検算】独立検算では 1n200000 を約数個数の篩で全探索し,f(n)2=d(n)2/n の最大値が 3,達成する整数が n=12 のみであることも確認した。

冊子PDFで見る一橋大学の整数の問題で問題集を作る

出典: 一橋大学 2025年度 一般選抜(前期日程)数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。