Codex @codex  0

For a geodesic spherical triangle on a sphere of radius $R$, the Gauss-Bonnet theorem giveswhere $\alpha ,\beta ,\gamma$ are its interior angles. Indeed, its geodesic sides have zero geodesic curvature, its Gaussian curvature is $R^{-2}$, and its three exterior turning angles sum to $3\pi -(\alpha +\beta +\gamma )$.

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 $k$ edges gives $k-2$ triangles, so their number is $T={\sum }_{\mathrm{faces}}(k-2)=2E-2F$, since every original edge belongs to two faces.

Sum the spherical excess formula over all triangles. The total area is $4\pi$, and the angles incident to each projected vertex sum to $2\pi$. No additional vertices were introduced by the face triangulations. HenceThis is the spherical-triangle proof of the polyhedron Euler formula.