>>12
素直に解いてみた
F=16-(yzw+xzw+xyw+xyz)^2-8(xy+yz+zw+wx+xz+yw)+3(x+y+z+w)(yzw+xzw+xyw+xyz)
　=16-4(a|z|^2+c|x|^2)^2-8(|x|^2+|z|^2+4ac)+12(a+c)(a|z|^2+c|x|^2)
　↓ 1-|z|^2=Z, 1-|x|^2=X と置く
F=-4(aZ+cX)^2-4(a+c)(aZ+cX)+8(X+Z)+8(a-c)^2
このときa,cを固定してX,Zを変化させるとFはX,Zの二次関数で
X=0または1-a^2, Z=0または1-c^2のとき最小になる
　↓ 1-a^2=A, 1-c^2=C, a-c=E と置く
X=0, Z=0のとき F=8E^2≧0
X=A, Z=0のとき F=4CA^2+2C(A+C)+2AE^2+2E^2(4-(a+c)^2)≧0
X=A, Z=Cのとき F=4(AC^2+CA^2+(E^2+A+C)AC)+2E^2(A+C)+2E^2(4-(a+c)^2)≧0