MathLabs

第1問

黒板に書かれた正の実数に次の操作を行う。黒板上の数 rr を選んで消し、2r2=ab2r^2=ab を満たす正の実数 aa と bb の組を書き込む。最初に黒板には正の実数 rr だけがあり、この操作を k2−1k^2-1 回行って、必ずしも相異ならない k2k^2 個の正の実数を得る。このとき黒板上に krkr 以下の数が存在することを示せ。
ステップ 3/4: 最後の最小値を用いる
s=min⁡{x1,…,xk2},1s2≤1xi2s=\min\{x_1,\ldots,x_{k^2}\},\quad \frac1{s^2}\le\frac1{x_i^2}
詳しい解説

最後に得られた k2k^2 個を x1,…,xk2x_1,\ldots,x_{k^2} とし、最小値を ss とする。各逆数平方は 1/s21/s^2 以下なので、その和は k2/s2k^2/s^2 以下である。