exo7 5778

Soit $E$ un espace préhilbertien réel et $(e_1,...,e_n)$ une famille de $n$ vecteurs unitaires de $E$ ($n\in\Nn^*$) telle que pour tout vecteur $x$ de $E$, on ait $\|x\|^2 =\sum_{k=1}^{n}\left(x|e_k\right)^2$. Montrer que la famille $(e_1,...,e_n)$ est une base orthonormée de $E$.