If sin^-1(2a/(1+a^2)) + sin^-1(2b/(a+b^2)) = 2tan^-1x, prove that x = (a+b)/(1-ab)