>>851
結局
2∫√(1-x^2)dx = ∫√(1-x^2)dx + ∫√(1-x^2)dx
にして右側だけ、x = √(1-t^2)で変換したらいいだけだったわ