MathLabs

第3题

求所有满足 n>1n>1 为整数的整数 (2n+1)/n2(2^n+1)/n^2。
第 1/4 步:从奇偶性和最小质因子开始
n is odd,2n≡−1(modp)n\text{ is odd},\qquad 2^n\equiv-1\pmod p
详细分析

由于 2n+12^n+1 为奇数,n 为奇数。设 n 的最小质因子为 p;由 n2∣2n+1n^2\mid2^n+1 模 p 化得 2n≡−1(modp)2^n\equiv-1\pmod p。