先证右边。
易知任意实数x，y，z都有x²+y²+z²≥xy+yz+zx。
(x+y+z)²=x²+y²+z²+2(xy+yz+zx)≥3(xy+yz+zx)
∴xy+yz+zx≤(x+y+z)²/3=4/3。
再证左边。
xy+yz+zx
=xy+(x+y)(2-x-y)
=-x²+2x-xy+2y-y²
=-(1-x)²+y(1-x)+y-y²+1
=(1-x)(x+y-1)+y(1-y)+1
由已知z=2-x-y∈(0,1)，得x+y-1>0，1-x>0，1-y>0，y>0，于是xy+yz+zx>1。
命题得证。
内容全部来源于网络收集，如有侵权，请联系网站删除!