>>67
(d/dt) (at-t^2) = a-2tだから
2t( - √(at - t^2))= -a (√(at - t^2) + (a-2t)(√(at - t^2))
として後ろはそのまま積分。
前の項は
at - t^2 = (a/2)^2 -(t-(a/2))^2
から
t-(a/2) = (a/2)cos(s)
と置けば三角関数だけの積分。