>>17 >>19
ラグランジュの恒等式？

　n･C - (√x1 + √x2 + ･･･････ + √xn)^2
　　= (1+1+････+1)(x1+x2+･････+xn) - (√x1 + √x2 + ･･･････ + √xn)^2
　　= Σ[i<j] (√xi - √xj)^2 ≧ 0,

∴　|√x1 + √x2 + ･･･････ + √xn | ≦ √(n*C),

　等号成立は x1 = x2 = ･････ = C/n のとき。