MathLabs

第3問

n>1n>1 が整数となるすべての整数 (2n+1)/n2(2^n+1)/n^2 を求めよ。
ステップ 3/4: n に含まれる 3 の冪はちょうど一つ
v3(2n+1)=m+1if 3m∥n,m=1v_3(2^n+1)=m+1\quad\text{if }3^m\Vert n,\qquad m=1
詳しい解説

3m∥n3^m\Vert n と置き、(3−1)n+1(3-1)^n+1 を展開する。nn は奇数なので定数項は相殺され、最初の項は 3n3n、その3進付値は m+1m+1 である。b≥3b\ge3 に対する項 (nb)3b\binom nb3^b について、b≥m+2b\ge m+2 なら直ちに 3m+23^{m+2} で割り切れる。3∤b3\nmid b なら係数 (nb)\binom nb の積の公式から v3((nb))≥mv_3(\binom nb)\ge m で項の付値は少なくとも m+3m+3。3∣b3\mid b なら v3((nb))≥m−v3(b)v_3(\binom nb)\ge m-v_3(b) かつ b−v3(b)≥2b-v_3(b)\ge2 なので少なくとも m+2m+2 である。従って v3(2n+1)=m+1v_3(2^n+1)=m+1。n2∣2n+1n^2\mid2^n+1 より 2m≤m+12m\le m+1、ゆえに m=1m=1。