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 ] .

 Désormais, on munit ℝ [X ] de ce produit scalaire et on note (P | Q ) au lieu de ϕ (P ,Q ) le produit
scalaire de deux éléments P et Q de ℝ [X ] .
1
2.a On désire calculer d = inf
a ,b∈ℝ ∫ 0
(t 2 − (at + b )) 2 dt .
Interpréter d à l’aide de la distance d’un vecteur à un sous-espace vectoriel de E à préciser.
1 1 1
1 1 1 2 3
2.b Calculer les déterminants 1 2 et 1 1 1
.
1 1 2 3 4
2 3 1 1 1
3 4 5
2.c Donner la valeur de d .

Partie IV

Soit p un entier naturel non nul et a1 ,…,a p ,b1 ,…,bp des réels tels que pour tout i ∈ {1,…, p } , ai > 0 , bi ≥ 0 et
pour tout i ≠ j ∈ {1,…, p } , bi ≠ bj .
Le but de cette partie est de calculer le déterminant de la matrice :
 1 
 1 1
⋯ 
 a1 + b1 a1 + b2 a1 + bp 
 
 1   1 1 1 
 
 ⋯ 
 = a 2 + b1 a 2 + b2 a 2 + bp  ∈ M p ( ℝ ) .
a + b  
 i j 1≤i , j ≤p
 ⋮ ⋮ ⋱ ⋮ 

 1 1 1 
 ⋯ 
a p + b1 a p + b2 a p + bp 
 
Ce déterminant sera noté C p (a1 ,…,a p ,b1 ,…,bp ) .
(X −a1 )⋯(X −a p−1 )
1. Soit F (X ) = .
(X + b1 )⋯(X + bp )
Réaliser la décomposition en éléments simples de F .
2. On note D le déterminant d’ordre p :
1 1
⋯ F (a1 )
a1 + b1 a1 + bp−1
1 1
⋯ F (a 2 )
D = a 2 + b1 a 2 + bp−1 .
⋮ ⋮
1 1
⋯ F (a p )
a p + b1 a p + bp−1
En calculant D de deux façons, établir :
p−1

∏ (a i + bp )
F (a p )C p−1 (a1 ,…,a p−1 ,b1 ,…,bp−1 ) = i =1
p−1
C p (a1 ,…,a p ,b1 ,…,bp ) .
∏ (bp −bi )
i =1

∏ (a j −ai ) ∏ (bj −bi )

3. En déduire : C p (a1 ,…,a p ,b1 ,…,bp ) = 1≤i<j ≤p 1≤i< j ≤p
.
∏
1≤i , j ≤p
(ai + bj )
  1 
 1 1 1
⋯ 
 1 2 3 p 

 1 1 1 1 
⋯ 
 2
 3 4 p + 1 
4.a Calculer ∆p =  1 1 1 1  ∈ M p ( ℝ ) .
 ⋯ 
 3 4 5 p + 2 

 ⋮ ⋮ ⋮ ⋱ ⋮ 
 1 
 1 1 1 
⋯ 
 p p + 1 p + 2 2p −1
 
On pourra se contenter d’une expression comportant un ou plusieurs ∏ (…) .
∫ (t − (an−1t n −1 + ⋯ + a1t + a 0 ) dt .
1 2
4.b En déduire la valeur de un = inf n
(a 0 ,…,an−1 )∈ℝn 0

On exprimera le résultat à l’aire de nombres factoriels.

4.c Quelle est la limite de (un ) ?