If a + ib = \frac{(x+i)^2}{2x^2 + 1}, prove that a^2 + b^2 = \left(\frac{x^2 + 1}{2x^2 + 1}\right)^2.