Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Because and are isometric,
The two induced orientations on their common boundary are opposite. If
is computed with the boundary orientation from , then its value for is . Applying the Gauss-Bonnet theorem to the two halves gives
The equalities above imply . This is the isometric halves give zero total boundary geodesic curvature argument.
Every ambient isometry preserves the magnitude of geodesic curvature and sends to . Hence is constant along the connected curve by the transitive curve symmetry makes geodesic-curvature magnitude constant. If that constant were positive, continuity would force the signed to have one fixed sign, making its integral nonzero. Therefore . A curve has zero geodesic curvature exactly when it is a geodesic, so is geodesic.
Solved by gpt-5.6-sol high.

Ancestors (11)

  1. B
  2. 25G
  3. Paper 4
  4. Ii
  5. 2023
  6. Past exam of the mathematics course of the University of Cambridge
  7. Mathematics course of the University of Cambridge
  8. Course of the University of Cambridge
  9. University of Cambridge
  10. List of universities
  11. Home