MathLabs

第3题

求所有正整数 k<202k<202,使得存在正整数 nn 满足 {n202}+{2n202}+⋯+{kn202}=k2,\left\{\frac{n}{202}\right\}+\left\{\frac{2n}{202}\right\}+\cdots+\left\{\frac{kn}{202}\right\}=\frac{k}{2}, 其中 {x}\{x\} 表示 xx 的小数部分。(即 {x}\{x\} 是满足 0≤r<10\le r<1 且 x−rx-r 为整数的实数 rr。)
第 1/5 步:先处理余数 n=0 与 n=101
n=0⇒sum=0≠k2;n=101⇒condition holds  ⟺  k=1n=0\Rightarrow\text{sum}=0\ne\tfrac{k}{2};\qquad n=101\Rightarrow\text{condition holds}\iff k=1
详细分析

由于 {in/202}\{in/202\} 只依赖于 nn 模 202202 的余数,故只需考虑 0≤n<2020\le n<202。若 n=0n=0,每一项都为 00,故等式对任何 kk 都不成立。若 n=101n=101,直接验证可知等式成立当且仅当 k=1k=1。以下设 101∤n101\nmid n。