y=(π/2)-xとしてから部分積分