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)のことである。)
ステップ 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 とする。