大学への数学24年5月号の宿題の一般化を考える

原題
$x,y$座標をそれぞれ$n$変数$a_i(i=1,2\dots n)(n\ge 2)$の総和と二つの積の総和の場合について考えます
間違ってるかもしれません,
方針は原題とほぼ同じようにして解きます
総和と二つの積の総和の$n$変数版を$x_n,y_n$とする

(解)

(★)が求める範囲であることを数学的帰納法により証明する
(Ⅰ)$n=2,3$のとき成立(省略します)
(Ⅱ)$2$以上$n$以下の全ての整数において(★)が成立すると仮定して$n+1$のとき考える
$x_{n+1}$を固定して$y_{n+1}$の動きうる範囲を考える
(最大値について)
$y_{n+1}=\frac{1}{2}(x_{n+1}^2-(\sum _{i=1}^{n+1}{a}_i^2))$
$\sum _{i=1}^{n+1}{a}_i^2$の最小値を考えればよい
$a_i=\frac{x_{n+1}}{n+1}+b_i$とおくと
ただし$\sum _{i=1}^{n+1}{b}_i=0$
$\sum _{i=1}^{n+1}{a}_i^2=\frac{x_{n+1}^2}{n+1}+\sum _{i=1}^{n+1}{b}_i^2$
となり$b_i=0(i=1,\dots n+1)$のとき最小値$\frac{x_{n+1}^2}{n+1}$となる
このとき$y_{n+1}$は最大値$\frac{n}{2(n+1)}{x}_{n+1}^2$を取る
(最小値について)
(甲)$0\le x_{n+1}\le 1$のとき
$(a_1,a_2,\dots ,a_n,a_{n+1})=(0,0,\dots ,0,x_{n+1})$すると$y_{n+1}=0$
$0\le y_{n+1}$より最小値$0$を取る
(乙)$1\le x_{n+1}\le n-1$のとき
$(x_{n+1},y_{n+1})=(x_n+a_{n+1},x_n{a}_{n+1}+y_n)$
$y_{n+1}=(x_{n+1}-a_{n+1})a_{n+1}+y_n$
この場合は一つ前の操作と同様に扱うことができて
((★)の仮定が得られるのならこうなるはずで,そこも提示すべきですが)
最小値は$k\le x_{n+1}\le k+1(k=1,2\dots n-2)$に対して $k{x}_{n+1}-\frac{k(k+1)}{2}$を取り
(丁)$n-1\le x_{n+1}\le n$のとき
$x_{n+1}-1\le x_n\le n-1$のときは一つ前の操作で最小値が$(n-1)x_{n+1}+\frac{n(n-1)}{2}$であることがわかる
$n-1\le x_n\le x_{n+1}$の場合も最小値も同じであることを示す
このとき$0\le a_{n+1}\le x_{n+1}-(n+1)$となり
このとき(★)の仮定より
$y_{n+1}\ge (x_{n+1}-a_{n+1})a_{n+1}+(n-1)(x_{n+1}-a_{n+1})-\frac{n(n-1)}{2}$
$(=-a_{n+1}^2+(x_{n+1}-n+1)a_{n+1}+(n-1)x_{n+1}-\frac{n(n-1)}{2})$
よって最小値は$a_{n+1}=0$または$x_{n+1}-(n+1)$のときとり,
どちらの場合も最小値$(n-1)x_{n+1}-\frac{n(n-1)}{2}$をとる
(丙)$n\le x_{n+1}\le n+1$のとき
このとき
$x_{n+1}-n\le a_{n+1}\le 1$を動きうり,
(丁)の場合と同様にして
$y_{n+1}\ge -a_{n+1}^2+(x_{n+1}-n+1)a_{n+1}+(n-1)x_{n+1}-\frac{n(n-1)}{2}$
よって最小値は$a_{n+1}=x_{n+1}-n$または$1$のときとり,
どちらの場合も最小値$n{x}_{n+1}-\frac{n(n+1)}{2}$をとる
求めた
$x_{n+1}$に対して$y_{n+1}$に
最大値を与える$(a_1,a_2,\dots ,a_{n+1})$を$(a_{M,1},a_{M,2}\dots ,a_{M,n+1})$
最小値を与える$(a_1,a_2,\dots ,a_{n+1})$を$(a_{m,1},a_{m,2},\dots ,a_{m,n+1})$
として$0\le s\le 1$に対して
$a_{s,i}=s{a}_{M,1}+(1-s)a_{m,1}(i=1,2,\dots ,n+1)$
と定めるこのとき
$\sum _{i=1}^{n+1}{a}_{s,i}=x_{n+1}$かつ$0\le a_{s,i}\le 1(i=1,2,\dots ,n+1)$
を満たし,$0\le s\le 1$の範囲で動かすと
$y_{n+1}$は先に求めた最大値以下最小値以上の全ての実数をとりうる
以上より$2$以上の全ての整数$n$について(★)が動きうる範囲である