Since xyz=0, we can do the following transformation of the given expression:
x2+2yz1+y2+2zx1+z2+2xy1=x2+2yz−xy−yz−zx1+y2+2zx−xy−yz−zx1+z2+2xy−xy−yz−zx1=x2+yz−xy−zx1+y2+zx−xy−yz1+z2+xy−yz−zx1=(x−y)(x−z)1+(y−x)(y−z)1+(z−x)(z−y)1=−(x−y)(z−x)1−(x−y)(y−z)1−(z−x)(y−z)1=−(x−y)(z−x)(y−z)(y−z)+(z−x)+(x−y)=0.
Thus, there are no zeros among the three terms on the left-hand side, and it turned out that the sum of two is equal to the third modulo, that is, they can not be the sides of a non-degenerate triangle. The resulting contradiction completes the proof.