x^2+y^2>=2xy (неравенство Коши - между среднем арифмитическим и средним геометрическим или из (x-y)^2>=, x^2-2xy+y^2>=0, x^2+y^2>=2xy )
y^2+z^2>=2xz
x^2+z^2>=2xz
сложив
2(x^2+y^2+z^2)>=2*(xy+yx+zx)
сократив на 2
x^2+y^2+x^2>=xy+yx+zx (*)
по формуле квадарата тричлена, и исполльзуя неравенство (*)
(x+y+z)^2=x^2+y^2+z^2+2(xy+zy+zx)>=xy+xz+xz+2(xy+zx+xz)=3(xy+yz+zx)
подставляя данное условие
1^2>=3(xy+yz+zx) или
1>=3(xy+zx+zy)
или xy+yz+zx≤1/3. что и требовалось доказать