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。)
第 2/5 步:去分母
nk(k+1)−404z=202k,z=∑i=1k⌊in202⌋nk(k+1)-404z=202k,\qquad z=\sum_{i=1}^{k}\left\lfloor\frac{in}{202}\right\rfloor
详细分析

写 {in/202}=in/202−⌊in/202⌋\{in/202\}=in/202-\lfloor in/202\rfloor,对 i=1,…,ki=1,\ldots,k 求和,等式变为 n202⋅k(k+1)2−z=k2\frac{n}{202}\cdot\frac{k(k+1)}{2}-z=\frac{k}{2},其中 zz 为上述取整之和。两边乘以 404404 即得上式所示整数恒等式。