Soit un espace vectoriel euclidien de dimension sur (). Pour donné dans , on pose (matrice de Gram) et (déterminant de Gram).
1
Montrer que .
2
Montrer que est liée si et seulement si et que est libre si et seulement si .
3
On suppose que est libre dans (et donc ). On pose .
Pour , on note la projection orthogonale de sur puis la distance de à (c’est-à-dire ). Montrer que .