Solution (source code)

= Solution

Normalization of the <probability density function> requires $1=\alpha\int_0^\pi\sin x\,dx=2\alpha$. Thus
$$
\boxed{\alpha=\frac12.}
$$