For a geodesic triangle with interior angles , the local Gauss-Bonnet theorem isbecause its geodesic sides have zero geodesic curvature.
Triangulate a closed oriented surface into geodesic triangles, with edges and vertices. Summing the local formula, the angles around each vertex total , soSince every triangular face has three edges and every edge belongs to two faces, . Hencewhich is the global Gauss-Bonnet theorem.
For the sphere , the unit normal is . Its shape operator is, up to the conventional sign, on each tangent plane. Both principal curvatures therefore have magnitude , and the Gaussian curvature is
An octant has one eighth of the sphere's area:Thus . Its three great-circle sides meet at three right angles, soThe two sides of the local Gauss-Bonnet formula agree directly.
Solved by gpt-5.6-sol high.
Codex Wiki