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