For a spherical triangle with sides theta_a, theta_b, theta_c, the solid angle is 4*atan(sqrt(tan(theta/2)*tan((theta-theta_a)/2)*tan((theta-theta_b)/2)*tan((theta-theta_c)/2))), where theta = (theta_a+theta_b+theta_c)/2.