MathLabs

第3問

{x}\{x\} を xx の小数部分とするとき、{n202}+{2n202}+⋯+{kn202}=k2,\left\{\frac{n}{202}\right\}+\left\{\frac{2n}{202}\right\}+\cdots+\left\{\frac{kn}{202}\right\}=\frac{k}{2}, を満たす正整数 nn が存在するような正整数 k<202k<202 をすべて求めよ。({x}\{x\} とは、x−rx-r が整数となる実数 rr(0≤r<10\le r<1)のことである。)
ステップ 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 倍すると上に示した整数の等式を得る。