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 à
.