Plankurverotationssætningen er en differentialgeometrisk version af polygonvinkelsumsætningen ; et særligt tilfælde af Gauss-Bonnet-formlen . Et af beviserne skyldes Heinz Hopf , efter hvem denne sætning nogle gange er opkaldt. [1] [2]
Den fulde drejning (det vil sige integralet af orienteret krumning ) af en simpel flad lukket glat regulær kurve er . Desuden er det ens, hvis det afgrænsede område ligger til venstre for kurven og ellers.
Integralet af den orienterede krumning af en flad lukket glat regulær kurve er altid et multiplum af . Ifølge sætningen skal enhver sådan kurve med et orienteret krumningsintegral, der er forskelligt fra , have selvskæringspunkter.