Geodesic triangle (source code)

= Geodesic triangle

A geodesic triangle is bounded by three geodesic segments. On a surface its angle excess is the integral of the <Gaussian curvature> over the triangle.

It is the three-sided instance of a <geodesic polygon>.