- 593 名前：１３２人目の素数さん mailto:sage [2016/06/29(水) 06:56:55.95 ID:hgoh04AG.net]
- >>562
試しに x_1/a_1 = … = x_n/a_n = c とおいて、拡張Radonの不等式に代入したら、
(左辺) = c^{p+q} Σ(a_k)^q
(右辺) = (c^{p+q}/n^{q-1})*(Σa_k)^q
∴(左辺) - (右辺) = n*c^{p+q}*{(1/n)Σ(a_k)^q - ((1/n)Σa_k)^q}
となって、p乗平均 と 算術平均のp乗 の差なので、これだけでは等号は成立しないよね。
