不等式への招待　第７章

>>558
試しに 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乗 の差なので、これだけでは等号は成立しないよね。