10/02/06 01:07:53
>>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 のとき。
10/02/06 01:07:53
>>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 のとき。