∫ 0 a a 2 − x 2 dx x=asin⁡t 　 ( − π 2 ≤t≤ π 2 ) とおいたとき 与式 = a 2 ∫ 0 π 2 1+cos2t 2 dt ⇒ x=acos⁡t 　 ( 0≤t≤π ) とおいたとき 与式 = a 2 ∫ 0 π 2 1−cos2t 2 dt ⇒