title: Ligne de niveau
text: # Ligne de niveau
  
  Soit f une fonction à valeurs réelles, une ligne de niveau est un ensemble
  
      { $(x_1,...,x_n)$ | $f(x_1,...,x_n)$ = c } ; c étant une constante. C'est en fait le sous-ensemble de l'ensemble de définition sur lequel f prend une valeur donnée.
  
  ## Lien avec le gradient
  
  Théorème : le gradient de f est perpendiculaire en tout point à la ligne de niveau de f en ce point.
  
  Il s'agit d'un résultat important. Pour mieux le comprendre, imaginons que deux randonneurs sont à la même position sur une montagne. Le premier est téméraire et décide de prendre la direction de la plus forte pente pour accéder au sommet. Le second étant plus prudent, et ne désirant pas dégringoler, il décide de suivre le chemin qui lui permettra de garder la même altitude pour observer le panorama. Avec cette analogie, le théorème ci-dessus nous informe qu'au départ, les deux randonneurs suivront des chemins perpendiculaires.
  
  Preuve : soit $x_0$ un point. La ligne de niveau passant par $x_0$ est {x | f(x) = $f(x_0)}.$ Considérons alors une courbe x(t) de cette ligne de niveau passant par $x_0,$ et supposons que x(0) = $x_0.$ Nous avons alors:
  
      $f({\mathbf {x} }(t))=f({\mathbf {x} _{0}})=c.$
  
  Si nous dérivons maintenant cette relation en t = 0 en utilisant le théorème de dérivation des fonctions composées, nous trouvons
  
      $J_{f}({\mathbf {x} _{0}}){\mathbf {x} }'(0)=0.$
  
  De manière équivalente, le Jacobien de f en $x_0$ est le gradient en $x_0$
  
      $\nabla f({\mathbf {x} }_{0})\cdot {\mathbf {x} }'(0)=0.$
  
  Par conséquent, le gradient de f en $x_0$ est perpendiculaire à la tangente x′(0) à la courbe (et à la ligne de niveau) en ce point. Comme la courbe x(t) est choisie arbitrairement, il vient que le gradient est perpendiculaire à la ligne de niveau.
  
  Une conséquence de ce théorème est que si une ligne de niveau se recoupe (de manière plus précise, n'est pas une variété ou une hypersurface différentiable), alors le gradient doit s'annuler en tous les points d'intersection. Ainsi, tous les points d'intersection seront des points critiques de f.
  
  