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 :
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.
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 :