17/09/11 16:28:39.37 Ls/z+whG.net
>>42
> 〔問題216〕
> 実数a～dについて
> （aa+ac+cc) (bb+bd+dd）≧（3/4) (ab+bc+cd)^2,
> （aa+ac+cc) (bb+bd+dd）≧（3/4) (ad-bc)^2,
上側
4(a^2 + ac + c^2)(b^2 + bd + d^2) - 3(ab + bc + cd)^2
＝ (ab - bc + cd + 2da)^2
≧ 0
下側は、Wolfram 先生に以下の２通りを処理させても、ずっと 『COMPUTING』 のまま結果を出さない。
factor 4(a^2 + ac + c^2)(b^2 + bd + d^2) - 3(ad - bc)^2
expand 4(a^2 + ac + c^2)(b^2 + bd + d^2) - 3(ad - bc)^2
つまり因数分解できないんだろうけど、長い式は展開してくれないのかな？
平方和になるのかな？