∫ 1/√{(b-a)^2 - t^2} dt ってどうなりますか？