Rappels de géométrie, courbes et surfaces
Cours
Théorème

La surface est caractérisée par une équation cartésienne implicite :

On suppose que est différentiable en . On note

On suppose que$ , alors est un vecteur normal à en , d'où l'équation du plan tangent à en :

Démonstration

Un vecteur normal à une surface en un point est un vecteur normal au plan tangent à la surface en ce point.

Soit une courbe tracée sur la surface et qui passe par . Si les équations paramétriques de sont :

, on a donc

On suppose que les fonctions sont dérivables, donc la courbe admet un vecteur tangent en qui est

Appelons la fonction d'une variable définie par . Puisque est différentiable et que sont dérivables, la fonction est dérivable. Les résultats sur les dérivées des fonctions composées permettent de calculer la dérivée de :

Donc en particulier .

Or

On en déduit que le vecteur est orthogonal à , c'est \`a dire le vecteur est orthogonal au vecteur tangent \`a une courbe quelconque trac\'ee sur et passant par . Ce vecteur est donc orthogonal au plan tangent à en , ce qui termine la démonstration.

Théorème

La surface est caractérisée par une équation cartésienne explicite : , on suppose que est différentiable en alors l'équation du plan tangent à en est :