MathLabs

第3题

求所有正整数 nn,使得对任意整数 kk,都存在整数 aa,令 a3+a−ka^3+a-k 被 nn 整除。
第 1/4 步:三的幂可行
(a3+a)−(b3+b)=(a−b)(a2+ab+b2+1)(a^3+a)-(b^3+b)=(a-b)(a^2+ab+b^2+1)
详细分析

当模数为三的正幂时,若两个值相同,则有公式中的分解;直接模三检查可知第二因子不被三整除。因此 a 与 b 同余,有限剩余系上的映射为单射,从而为置换。模数一也成立。