Plankurvans rotationssats är en differentialgeometrisk version av polygonvinkelsummasatsen ; ett specialfall av Gauss-Bonnet-formeln . Ett av bevisen beror på Heinz Hopf , efter vilken denna teorem ibland är uppkallad. [1] [2]
Hela varvet (det vill säga integralen av orienterad krökning ) av en enkel platt stängd jämn regelbunden kurva är . Dessutom är det lika om det avgränsade området ligger till vänster om kurvan och annars.
Integralen av den orienterade krökningen av en platt stängd jämn regelbunden kurva är alltid en multipel av . Enligt satsen måste varje sådan kurva med en orienterad krökningsintegral som skiljer sig från ha självkorsningar.