MathLabs

第3题

求所有满足 n>1n>1 为整数的整数 (2n+1)/n2(2^n+1)/n^2。
第 4/4 步:排除第二个质因子
n=3t,q∣t,q>3⟹w∣n,w<q,w∈{1,3}n=3t,\quad q\mid t,\quad q>3\Longrightarrow w\mid n,\quad w<q,\quad w\in\{1,3\}
详细分析

若 n>3n>3,写成 n=3tn=3t,令 tt 的最小质因子为 qq,则 q>3q>3。按模 qq 重复指数论证,最小的 ww 满足 2w≡−1(modq)2^w\equiv-1\pmod q,且 ww 整除 nn、小于 qq。由于 3 在 nn 中只出现一次,ww 为1或3;于是 qq 整除 3 或 q∣(23+1)=9q\mid(2^3+1)=9,均与 q>3q>3 矛盾。最后 n=3n=3 满足 (23+1)/32=1(2^3+1)/3^2=1。