(x+z)y-(y²+xz)
=xy+yz-y²-xz
=(xy-y²)+(yz-xz)
=y(x-y)-z(x-y)
=(x-y)(y-z)
∵x≥y≥z
∴x-y>=0 y-z>=0
∴(x-y)(y-z)>=0
即(x+z)y≥y²+xz