Ja, das gilt für alle x, y und z
Wenn man die Aufgangsgleichung quadriert, erhält man
`x^2 + y^2 + z^2 + 2xy + 2xz + 2yz = 1`
`2xy + 2xz + 2yz = 1 - x^2 - y^2 - z^2`
Die Quadrate sind mindestens Null, aber es können wegen der Aufgangsgleichung
nicht alle Quadrate Null sein, also ist die rechte Seite kleiner als 1.
`2xy + 2xz + 2yz < 1 `
Nach Division durch 2 folgt die Behauptung.
