あ分かりました
∫[x=0,π/2]sin(x)dx=2{∫[x=0,α]sin(x)dx+∫[x=α,π/2]acos(x)dx}ですね
ありがとうございました!