| 見づらいので書き方を変えさせてもらいます。
f(a,b,c,d,x,y,z,w) = ccwwxy+ccwxxy+ccwxyy+bbwwxz+bbwxxz+bbwxzz+aawwyz+aawyyz+aawyzz+ddxxyz+ddxyyz+ddxyzz -2abwxyz-2acwxyz-2bcwxyz-2adwxyz-2bdwxyz-2cdwxyz
= xy(ccww-2cdwz+ddzz)+wy(ccxx-2acxz+aazz)+wx(ccyy-2bcyz+bbzz) +xz(bbww-2bdwy+ddyy)+wz(bbxx-2abxy+aayy)+yz(aaww-2adwx+ddxx)
= xy(cw-dz)^2+wy(cx-az)^2+wx(cy-bz)^2+xz(bw-dy)^2+wz(bx-ay)^2+yz(aw-dx)^2
よってf(a,b,c,d,x,y,z,w) ≧ 0なので、最小値は0となります。
|