17/09/11 16:38:45.88 Ls/z+whG.net
手計算で展開してから、Wolfram先生に因数分解してもらった。
4(a^2 + ac + c^2)(b^2 + bd + d^2) - 3(ad - bc)^2
= 4(a^2b^2 + b^2c^2 + c^2d^2 + d^2a^2 + a^2bd + ab^2c + acd^2 + bc^2d + abcd) - 3(a^2d^2 - 2abcd + b^2c^2)
= 4a^2b^2 + b^2c^2 + 4c^2d^2 + d^2a^2 + 4a^2bd + 4ab^2c + 4acd^2 + 4bc^2d + 10abcd
= (2ab+ad+bc+2