>>400 >>402
できまつ。

　1-c^2 + (b+ac)
　　= 1 - (xy+yz+zx) + {(xy)(yz)+(yz)(zx)+(zx)(xy)} - (xy)(yz)(zx)
　　= (1-xy)(1-yz)(1-zx)
　　> 0,

　1-c^2 - (b+ac)
　　= 1 + (xy+yz+zx) - {(x+y+z) + xyz}xyz
　　= (1/2)(1+x)(1+y)(1+z)(1-xyz) + (1/2)(1-x)(1-y)(1-z)(1+xyz)
　　> 0,

注)
　1 + (xy+yz+zx) = (1/2)(1+x)(1+y)(1+z) + (1/2)(1-x)(1-y)(1-z),
　(x+y+z) + xyz = (1/2)(1+x)(1+y)(1+z) - (1/2)(1-x)(1-y)(1-z),