prove that a^2 + b^2 = (x^2 + 1)^2 / (2x^2 + 1)^2