Proposition 31
Soient une variété affine
de dimension et un
point
. Soient des équations cartésiennes
de , où
et où est une matrice à
lignes et colonnes, de rang .
La distance de à est réalisée en un seul point, la projection
orthogonale
de sur . En particulier
La distance d'un point à un fermé est toujours réalisée en un
point au moins de celui-ci.
Pour détecter un tel point, appliquons la règle des multiplicateurs
de Lagrange à la fonction
.
Si est un point stationnaire de la restriction de à , il
existe
tel que
Par conséquent, il n'y a qu'un point stationnaire qui est donc
nécessairement le point en lequel est minimum sur .
C'est le point décrit dans l'énoncé. Comme est une
combinaison linéaires des colonnes de , c'est la
projection orthogonale de sur
car celles-ci constituent une base du complément orthogonal du
sous-espace vectoriel directeur de .
Quand est un hyperplan, il n'y a qu'une équation cartésienne du
premier degré et se réduit à une ligne
. On
retrouve alors l'expression
familière de la distance d'un point à un hyperplan:
et l'on obtient une expression vectorielle de la projection
orthogonale sur :