Déterminant de Gram
Soit E un ℝ -espace vectoriel muni d’un produit scalaire noté (. | .)
Partie I
1. Soit u et v deux vecteurs quelconques de E .
(u | u ) (u | v )
On notre Gram (u , v ) = et G (u , v ) = det(Gram (u , v )) .
(v | u ) (v | v )
Montrer que G (u , v ) ≥ 0 . A quelle condition y a-t-il égalité ?
2. Soit u , v et w trois vecteurs quelconques de E .
(u | u ) (u | v ) (u | w )
On note Gram (u , v , w ) = (v | u ) (v | v ) (v | w ) et G (u , v , w ) = det(Gram (u , v , w )) .
(w | u ) (w | v ) (w | w )
2.a On suppose que w est orthogonal à u et v .
Exprimer G (u , v , w ) en fonction de G (u , v ) .
2.b On suppose que w est combinaison linéaire de u et v .
Calculer G (u , v , w ) .
2.c On suppose que w = t + n avec t combinaison linéaire de u et v , et n orthogonal à u et v .
2
Montrer que G (u , v , w ) = G (u , v ) n .
2.d Etablir l’équivalence : (u , v , w ) est libre ⇔ G (u , v , w ) ≠ 0 .
Partie II
Soit u1 ,…, un n vecteurs de E .
On note : Gram (u1 ,…, un ) la matrice carrée d’ordre n dont le coefficient d’indice (i , j ) est (ui | u j ) et
G (u1 ,…, un ) le déterminant de celle-ci.
1. On suppose la famille (u1 ,…, un ) liée. Montrer que G (u1 ,…, un ) = 0 .
2. On suppose la famille (u1 ,…, un ) libre. On introduit (e1 ,…,en ) une base orthonormée de l’espace
vectoriel engendré par u1 ,…, un et on note A = (ai , j ) la matrice de passage de la base (e1 ,…,en ) à la
base (u1 ,…, un ) .
2.a Exprimer (ui | u j ) à l’aide des coefficients de la matrice A .
2.b Montrer que Gram (u1 ,…, un ) = tAA . En déduire que G (u1 ,…, un ) > 0 .
3. Soit F un sous-espace vectoriel de E de dimension p et (e1 ,…,e p ) une base de F .
On appelle distance de x vecteur de E au sous-espace vectoriel F le réel : d (x , F ) = inf x − y .
y ∈F
⊥
3.a En écrivant x = x F + n avec x F ∈ F et n ∈ F , démontrer que d (x , F ) = n .
G (e1 ,…,ep , x )
3.b Etablir : d (x , F ) = .
G (e1 ,…,e p )
Partie III
1
1. Pour tout polynôme P et Q de ℝ [X ] on pose ϕ (P ,Q ) = ∫ P (t )Q (t )dt .
0
Montrer que ϕ définit un produit scalaire sur ℝ [X ] .
