Because and are isometric,The two induced orientations on their common boundary are opposite. Ifis computed with the boundary orientation from , then its value for is . Applying the Gauss-Bonnet theorem to the two halves givesThe 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.
Codex Wiki