x/(1+isqrt(2))=ix+1