Surface (géométrie analytique)

Modèle:Homonymes Modèle:Confusion Les surfaces, en géométrie analytique, sont les ensembles de points sur lequel il est localement possible de se repérer à l'aide de deux coordonnées réelles, par des relations entre les coordonnées de leurs points, qu'on appelle équations de la surface ou par des représentations paramétriques.

Cet article étudie les propriétés des surfaces que cette approche (appelée souvent extrinsèque) permet de décrire. Pour des résultats plus approfondis, voir Géométrie différentielle des surfaces.

Propriétés affines

On suppose dans tout cet article qu'on a muni l'espace d'un repère, dans lequel sont exprimées toutes les coordonnées.

Représentation paramétrique

Une nappe paramétrée est la donnée de trois fonctions de deux variables (définies sur un disque ouvert, un rectangle ou plus généralement un ouvert de ${ℝ}^2$)

$x=f(u,v),y=g(u,v),z=h(u,v)$.

qui représentent les coordonnées d'un point M par rapport à un repère $(O,\overrightarrow{i},\overrightarrow{j},\overrightarrow{k})$

On a envie de dire qu'une surface est l'image d'une nappe paramétrée. Mais quelques précautions sont nécessaires : si on prend Modèle:Math on a une nappe paramétrée dont l'image est une droite.

Dans le cas où $\overrightarrow{F}=(f,g,h)$ est injective, tout point M de S admet un couple unique Modèle:Math pour antécédent.

Un cas particulier important de nappe paramétrée est celui du graphe d'une fonction de deux variables : lorsque Modèle:Math. On obtient alors une surface représentée par l’équation cartésienne Modèle:Math.

Équation d'une surface

Étant donné une fonction Modèle:Mvar de trois variables, l'ensemble des points Modèle:Mvar dont les coordonnées, dans le repère que l'on s'est donné vérifient Modèle:Math est une surface. Lorsqu'au voisinage d'un point Modèle:Math de S, l'équation Modèle:Math peut être résolue en Modèle:Mvar, on est ramené, dans ce voisinage, à l'équation cartésienne Modèle:Math. C'est le cas quand $\frac{\partial H}{\partial z}(x_0,y_0,z_0)=0$.

Plus de précisions

Si on se contente des points de vue qui précèdent, on obtient des exemples qu'il vaudrait mieux exclure (cf. la nappe $(u,v)\mapsto (u,0,0)$). De plus passer du paramétrage à une équation ou inversement n'a rien d'évident.

Exemples

• La nappe paramétrée associée à une surface d'équation cartésienne z=h(x,y) est régulière (si h est $C^1$)

• Si F est $C^1$, et si ses dérivées partielles ne s'annulent pas simultanément sur $F^{-1}(0)$, alors $F^{-1}(0)$ est localement un graphe, d'après le théorème des fonctions implicites.

En fait, un cas particulier du théorème des fonctions implicites est le résultat suivant.

En pratique, les surfaces que l'on étudie sont le plus souvent des réunions d'image de nappes régulières. Quand ce n'est pas le cas, on regarde au cas par cas.

Exemples

• La sphère de centre O et de rayon 1 a pour équation $x^2+y^2+z^2=1$. On peut aussi considérer la nappe paramétrée

$(u,v)\mapsto (\cos u\cos v,\sin u\cos v,\sin v)$

qui est régulière et injective sur $[0,2\pi [\times ]-\frac{\pi }{2},\frac{\pi }{2}[$ mais non surjective. Les nombres u et v correspondent à la longitude et à la latitude des géographes. Mais la régularité se perd pour $v=\pm \frac{\pi }{2}$. En tout état de cause, il est impossible de réaliser la sphère tout entière avec une nappe régulière injective : une telle nappe donnerait un homéomorphisme de la sphère avec un ouvert du plan.

• l'équation $z^2=x^2+y^2$ représente le cône de révolution d'axe Oz et d'angle $\frac{\pi }{4}$.

C'est l'image de la nappe paramétrée

$(r,\theta )\mapsto (r\cos \theta ,r\sin \theta ,r)$

qui est régulière si $r=0$.

• une surface de révolution d'axe Oz peut être réalisée par une équation de la forme $F(r,z)=0$ (avec $r=\sqrt{x^2+y^2}$) ou une nappe paramétrée $(r,\theta )\mapsto (r\cos \theta ,r\sin \theta ,f(r))$.

Courbes coordonnées

Soit S la surface définie par $\overrightarrow{OM}=\overrightarrow{F}(u,v)$ avec $v=v_0$ (constante), cette surface d'équation $\overrightarrow{OM}=\overrightarrow{F}(u,v_0)$ est appelée courbe coordonnée $C_{v_0}$.

Quand $v_0$ parcourt toutes les valeurs acceptables $v_0,v_1,v_2,...v_n$, la réunion des courbes $C_{v_0},C_{v_1},C_{v_2},...C_{v_n},$ est la surface S.

Le même procédé vaut pour la définition des courbes $C_{u_0}$ d'équation $\overrightarrow{OM}=\overrightarrow{F}(u_0,v)$.

Courbe tracée sur une surface

Elle est définie par une application $t\mapsto f(u,v)$ et est constituée de l'ensemble des points M d'équation :

$\overrightarrow{OM}=\overrightarrow{F}(u(t),v(t))$, contenue dans S et dite tracée sur S.

Tangentes et plan tangent à une surface

On appelle tangente à une surface S au point $M_0$ toute tangente à une courbe tracée sur S contenant $M_0$.

Soit $f$ une fonction $(u,v)\mapsto \overrightarrow{OM}(u,v)$ et, au voisinage de $u_0,v_0$, les dérivées partielles vectorielles $\frac{\overrightarrow{\partial M}}{\partial u}$ et $\frac{\overrightarrow{\partial M}}{\partial v}$ continues en $u_0,v_0$.

Si les vecteurs $\frac{\overrightarrow{\partial M}}{\partial u}$ et $\frac{\overrightarrow{\partial M}}{\partial v}$ sont indépendants (non colinéaires), tous les vecteurs tangents en $M_0$ aux courbes tracées sur $S$ et passant par ce point sont dans le plan passant par $M_0$ et contenant ces deux vecteurs. C'est par définition le plan tangent à $S$ au point $M_0$.

Soit un plan tangent défini par le point $M_0(x_0,y_0,z_0)$, et deux vecteurs non colinéaires :

$\frac{\overrightarrow{\partial M}}{\partial u_0}=(\frac{\partial x}{\partial u_0},\frac{\partial y}{\partial u_0},\frac{\partial z}{\partial u_0})$, et

$\frac{\overrightarrow{\partial M}}{\partial v_0}=(\frac{\partial x}{\partial v_0},\frac{\partial y}{\partial v_0},\frac{\partial z}{\partial v_0})$

Son équation est :

$\left|\begin{array}{ccc}x-x_0& \frac{\partial x}{\partial u_0}& \frac{\partial x}{\partial v_0}\\ y-y_0& \frac{\partial y}{\partial u_0}& \frac{\partial y}{\partial v_0}\\ z-z_0& \frac{\partial z}{\partial u_0}& \frac{\partial z}{\partial v_0}\end{array}\right|=0$

Par exemple si l'équation de $S$ est de la forme $z=h(x,y)$, en posant $p=h_x^{\prime }(x_0,y_0),$ et $q=h_y^{\prime }(x_0,y_0),$ on a :

$z-z_0=p(x-x_0)+q(y-y_0)$

Si l'équation de $S$ est de forme implicite $f(x,y,z)=0$ et si l'une des dérivées partielles de f en $(x_0,y_0,z_0)$ est non nulle, on peut se ramener au cas ci-dessus grâce au théorème des fonctions implicites. Par exemple si $f_z^{\prime }(x_0,y_0,z_0)=0$, on peut écrire $z=h(x,y)$, et l'on a

$h_x^{\prime }(x_0,y_0)=-\frac{f{\text{'}}_x(x_0,y_0,z_0)}{f{\text{'}}_z(x_0,y_0,z_0)}\mathrm{e}\mathrm{t}{h}_y^{\prime }(x_0,y_0)=-\frac{f{\text{'}}_y(x_0,y_0,z_0)}{f{\text{'}}_z(x_0,y_0,z_0)}$.

L'équation du plan tangent s'écrit alors

$(x-x_0)f{\text{'}}_x(x_0,y_0,z_0)+(y-y_0)f{\text{'}}_y(x_0,y_0,z_0)+(z-z_0)f{\text{'}}_z(x_0,y_0,z_0)=0$,

ou, sous forme vectorielle,

$\overrightarrow{M_{0}M}\cdot 𝐠𝐫𝐚𝐝f(M_0)=0$.

Propriétés métriques

Normale à une surface

Le plan tangent à la surface $S$ au point $M_0$ est engendré par les vecteurs $\frac{\overrightarrow{\partial M}}{\partial u_0}$ et $\frac{\overrightarrow{\partial M}}{\partial v_0}$.

On appelle normale à la surface $S$ au point $M_0$ la normale au plan tangent : elle admet donc pour vecteur directeur $\frac{\overrightarrow{\partial M}}{\partial u_0}\wedge \frac{\overrightarrow{\partial M}}{\partial v_0}$.

Ses équations sont :

$\frac{x-x_0}{\frac{\partial (y,z)}{\partial (u_0,v_0)}}=\frac{y-y_0}{\frac{\partial (z,x)}{\partial (u_0,v_0)}}=\frac{z-z_0}{\frac{\partial (x,y)}{\partial (u_0,v_0)}}$,

avec, par exemple, le jacobien $\frac{\partial (y,z)}{\partial (u_0,v_0)}$ égal à $\left|\begin{array}{cc}\frac{\partial y}{\partial u_0}& \frac{\partial y}{\partial v_0}\\ \frac{\partial z}{\partial u_0}& \frac{\partial z}{\partial v_0}\end{array}\right|$.

Dans le cas où la surface $S$ est définie par une équation cartésienne $z=h(x,y)$, l'équation de la normale en $S$ au point $M_0$ est donnée par

$\frac{x-x_0}{p}=\frac{y-y_0}{q}=\frac{z-z_0}{-1}$

Dans le cas où la surface $S$ est définie par une équation implicite $f(x,y,z)$, la normale en $S$ au point $M_0$ a pour vecteur directeur le gradient de $f$ en $M_0$, et l'équation s'écrit

$\frac{(x-x_0)}{f_x^{\prime }(x_0,y_0,z_0)}=\frac{(y-y_0)}{f_y^{\prime }(x_0,y_0,z_0)}=\frac{(z-z_0)}{f_z^{\prime }(x_0,y_0,z_0)}$,

ou, sous forme vectorielle :

$\overrightarrow{M_{0}M}=\rho \cdot 𝐠𝐫𝐚𝐝f(M_0),\rho \in ℝ$.

Intersection de deux surfaces

Soit la courbe $C$, intersection des surfaces $S_1$ et $S_2$ dont les équations sont :

$S_1\mapsto f(x,y,z)=0$, et $S_2\mapsto g(x,y,z)=0$.

Ces deux surfaces admettent chacune un plan tangent en $M_0(x_0,y_0,z_0)$, respectivement notés $P_1$ et $P_2$.

La droite résultant de l'intersection des plans $P_1$ et $P_2$ est la tangente en $M_0$ à $C$.

Elle admet pour vecteur directeur :

$\overrightarrow{W}=𝐠𝐫𝐚𝐝f(M_0)\wedge 𝐠𝐫𝐚𝐝g(M_0)$

Soit l'équation :

$\frac{x-x_0}{\frac{\partial (f,g)}{\partial (y_0,z_0)}}=\frac{y-y_0}{\frac{\partial (f,g)}{\partial (z_0,x_0)}}=\frac{z-z_0}{\frac{\partial (f,g)}{\partial (x_0,y_0)}}$

L'équation du plan normal à $C$ en $M_0$ est le plan défini par $M_0,𝐠𝐫𝐚𝐝f(M_0),𝐠𝐫𝐚𝐝g(M_0)$,

Son équation est :

$\left|\begin{array}{ccc}x-x_0& \frac{\partial f}{\partial x}(M_0)& \frac{\partial g}{\partial x}(M_0)\\ y-y_0& \frac{\partial f}{\partial y}(M_0)& \frac{\partial g}{\partial y}(M_0)\\ z-z_0& \frac{\partial f}{\partial z}(M_0)& \frac{\partial g}{\partial z}(M_0)\end{array}\right|=0$

Voir aussi

Bibliographie

• Michèle Audin, Géométrie (chap. 8), Belin 2008, Modèle:ISBN

Articles connexes

• Surface de révolution, surface réglée, surface développable et surface minimale
• Dérivation vectorielle
• Propriétés métriques des droites et plans
• Gradient
• Intégrale de surface
• Géométrie différentielle des surfaces