Normale (géométrie)

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (novembre 2020).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

En mathématiques, et plus précisément en géométrie, la droite normale à une courbe ou à une surface en un point est une droite perpendiculaire à la tangente ou au plan tangent en ce point. Tout vecteur directeur de cette droite est appelé vecteur normal à la courbe ou à la surface en ce point.

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.

## Exemples

[modifier | modifier le code]

Repère de Frenet et plan osculateur d'une courbe gauche ; T est le vecteur tangent, N le vecteur normal et B le vecteur binormal.

### Courbes planes

[modifier | modifier le code]

Dans le cas des courbes planes, une simple rotation de π/2 de la tangente donne la normale ; cette notion ne joue par conséquent qu'un rôle secondaire dans l'étude, sauf peut-être pour déterminer les centres de courbure.

### Courbes gauches

[modifier | modifier le code]

Article détaillé : Repère de Frenet.

Pour les courbes gauches, il y a une infinité de normales en chaque point, décrivant un plan orthogonal au vecteur tangent en ce point. On en privilégie une, celle située dans le plan osculateur ; le vecteur tangent, le vecteur normal correspondant, et leur produit vectoriel (appelé vecteur binormal) constituent le repère de Frenet, particulièrement important pour l'étude du comportement local des courbes paramétrées.

### Normale à un plan

[modifier | modifier le code]

Fig. 1 : Un plan et deux vecteurs normaux.

Comme exemple de surface non fermée, on considère le plan P défini par son équation cartésienne :

a x + b y + c z + d = 0 {\displaystyle ax+by+cz+d=0} .

En tout point A de P, un vecteur normal à P est  n -> = ( a b c ) {\displaystyle {\vec {n}}={\begin{pmatrix}a\\\b\\\c\end{pmatrix}}} . Ce vecteur est un vecteur directeur de la droite normale à P en A.

Puisqu'un plan n'est pas une surface fermée, les concepts d'extérieur et d'intérieur sont le résultat d'une convention et non d'une définition. Comme vecteur normal unitaire au plan P, on peut donc choisir :

n -> 1 = 1 a 2 + b 2 + c 2 ( a b c ) {\displaystyle {\vec {n}}_{1}={\frac {1}{\sqrt {a^{2}+b^{2}+c^{2}}}}{\begin{pmatrix}a\\\b\\\c\end{pmatrix}}\quad } ou  n -> 2 = − 1 a 2 + b 2 + c 2 ( a b c ) {\displaystyle \quad {\vec {n}}_{2}=-{\frac {1}{\sqrt {a^{2}+b^{2}+c^{2}}}}{\begin{pmatrix}a\\\b\\\c\end{pmatrix}}} .

Ces deux vecteurs ont même direction et même norme (égale à 1), mais ont des sens opposés (cf. Figure 1).

### Normale à une surface fermée

[modifier | modifier le code]

Fig. 2 : La normale à une surface en un point donné est identique à la normale au plan tangent à cette surface en ce point.

Soit une surface fermée S dans un espace euclidien de dimension trois. Pour trouver le vecteur normal unitaire (c'est-à-dire le vecteur unitaire de la droite normale à cette surface, orienté vers l'extérieur de S) en un point  A ( a 1 , a 2 , a 3 ) {\displaystyle A(a_{1},a_{2},a_{3})} , on utilise le produit vectoriel de deux vecteurs directeurs du plan tangent à S en A. Sur la Figure 2, la surface est représentée en rouge et le plan tangent en bleu.

Soit P ce plan tangent. Soient  u -> ( u 1 u 2 u 3 ) {\displaystyle {\vec {u}}{\begin{pmatrix}u_{1}\\\u_{2}\\\u_{3}\end{pmatrix}}} et  v -> ( v 1 v 2 v 3 ) {\displaystyle {\vec {v}}{\begin{pmatrix}v_{1}\\\v_{2}\\\v_{3}\end{pmatrix}}} deux vecteurs directeurs de P. Le système d'équations paramétriques du plan tangent est alors :

M ( λ , μ ) { x = a 1 + λ u 1 + μ v 1 y = a 2 + λ u 2 + μ v 2 z = a 3 + λ u 3 + μ v 3 {\displaystyle M(\lambda ,\mu )\quad {\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  w -> = u -> ∧ v -> {\displaystyle {\vec {w}}={\vec {u}}\wedge {\vec {v}}} le vecteur résultant du produit vectoriel de  u -> {\displaystyle {\vec {u}}} et de  v -> {\displaystyle {\vec {v}}} . Par définition,  w -> {\displaystyle {\vec {w}}} est un vecteur normal au plan tangent P. Le vecteur normal unitaire  n -> {\displaystyle {\vec {n}}} est alors égal à :

n -> = w -> ‖ w -> ‖ {\displaystyle {\vec {n}}={\frac {\vec {w}}{\|{\vec {w}}\|}}} .

Le sens de ce vecteur est clairement défini puisque l'extérieur d'une surface fermée est clairement défini.

## Vecteur normal en un point régulier

[modifier | modifier le code]

### Définition

[modifier | modifier le code]

Soit une surface définie par un paramétrage

M ( λ , μ ) = ( x ( λ , μ ) , y ( λ , μ ) , z ( λ , μ ) ) {\displaystyle M(\lambda ,\mu )=\left(x(\lambda ,\mu ),y(\lambda ,\mu ),z(\lambda ,\mu )\right)}

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

N ( λ , μ ) = ∂ M ∂ λ ( λ , μ ) ∧ ∂ M ∂ μ ( λ , μ ) {\displaystyle N(\lambda ,\mu )={\frac {\partial M}{\partial \lambda }}(\lambda ,\mu )\wedge {\frac {\partial \mathrm {M} }{\partial \mu }}(\lambda ,\mu )}

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 f(x, y, z) = 0, avec une fonction f de classe  C 1 {\displaystyle {\mathcal {C}}^{1}} , un point de la surface est dit régulier si le gradient de f est non nul en ce point. C'est alors le vecteur gradient lui-même qui constitue un vecteur normal :

grad -> f = ( ∂ f ∂ x ∂ f ∂ y ∂ f ∂ z ) {\displaystyle {\overrightarrow {\operatorname {grad} }}f={\begin{pmatrix}{\frac {\partial f}{\partial x}}\\\\{\frac {\partial f}{\partial y}}\\\\{\frac {\partial f}{\partial z}}\end{pmatrix}}}

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 f 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  d l -> = ( d x , d y , d z ) {\displaystyle {\vec {\mathrm {d} l}}=(\mathrm {d} x,\mathrm {d} y,\mathrm {d} z)} est nulle : df = 0.

Or, par définition du gradient, on a  d f = grad -> ( f ) ⋅ d l -> {\displaystyle \mathrm {d} f={\overrightarrow {\operatorname {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]

Fig. 3 : Un champ de vecteurs de normales à une surface.

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

La fonction qui à un point associe sa normale unitaire orientée est appelée application de Gauss.

## Généralisation

[modifier | modifier le code]

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 ; la droite normale en un point dans ce cas est le sous-espace orthogonal à l'hyperplan tangent en ce point.

## Applications

[modifier | modifier le code]

### Optique

[modifier | modifier le code]

En optique, la normale à un dioptre (surface séparant deux milieux) détermine la réflexion spéculaire et la réfraction parfaite (non diffuse, les deux phénomènes suivant les lois de Snell-Descartes).

### Mécanique

[modifier | modifier le code]

En mécanique, lorsque deux pièces sont en contact, alors :

* le mouvement relatif entre les deux pièces est impossible suivant la normale ;
* si le contact est supposé parfaitement glissant (pas d'adhérence ni de frottement), la force de contact qu'exerce une pièce sur l'autre est selon la normale à la surface de contact.

La normale à la surface de contact est donc un élément important de la définition d'une liaison mécanique.

### Informatique

[modifier | modifier le code]

En imagerie informatique, et en particulier en modélisation tridimensionnelle, le fait de connaître le vecteur normal orienté à une facette permet :

* de déterminer si cette facette est visible ou bien cachée : dans le cas d'une surface délimitant un volume fermé, si la normale est orientée vers l'extérieur, alors la facette est visible si la normale pointe vers l'observateur (caméra virtuelle), cachée si elle pointe à l'opposé ;
* de déterminer l'éclairage de la facette, par les lois de l'optique (voir ci-dessus) ;
* d'effectuer un dégradé de couleurs : si l'on veut représenter une surface courbe et lisse, on est obligé, pour des raisons pratiques, de la découper en facettes planes, on peut atténuer l'effet de facettage en faisant un dégradé de couleur entre les facettes, la détermination de ce dégradé faisant intervenir les normales.

## Articles connexes

[modifier | modifier le code]

* Vecteur
* Tangente (géométrie)

* Portail de la géométrie