If sin^-1{2a/(1+a^2)} – cos^-1{(1-b^2)/(1+b^2)} = tan^-1{2x/(1-x^2)}, then prove that x = (a-b)/(1+ab)