Abs[(a + b I) - 1] = Abs[(a + b I)^2 - 2 (a + b I) + 3], Abs[a + b I] = 2^(1/2)