MathLabs

Problem 3

Determine all integers n>1n>1 such that (2n+1)/n2(2^n+1)/n^2 is an integer.
Step 3 of 4: The power of 3 in n is exactly one
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
Detailed analysis

Let 3m∥n3^m\Vert n. Expand (3−1)n+1(3-1)^n+1. Since nn is odd, the constant terms cancel and the first term is 3n3n, whose 3-adic valuation is m+1m+1. For a term (nb)3b\binom nb3^b with b≥3b\ge3, if b≥m+2b\ge m+2 it is immediately divisible by 3m+23^{m+2}. If 3∤b3\nmid b, the product formula for (nb)\binom nb shows v3((nb))≥mv_3(\binom nb)\ge m, so the term has valuation at least m+3m+3. If 3∣b3\mid b, the same product formula gives v3((nb))≥m−v3(b)v_3(\binom nb)\ge m-v_3(b), and b−v3(b)≥2b-v_3(b)\ge2, so the term has valuation at least m+2m+2. Thus v3(2n+1)=m+1v_3(2^n+1)=m+1. Since n2∣2n+1n^2\mid2^n+1, we have 2m≤m+12m\le m+1, hence m=1m=1.