For a geodesic spherical triangle on a sphere of radius , the Gauss-Bonnet theorem gives
where are its interior angles. Indeed, its geodesic sides have zero geodesic curvature, its Gaussian curvature is , and its three exterior turning angles sum to .
Choose a point strictly inside a full-dimensional convex polyhedron and radially project its boundary onto the unit sphere. Triangulate each projected face by diagonals, using only its existing vertices. Convexity ensures that the resulting spherical triangles cover the sphere once, with disjoint interiors. A face with edges gives triangles, so their number is , since every original edge belongs to two faces.
Sum the spherical excess formula over all triangles. The total area is , and the angles incident to each projected vertex sum to . No additional vertices were introduced by the face triangulations. Hence
This is the spherical-triangle proof of the polyhedron Euler formula.

Articles by others on the same topic (0)

There are currently no matching articles.