>>622
x=1+i√2
x-1 = i√2
(x-1)^2 = x^2-2x+1 = -2
x^2-2x+3=0
を使って次数下げをすると楽。