Given x = √(a^2 + b^2) + √(a^2 - b^2)/√(a^2 + b^2) - √(a^2 - b^2), use componendo and dividendo to prove that b^2 = (2a^2x)/(x^2 + 1).