x1^3+8*x2+20 = x1^3-27+27+8*x2+20 = (x1-3)*(x1^2+3*x1+9)+27+8*x2+20
因为 x1^2+3*x1+1=0所以上式 = (x1-3)*8+8*x2+47 = 8*(x1+x2)+23 = -1 不等于 0