Solution (source code)

= Solution

For a geodesic triangle on the unit sphere with angles $\alpha,\beta,\gamma$, the <Gauss-Bonnet theorem> gives
$$
\boxed{\operatorname{area}=\alpha+\beta+\gamma-\pi.}
$$