>>752
y=sin(x)とy=acos(x)の交点がx=αなので、∫[x=0,π/2]sin(x)dx=∫[x=0,α]sin(x)dx+∫[x=α,π/2]{sin(x)-acos(x)}dxですが、
二等分するとき∫[x=0,α]sin(x)dx=∫[x=α,π/2]{sin(x)-acos(x)}dxとなるので
∫[x=0,π/2]sin(x)dx=2∫[x=0,α]sin(x)dxになります