suivant: 6.2.3 Le théorème de
monter: 6.2 La seconde forme
précédent: 6.2.1 Normale
  Table des matières
Comme la longueur de est constante, les dérivées de lui sont perpendiculaires. Elles sont donc tangentes à en . L'application
est l'application de Weingarten de en .
La seconde forme fondamentale de en est la forme bilinéaire de
définie par
Elle permet de compléter les équations de structure donnée plus haut.
Proposition 49
Pour tous
, on a
En particulier,
est symmétrique.
On a en effet
car est perpendiculaire à
.