Normale à une surface

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En géométrie, la droite normale à une surface en un point est la droite orthogonale au plan tangent en ce point. Les vecteurs directeurs de cette droite sont appelés vecteurs normaux à la surface.

Une convention fréquente pour les surfaces fermées est de particulariser un vecteur normal unitaire, vecteur de norme 1 et orienté vers l'extérieur.

Plus généralement, il est possible de considérer les vecteurs normaux à une hypersurface dans un espace euclidien, voire dans une variété riemannienne.



Exemple : le plan en dimension 3[modifier | modifier le code]

Dans un espace euclidien de dimension trois, on peut l'obtenir simplement par le produit vectoriel de deux vecteurs directeurs du plan. Soit un plan défini par le point A(a1, a2, a3) et les vecteurs \vec u = \begin{bmatrix}u_1\\ u_2\\ u_3\end{bmatrix} et \vec v = \begin{bmatrix}v_1\\ v_2\\ v_3\end{bmatrix}. Son système d'équations paramétriques est :

\begin{cases} x = a_1 + \lambda u_1 + \mu v_1 \\ y = a_2 + \lambda u_2 + \mu v_2 \\ z = a_3 + \lambda u_3 + \mu v_3\end{cases}

Soit \vec w = \vec u \wedge \vec v le vecteur résultat du produit vectoriel. C'est un vecteur normal au plan ; le vecteur normal unitaire est :

\vec n = \frac{\vec w}{\|\vec w\|} ou \vec n = -\frac{\vec w}{\|\vec w\|}

Si le plan est défini par son équation cartésienne :

\mathrm{A}x + \mathrm{B}y + \mathrm{C}z + \mathrm{D} = 0

Un vecteur normal est :

\vec n = \begin{bmatrix} \mathrm{A} \\ \mathrm{B} \\ \mathrm{C} \end{bmatrix}

et son vecteur normal unitaire est :

\vec n = \frac{1}{\sqrt{\mathrm{A}^2 + \mathrm{B}^2 + \mathrm{C}^2}} \cdot \begin{bmatrix} \mathrm{A} \\ \mathrm{B} \\ \mathrm{C} \end{bmatrix}

Vecteur normal en un point régulier[modifier | modifier le code]

Soit une surface définie par un paramétrage

\mathrm{M}(u, v) = \bigl(x(u,v), y(u,v), z(u,v)\bigr)

avec des fonctions x, y, z de classe C1. Le point de paramètre (u, v) est dit régulier lorsque les vecteurs dérivés partiels en ce point sont indépendants. On peut alors former leur produit vectoriel

\mathrm{N}(u, v) = \frac{\partial \mathrm{M}}{\partial u}(u, v) \wedge \frac{\partial \mathrm{M}}{\partial v}(u, v)

qui constitue un vecteur normal à la surface (non nécessairement unitaire).

Lien avec le gradient[modifier | modifier le code]

Si la surface est donnée par une équation cartésienne ƒ(x, y, z ) = 0, avec une fonction ƒ de classe C1, un point de la surface est dit régulier si le gradient de ƒ est non nul en ce point. C'est alors le vecteur gradient lui-même qui constitue un vecteur normal.

La démonstration formelle de ce résultat fait intervenir le théorème des fonctions implicites. Il est toutefois possible d'en donner une approche simplifiée à l'aide de la notion de « variations infinitésimales ».

En effet, si on se place en un point M(x, y, z ) de la surface, sur son voisinage, la fonction ƒ garde toujours la même valeur : 0. Par conséquent, sa variation infinitésimale lors d'un déplacement sur la surface défini par le vecteur \vec{\mathrm{d}l} = (\mathrm{d}x, \mathrm{d}y, \mathrm{d}z) est nulle : dƒ = 0.

Or, par définition du gradient, on a \mathrm{d}f = \overrightarrow{\mathrm{grad}}(f) \cdot \vec{\mathrm{d}l}. Puisque ce produit scalaire est nul, le gradient en M est bien perpendiculaire à la surface en ce point.

Champ de normales[modifier | modifier le code]

Un champ de vecteurs de normales à la surface

Un champ de normales (normales en plusieurs points) à une forme permet de retrouver sa surface tridimensionnelle, en passant par une étape d'intégration de ce champ.


Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]