結果 : square root of a^2-x^2 integral formula