El teorema de rotación de la curva plana es una versión geométrica diferencial del teorema de la suma de los ángulos del polígono ; un caso especial de la fórmula de Gauss-Bonnet . Una de las demostraciones se debe a Heinz Hopf , por quien a veces se nombra este teorema. [1] [2]
La vuelta completa (es decir, la integral de la curvatura orientada ) de una curva regular lisa plana cerrada simple es . Además, es igual si el área acotada se encuentra a la izquierda de la curva y en caso contrario.
La integral de la curvatura orientada de una curva regular lisa cerrada plana es siempre un múltiplo de . Por el teorema, cualquier curva de este tipo con una integral de curvatura orientada diferente de debe tener autointersecciones.