Proposition 2Surfaces
Plan, sphère, cylindre, graphes et selle
(i) Plan. Pour un morceau de plan, est constante, , et .
(ii) Sphère. Pour toute surface paramétrée régulière à valeurs dans la sphère de centre et de rayon , avec localement constant, et : tous les points sont ombilics, et .
(iii) Cylindre. Pour , pointe vers l'extérieur, les courbures principales sont , dans la direction des génératrices, et , dans celle des cercles ; et .
(iv) Graphes. Pour , en notant , Si et , alors en , , , , et la matrice de dans la base canonique est la hessienne de .
(v) Selles. Pour , l'origine a pour courbures principales et , de directions et : et . Pour , de même et , les directions principales étant les bissectrices .
Démonstration
(i) Si prend ses valeurs dans un plan affine de vecteur normal unitaire , alors et sont orthogonaux à , et ; continue, est localement constant, donc aussi, et .
(ii) Comme , la dérivation donne : est orthogonal à , comme , donc . La fonction , continue et à valeurs dans , est localement constante. Alors , , et .
(iii) , et , de norme . Alors et : et .
(iv) Par le nœud Surfaces paramétrées, (iv), , de norme , et (Première forme, (i)). Comme , et , on a , , , et le nœud Courbures, (ii), donne . Si , alors , , , et la matrice de est (Application de Gauss, (ii)).
(v) Pour , la hessienne en est . Pour , c'est , de valeurs propres et , de vecteurs propres et . On applique (iv).
□La selle est la selle tournée d'un huitième de tour autour de l'axe vertical : si et , alors . Les courbures, invariantes par déplacement, sont les mêmes ; seules les directions principales tournent.
Réciproquement, une surface paramétrée sur un ouvert connexe dont tous les points sont ombilics, avec , est contenue dans une sphère. Si , alors et ; l'égalité des dérivées croisées donne , donc , et est constante. Alors est de différentielle nulle, donc égal à un point , et . Le résultat n'est pas utilisé ici.