17/09/11 18:32:41.88 Ls/z+whG.net
>>962-963
ありがとうございます！ 今から考えてみます。
>>963
じゃあ xx+xy+yy ≧3xy だから、次式も成り立ちますね。
（aa+ac+cc) (bb+bd+dd）≧ 3(ad-bc)(ab+bc+cd)
17/09/11 18:32:41.88 Ls/z+whG.net
>>962-963
ありがとうございます！ 今から考えてみます。
>>963
じゃあ xx+xy+yy ≧3xy だから、次式も成り立ちますね。
（aa+ac+cc) (bb+bd+dd）≧ 3(ad-bc)(ab+bc+cd)