Correction
Partie I
2 2
1. G (u , v ) = u v − (u | v ) 2 ≥ 0 en vertu de l’inégalité de Cauchy-Schwarz.
Il y a égalité ssi u et v sont colinéaires.
(u | u ) (u | v ) 0
⊥
Si w ∈ {u , v } alors G (u , v , w ) = (v | u ) (v | v )
2
2.a 0 = G (u , v ) w .
0 0 (w | w )
2.b Si w = λu + µv alors en notant C1 ,C 2 ,C 3 les colonnes de Gram (u , v , w ) on a C 3 = λC 1 + µC 2 donc
G (u , v , w ) = 0 .
(u | u ) (u | v ) (u | t ) (u | u ) (u | v ) 0 (u | u ) (u | v ) (u | t )
G (u , v , w ) = (v | u ) (v | v ) (v | t ) = (v | u ) (v | v ) 0 + (v | u ) (v | v ) (v | t )
2.c
(w | t ) (w | t ) (n | n ) + (t | t ) (w | t ) (w | t ) (n | n ) (w | t ) (w | t ) (t | t )
2 2
= G (u , v ) n +G (u , v , t ) = G (u , v ) n
2.d Si (u , v , w ) est libre alors (u , v ) est libre et w ∉ Vect(u , v ) donc G (u , v ) ≠ 0 et n ≠ 0 puis
2
G (u , v , w ) = G (u , v ) n ≠ 0 .
Si G (u , v , w ) = 0 alors G (u , v ) = 0 ou n = 0 donc (u , v ) liée ou w ∈ Vect(u , v ) puis (u , v , w ) libre.
Partie II
1. Notons C1 ,…,C n les colonnes de Gram (u1 ,…, un ) .
Si (u1 ,…, un ) est liée alors ∃(λ1 ,…, λn ) ≠ (0,…,0) telle que λ1u1 + ⋯ + λn un = 0 et par suite
λ1C1 + ⋯ + λnC n = 0 et donc G (u1 ,…, un ) = 0 .
n n n n
2.a u j = ∑ak , jek donc (ui | u j ) = ∑ ak ,iek | ∑a ℓ , jeℓ = ∑ ak ,iak , j .
k =1
k =1 ℓ=1 k =1
n n
2.b A = (ai , j ) , t A = (a j′,i ) avec a j′,i = ai , j . t AA = (bi , j ) avec bi , j = ∑ai′,kak , j = ∑ak ,iak , j = (ui | u j ) donc
k =1 k =1
t
AA = Gram (u1 ,…, un ) . G (u1 ,…, un ) = det t AA = (det A)2 > 0 car A est inversible.
2 2 2 2
3.a ∀y ∈ F , x − y = x − x F + x F − y = x − x F + xF −y car x − x F = n ∈ F ⊥ et x F − y ∈ F .
2 2
Par suite x − y ≥ x − x F et donc d (x , F ) ≥ x − x F = n .
De plus pour y = x F ∈ F , x − y = n donc d (x , F ) ≤ n et finalement d (x , F ) = n .
3.b En décomposant la dernière colonne :
(e1 | e1 ) ⋯ (e1 | ep ) (e1 | x F )
⋮ ⋮ ⋮
G (e1 ,…,e p , x ) = (e | e ) ⋯ (e | e ) (e p | x F )
p 1 p p
2
(x F | e1 ) ⋯ (x F | e p ) (x F | x F ) + n
(e1 | e1 ) ⋯ (e1 | ep ) (e1 | x F ) (e1 | e1 ) ⋯ (e1 | e p ) 0
⋮ ⋮ ⋮ ⋮ ⋮ ⋮
= +
(ep | e1 ) ⋯ (e p | e p ) (e p | x F ) (e p | e1 ) ⋯ (e p | ep ) 0
2
(x F | e1 ) ⋯ (x F | e p ) (x F | x F ) 0 ⋯ 0 n
2 2 2
= G (e1 ,…,e p , x F ) + n G (e1 ,…,ep ) = 0 + n G (e1 ,…,ep ) = n G (e1 ,…,e p )
G (e1 ,…,ep , x )
donc d (x , F ) = n = .
G (e1 ,…,e p )