MathLabs

第1問

nn を正の整数とする。実数 a1,a2,…,ana_1,a_2,\ldots,a_n の和が整数であるとき、ある添字 ii が存在して ∣ai−12∣≥f(n)\left|a_i-\frac12\right|\ge f(n) となるような非負実数 f(n)f(n) の最大値を求めよ。
ステップ 2/5: 全てのずれが小さいと仮定する
∣ai−12∣<12n (1≤i≤n)⟹∣∑i=1nai−n2∣<12\left|a_i-\frac12\right|<\frac1{2n}\ (1\le i\le n)\Longrightarrow\left|\sum_{i=1}^n a_i-\frac n2\right|<\frac12
詳しい解説

次に nn を奇数とし、背理法で全ての ∣ai−12∣<12n\left|a_i-\frac12\right|<\frac1{2n} と仮定する。これらを加えると ∣∑i=1nai−n2∣<12\left|\sum_{i=1}^n a_i-\frac n2\right|<\frac12 となる。