We have (x+y+z)(x3+y3+z3) =
x4 +
xy(x2+y2)
xy(x2+y2) =
xy(2-z2) (Since
x2 = 2.) =2
xy-xyz
x Hence
x4 = (x+y+z)(x3+y3+z3) - 2
xy+xyz
x (
x)2 =
x2 + 2
xy giving
xy = -1/2
Now we have to find xyz
From the above x, y and z are solutions to the cubic
t3 - t2- t/2 + c=0 where c = -xyz
Hence x3 - x2- x/2 + c = 0 .........1
y3 - y2- y/2 + c = 0 ...........2
z3 - z2- z/2 + c = 0 ...........3
Adding the three eqns
we get
x3 -
x2 -
x/2 + 3c = 0 giving c = -1/6 or xyz = 1/6
x4 = (x+y+z)(x3+y3+z3) - 2
xy+xyz
x = 1*3 - 2*(-1/2)+1/6 = 25/6
Corrected as pointed out by Konichiwa