sqrt(a^2 - x^2)の積分