前スレの>>978です。
前スレで書きましたように誤りがありました。失礼しました。
改めましてお尋ねします。
i=√(-1)
a,b,c,d∈R
x=a-bi, y=a+bi (共役)
z=c-di, w=c+di (共役)
|x|,|y|,|z|,|w|<1
のとき
16-(yzw+xzw+xyw+xyz)^2-8(xy+yz+zw+wx+xz+yw)+3(x+y+z+w)(yzw+xzw+xyw+xyz)>0
を示せ。
但し与式は
(1-xy)(1-yz)(1-zw)
+(1-xy)(1-yz)(1-wx)
+(1-xy)(1-yz)(1-xz)
+(1-xy)(1-zw)(1-wx)
+(1-xy)(1-zw)(1-xz)
+(1-xy)(1-zw)(1-yw)
+(1-xy)(1-wx)(1-yw)
+(1-xy)(1-xz)(1-yw)
+(1-yz)(1-zw)(1-wx)
+(1-yz)(1-zw)(1-yw)
+(1-yz)(1-wx)(1-xz)
+(1-yz)(1-wx)(1-yw)
+(1-yz)(1-xz)(1-yw)
+(1-zw)(1-wx)(1-xz)
+(1-zw)(1-xz)(1-yw)
+(1-wx)(1-xz)(1-yw)
と変形できる。