Théorème de la meilleure approximation
Soit W un sous-espace de Rn, y un vecteur quelconque dans Rn, et la projection orthogonale de y sur W déterminée par une base orthogonale de W. Alors est le point le plus proche de y dans W, au sens où
pour tout vecteur v dans W distinct de .