>>937
 xx+xy+yy = (3/4)(x+y)^2 + (1/4)(x-y)^2 ≧ (3/4)|x+y|^2,
より
 (左辺) ≧ (√3)/2・(|a+b|+|b+c|+|c+a|)
 ≧ (√3)/2・|2a+2b+2c|
 = (√3)|a+b+c|,

ab+bc+ca ≧ 0 ならば 1394. が成立。 >>933 (2)