MathLabs

第6問

正整数 nn ごとに、最大整数 S(n)S(n) を、すべての k≤S(n)k\le S(n) について n2n^2 を kk 個の正の平方の和に書けるように定める。(a) S(n)≤n2−14S(n)\le n^2-14 を n≥4n\ge4 で示せ。(b) 等号となる nn を求めよ。(c) そのような nn が無限に存在することを示せ。
ステップ 1/5: 一様な上界を示す
ざっくり言うと

一様な上界を示す

13=3a+8b+15c+⋯13=3a+8b+15c+\cdots
詳しい解説

N=n2N=n^2 と置く。N を N−13N-13 個の正の平方で表すと、同数の1との差は 1313。可能な余剰は 3,8,15,…3,8,15,\ldots なので 13=3a+8b+15c+⋯13=3a+8b+15c+\cdots。15>1315>13 より 13=3a+8b13=3a+8b だが解がない。従って N−13N-13 は不可能で S(n)≤N−14S(n)\le N-14。