>>822 >>829
　コーシーとチェビシェフの合わせ技（?）

〔補題〕
　(a,b,c) と (p,q,r) が同順序のとき
　√(aa+bb+cc) √(pp+qq+rr) ≧ (ap+bq+cr) ≧ (a+b+c)(p+q+r)/3 ≧ (aq+ar+bp+bq+cp+cq)/2,

　(a,b,c) と (p,q,r) が逆順序のとき
　√(aa+bb+cc) √(pp+qq+rr) ≧ (aq+qr+bp+br+cp+cq)/2 ≧ (a+b+c)(p+q+r)/3 ≧ (ap+bq+cr),