•La relation « être orthogonal » sur l’ensemble Eest symétrique.
•Soient xet ydeux vecteurs orthogonaux. Alors pour tout (λ, µ)∈R2,λ.x et µ.y sont orthogonaux.
•Le vecteur nul est orthogonal à tout autre vecteur.
(Ces remarques sont la conséquence du fait que (.|.)est une forme bilinéaire symétrique.)
Proposition 2.2. (théorème de Pytagore)
Soient (x, y)∈E2. Alors :
x⊥y⇔ ||x+y||2=||x||2+||y||2
2.2 Familles orthogonales, normées, orthonormales
Définition 2.3. (Famille orthogonale/orthonormale) Soit n∈Net F= (e1, ..., en)∈Enune famille de n
vecteurs.
1. On dit que Fest une famille orthogonale lorsque ∀(i, j)∈J1, nK2tel que i6=j,(ei|ej)=0.
2. On dit que Fest normée si tous ses vecteurs sont unitaires, i.e. ∀i∈J1, nK,||ei|| = 1.
3. On dit que Fest orthonormale si elle est orthogonale et normée.
Proposition 2.4. (Pythagore)
Soit n∈Net F= (e1, ..., en)∈Enune famille de nvecteurs. On suppose Forthogonale. Alors :
||
n
X
i=1
ei||2=
n
X
i=1 ||ei||2.
Remarques :
•Si Fest orthonormale, on obtient ||Pn
i=1 ei|| =√n. C’est la longueur de la diagonale d’un cube de
côté 1 dans Rn.
Proposition 2.5.
(i) Une famille orthogonale ne contenant aucun vecteur nul est libre.
(ii) Une famille orthonormale est libre.
2.3 Bases orthonormées
Définition 2.6. Soit B= (e1, ..., en)une base de E. On dit que Best :
1. une base orthogonale si c’est de plus une famille orthogonale (i.e. ∀(i, j)∈J1, nK,(ei|ej)=0).
2. une base orthonormale si c’est de plus une famille orthonormée (i.e. elle est orthogonale et pour tout
i∈J1, nK,||ei|| = 1).
Remarque : Partant d’une base orthogonale, on peut facilement obtenir une base orthonormale : Si B=
(e1, ..., en)est une base orthogonale, alors B0:= ( e1
||e1||, ..., en
||en||)est une base orthonormale. (Pour tout
i∈J1, nK,||ei|| 6= 0 puisque ei6= 0E).
On verra plus loin comment obtenir une BON en partant d’une base quelconque.
Une base orthonormale est particulièrement pratique pour déterminer les coordonnées d’un vecteur :
Proposition 2.7. (Coordonnées dans une base orthonormale)
Soit (s’il en existe) B= (e1, ..., en)une BON de E. Alors pour tout x∈E, on a :
x=
n
X
i=1
(x|ei).ei
autrement dit, pour tout i∈J1, nK, la i◦coordonnées de xdans Best (x|ei).
5