Euklidischer Raum/Affine Unterräume/Senkrecht/Fakt/Beweis

Beweis

Es sei also mit , und , wobei es eine solche Zerlegung immer gibt, und wobei nicht eindeutig bestimmt sein müssen (falls ist), aber eindeutig bestimmt ist. Es ist dann

und dabei ist und . Der Abstand zwischen und ist . Für beliebige Punkte und mit und ist

d.h.