>>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)