If sin^-1(x/a) + sin^-1(y/b)= sin^-1(c^2/ab)