2∫[x=0,α]sin(x)dx=-2(cos(α)-1)
∫[x=0,π/2]sin(x)dx=1
だから
cos(α)=1/2
1/√(a^2+1)=1/2
両辺2乗して逆数をとると
a^2+1=4
a＞0だからa=√3になりました