rationalize 1/(1 + i + √2)