Vecteur normal : Définition rigoureuse et notion fondamentale

Le vecteur normal est un concept central en géométrie euclidienne et en calcul multivariable. Il caractérise l’orthogonalité par rapport à un sous-espace affine. Nous établissons ici les définitions formelles en dimension finie.

Définitions formelles

Soit $E$ un espace vectoriel euclidien de dimension $n$, muni du produit scalaire $\langle \cdot,\cdot \rangle$.

Définition 1 (Hyperplan). Un hyperplan $H$ de $E$ est un sous-espace affine de codimension 1. Il existe donc un unique vecteur non nul $\mathbf{n} \in E$ et un scalaire $p \in \mathbb{R}$ tels que :
$$H = \{ \mathbf{x} \in E \mid \langle \mathbf{n}, \mathbf{x} \rangle = p \}.$$

Définition 2 (Vecteur normal). On appelle vecteur normal à l’hyperplan $H$ tout vecteur $\mathbf{n} \neq \mathbf{0}$ vérifiant la caractérisation ci-dessus. Deux vecteurs normaux sont toujours colinéaires.

Définition 3 (Cas d’un plan en dimension 3). Si $E = \mathbb{R}^3$, un plan $P$ admet une équation cartésienne $ax + by + cz + d = 0$. Le vecteur $\mathbf{n} = (a,b,c)$ est alors un vecteur normal à $P$.

Définition 4 (Surface de niveau). Soit $F: U \subset \mathbb{R}^n \rightarrow \mathbb{R}$ de classe $C^1$. La surface de niveau $S_c = \{ \mathbf{x} \in U \mid F(\mathbf{x}) = c \}$ possède en tout point $\mathbf{x}_0$ où $\nabla F(\mathbf{x}_0) \neq \mathbf{0}$ un vecteur normal $\nabla F(\mathbf{x}_0)$.

Théorèmes et propriétés essentielles

Théorème 1 (Caractérisation par l’orthogonalité). Un vecteur $\mathbf{n}$ est normal à un hyperplan $H$ si et seulement si $\mathbf{n}$ est orthogonal à tout vecteur directeur de $H$, c’est-à-dire :
$$\forall \mathbf{v} \in \vec{H}, \quad \langle \mathbf{n}, \mathbf{v} \rangle = 0.$$

Théorème 2 (Équation d’un hyperplan). Soit $A$ un point de $E$ et $\mathbf{n} \neq \mathbf{0}$. L’ensemble des points $M$ tels que $\overrightarrow{AM}$ est orthogonal à $\mathbf{n}$ est un hyperplan $H$ de vecteur normal $\mathbf{n}$, d’équation $\langle \mathbf{n}, \mathbf{x} – \mathbf{a} \rangle = 0$.

Théorème 3 (Distance à un hyperplan). La distance $d$ d’un point $M$ à l’hyperplan $H : \langle \mathbf{n}, \mathbf{x} \rangle = p$ est donnée par :
$$d(M,H) = \frac{|\langle \mathbf{n}, \mathbf{m} \rangle – p|}{\|\mathbf{n}\|}.$$

Preuve du théorème 2 (Équation du plan)

Preuve : Soit $H = \{ \mathbf{x} \in E \mid \langle \mathbf{n}, \mathbf{x} – \mathbf{a} \rangle = 0 \}$.

1. Montrons que $H$ est un hyperplan. Posons $f(\mathbf{x}) = \langle \mathbf{n}, \mathbf{x} \rangle – \langle \mathbf{n}, \mathbf{a} \rangle$. C’est une forme linéaire non nulle car $\mathbf{n} \neq \mathbf{0}$. Son noyau est un hyperplan, et $H = \ker f$.

2. $\mathbf{n}$ est normal à $H$. Soient $\mathbf{x}_1, \mathbf{x}_2 \in H$. Alors $\langle \mathbf{n}, \mathbf{x}_1 – \mathbf{a} \rangle = 0$ et $\langle \mathbf{n}, \mathbf{x}_2 – \mathbf{a} \rangle = 0$. Par linéarité, $\langle \mathbf{n}, \mathbf{x}_1 – \mathbf{x}_2 \rangle = 0$. Tout vecteur $\mathbf{x}_1 – \mathbf{x}_2$ est donc orthogonal à $\mathbf{n}$, ce qui signifie que $\mathbf{n}$ est orthogonal à tout vecteur de $\vec{H}$.

3. Unicité à multiplication près. Si $\mathbf{n}’$ est un autre vecteur normal, alors $\forall \mathbf{v} \in \vec{H}, \langle \mathbf{n}’, \mathbf{v} \rangle = 0$. Comme $\vec{H}$ est de dimension $n-1$, son orthogonal a dimension 1. Ainsi $\mathbf{n}’$ est colinéaire à $\mathbf{n}$.

$\blacksquare$

Exemples fondamentaux et contre-exemples

Exemple 1 (Plan dans $\mathbb{R}^3$). Considérons le plan $P: 2x – 3y + z = 6$. Un vecteur normal est $\mathbf{n} = (2, -3, 1)$. Vérifions : pour deux points $A(1,0,4)$ et $B(2,1,3)$ de $P$, $\overrightarrow{AB} = (1,1,-1)$. $\langle \mathbf{n}, \overrightarrow{AB} \rangle = 2 – 3 -1 = -2 \neq 0$. Erreur de calcul? Recalculons: $\langle (2,-3,1), (1,1,-1) \rangle = 2×1 + (-3)×1 + 1×(-1) = 2 -3 -1 = -2$. Ce n’est pas nul. Donc $(2,-3,1)$ n’est pas normal? En fait, si $A$ et $B$ sont dans le plan, $\overrightarrow{AB}$ doit être orthogonal à $\mathbf{n}$. Vérifions si $A$ et $B$ sont bien dans $P$:

$2×1 – 3×0 + 4 = 6$? $2+4=6$, ok. Pour $B$: $2×2 -3×1 +3 = 4-3+3=4$, pas 6. $B$ n’est pas dans $P$. Prenons $B(3,0,0)$: $6-0+0=6$, ok. Alors $\overrightarrow{AB} = (2,0,-4)$. $\langle \mathbf{n}, \overrightarrow{AB} \rangle = 4 + 0 -4 =0$. C’est bon.

Exemple 2 (Sphère). Pour $S: x^2+y^2+z^2 = R^2$, $F(x,y,z)=x^2+y^2+z^2$. $\nabla F = (2x, 2y, 2z)$ est un vecteur normal en $(x,y,z)$. Au point $A(R,0,0)$, $\mathbf{n} = (2R,0,0)$ est bien radial.

Exemple 3 (Hyperplan en dimension $n$). En $\mathbb{R}^4$, l’hyperplan $H: x + 2y – z + 3w = 5$ a pour vecteur normal $\mathbf{n} = (1,2,-1,3)$.

Contre-exemple 1. Le vecteur $\mathbf{u} = (1,0,0)$ n’est pas normal au plan $x+y+z=0$, car $\mathbf{u}$ n’est pas orthogonal à tout vecteur du plan. Par exemple $\mathbf{v} = (1,-1,0)$ est dans le plan, mais $\langle \mathbf{u}, \mathbf{v} \rangle = 1 \neq 0$.

Contre-exemple 2 (Cas dégénéré). Si $\nabla F(\mathbf{x}_0) = \mathbf{0}$, alors le théorème 4 ne s’applique pas : la surface peut avoir une singularité (point critique). Par exemple pour $F(x,y)=x^2-y^2$, au point $(0,0)$, $\nabla F = (0,0)$. La surface $x^2-y^2=0$ est un cône, non une surface régulière.

Construction du vecteur normal unitaire

Étant donné un vecteur normal $\mathbf{n} \neq \mathbf{0}$, on définit le vecteur unitaire normal :
$$\mathbf{\hat{n}} = \frac{\mathbf{n}}{\|\mathbf{n}\|}.$$
Ce vecteur permet de normaliser les équations et de simplifier les calculs de distance.

Application. La distance $d$ d’un point $M$ à l’hyperplan $H$ s’écrit alors $d = |\langle \mathbf{\hat{n}}, \mathbf{m} \rangle – p’|$, où $p’ = p/\|\mathbf{n}\|$ si l’équation initiale est $\langle \mathbf{n}, \mathbf{x} \rangle = p$.

Extension aux courbes planes

En dimension 2, pour une courbe $C$ définie implicitement par $F(x,y)=0$, en un point régulier ($\nabla F \neq \mathbf{0}$), le vecteur $\nabla F = (F_x, F_y)$ est normal à la tangente. Ainsi la tangente a pour vecteur directeur $( -F_y, F_x )$.

Exemple. Pour le cercle $x^2+y^2=R^2$, $\nabla F = (2x,2y)$. Au point $(0,R)$, vecteur normal $(0,2R)$, tangent horizontale de vecteur directeur $(1,0)$.

Liens et ressources complémentaires

Pour approfondir les exercices corrigés sur les vecteurs normaux et leurs applications en géométrie analytique, consultez les cours détaillés sur KeepMath. La bibliothèque thématique de l’ENS propose également des ressources pédagogiques sur le calcul en dimension supérieure via CultureMath.

Synthèse des connaissances

• Un vecteur normal à un hyperplan est orthogonal à tous les vecteurs de cet hyperplan.
• L’équation cartésienne d’un hyperplan est entièrement déterminée par un point et un vecteur normal.
• Pour une surface de niveau $F=c$, le gradient $\nabla F$ est un vecteur normal (sauf aux points critiques).
• La distance à un hyperplan utilise la norme du vecteur normal.
• Le vecteur normal unitaire simplifie les formules.

Toute application géométrique nécessite de vérifier les hypothèses de régularité (classe $C^1$,Point non critique).