Sexan E,L Î R^p dous subespacios vectoriais. Dise que E e L son ortogonais se o producto escalar de cada vector de E por cada vector de L é nulo,

Demostrade que E e L son ortogonais sse (se e soamente se) para cada x Î E se verifica

||x-y|| ≥ ||y||

para todo y Î L.