Das habe ich gezeigt per Fallunterscheidung:
Im ersten Fall z = 0 folgt, dass 0 = x+y folgt, dass x = -y also [a,-a,0]
Im zweiten Fall gilt: z != 0 lässt sich abschätzen mit o.B.d.A. x*y*z <= 3z, also x*y < 3, und daher x,y aus {1,2} v x = 0
Daraus ergeben sich 4 Fälle:
2.1 x = 0, dann folgt 0 = y + z, also [0,a,-a]
2.2 x = y = 1, dann gilt 1 + 1 + z = z -> Widerspruch, da 2z != z
2.3 (x,y) = {1,2}, dann gilt 1 + 2 + z = 1 * 2 *z => 3 = z und daher [1,2,3]
2.4 (x,y) = {1,3}, dann gilt 1 + 3 = 3z und daher 4 + z = 3*z => z = 2 und dann [1,3,2]
Da Z kommutativ ist, sind alle Permutationen von {1,2,3} damit Lösungen, nach Fall 1 außerdem {-a,a,0} und damit auch insbesondere {0,0,0}