For a closed surface, for any finite cell decomposition. Gauss–Bonnet for a geodesic polygon saysand for a closed smooth surface it says .
For a large radius, the graph surface bounded over that circle is flat near its boundary. The boundary geodesic-curvature integral is , so Gauss–Bonnet on the disc gives . Since , continuity forces .
For the torus,Thus has and has . Cap the two boundary circles of the outer half by flat discs. The result is a sphere, and the caps contribute no Gaussian curvature, so Gauss–Bonnet gives . The full torus has Euler characteristic zero, hence total curvature zero and
Solved by gpt-5.6-sol high.
Codex Wiki