Vous êtes sur la page 1sur 5

Faculté des Sciences Année : 2021-2022

et Techniques - Marrakech
LST - MIPC

Corrigé du TD : Formes quadratiques

Exercice 1 :
Déterminer la matrice et la forme polaire de la forme quadratique q définie dans la base
canonique de IK3 par :

q(x) = x21 + 3x22 + 5x23 + 4x1 x2 + 6x1 x3 + 2x2 x3 .

Corrigé de l’exercice 1 :

La matrice de q dans la base canonique de IK3 est :


 
1 2 3
A =  2 3 1 .
3 1 5

La forme polaire de q est donnée par :


  
1 2 3 y1
ϕ(x, y) = X t AY =

x1 x2 x3  2 3 1   y2 
3 1 5 y3

= x1 y1 + 3x2 y2 + 5x3 y3 + 2(x1 y2 + x2 y1 ) + 3(x1 y3 + x3 y1 ) + x2 y3 + x3 y2 .


Exercice 2 :
Soit E un IK-e.v. et soient l1 et l2 deux formes linéaires indépendantes sur E.

1. Montrer que l’application q définie sur E par :

∀x ∈ E, q(x) = l1 (x)l2 (x)

est une forme quadratique et déterminer sa forme polaire.

2. Montrer que q peut s’écrire comme différence de deux carrés de formes linéaires
indépendantes.

3. On suppose que E = IKn . Donner la matrice de q dans la base canonique de E.

Corrigé de l’exercice 2 :

1
1. L’application ϕ définie sur E 2 par :
1 1
∀(x, y) ∈ E 2 , ϕ(x, y) = l1 (x)l2 (y) + l1 (y)l2 (x)
2 2
est bilinéaire symétrique et q(x) = ϕ(x, x), ∀x ∈ E. Donc q est une forme quadra-
tique de forme polaire ϕ.

2. On a :
1 1
q(x) = (l1 (x) + l2 (x))2 − (l1 (x) − l2 (x))2 .
4 4
0 0
Les formes linéaires l1 = l1 + l2 et l2 = l1 − l2 sont linéairement indépendantes. En
effet, pour tous α, β ∈ IK, on a :

αl10 + βl20 = 0 ⇒ (α + β)l1 + (α − β)l2 = 0.

Puisque les formes linéaires l1 et l2 sont indépendantes, on a α + β = α − β = 0,


c’est à dire α = β = 0.

3. Pour E = IKn , notons dans la base canonique (ei )1≤i≤n de E n :


n
X n
X
l1 (x) = αk xk et l2 (x) = βk xk .
k=1 k=1

On utilise la définition de la matrice A = (ai,j )1≤i,j≤n de q dans la base canonique


de E n , on a :
1 1
ai,j = ϕ(ei , ej ) = (l1 (ei )l2 (ej ) + l1 (ej )l2 (ei )) = (αi βj + αj βi ).
2 2

Exercice 3 :

1. Réduire les formes quadratiques définies sur IR2 par :

q1 (x, y) = x2 − 6xy + 5y 2 .

q2 (x, y) = 5xy.

2. Réduire les formes quadratiques définies sur IR3 par :

q3 (x) = x21 + x22 + x23 + 2x1 x2 + 2x2 x3 .

q4 (x) = x21 + 2x22 + 3x23 + 2x1 x2 − 2x2 x3

Corrigé de l’exercice 3 :

2
1. • Pour q1 (x, y) = x2 − 6xy + 5y 2 , on a :
q1 (x, y) = (x − 3y)2 − 4y 2 .

• Pour q2 (x, y) = 5xy, on a :


5 5
q2 (x, y) = (x + y)2 − (x − y)2 .
4 4
2. • Pour q3 (x) = x21 + x22 + x23 + 2x1 x2 + 2x2 x3 , on regroupe les termes contenant
x1 pour l’écrire comme le début d’un carré, soit
x21 + 2x1 x2 = (x1 + x2 )2 − x22
ce qui donne
q(x) = (x1 + x2 )2 + x23 + 2x2 x3 .
On se restreint à la forme quadratique q 0 (x2 , x3 ) = x23 + 2x2 x3 sur IR2 qu’on
écrit :
q 0 (x2 , x3 ) = (x2 + x3 )2 − x22 .
D’où finalement,
q(x) = (x1 + x2 )2 + (x2 + x3 )2 − x22 = l12 (x) + l22 (x) − l32 (x)
avec l1 = e∗1 +e∗2 , l2 = e∗2 +e∗3 et l3 = e∗2 sont des formes linéaires indépendantes
car
1 0 0
1 1 1 = −1 6= 0.
0 1 0
• Pour q4 (x) = x21 +2x22 +3x23 +2x1 x2 −2x2 x3 , on regroupe les termes contenant
x1 pour l’écrire comme le début d’un carré, soit
x21 + 2x1 x2 = (x1 + x2 )2 − x22
ce qui donne
q(x) = (x1 + x2 )2 + x22 + 3x23 − 2x2 x3 .
On se restreint à la forme quadratique q 0 (x2 , x3 ) = x22 + 3x23 − 2x2 x3 sur IR2
qu’on écrit :
q 0 (x2 , x3 ) = (x2 − x3 )2 + 2x23 .
D’où finalement,
q(x) = (x1 + x2 )2 + (x2 − x3 )2 + 2x23 = l12 (x) + l22 (x) + 2l32 (x)
avec l1 = e∗1 +e∗2 , l2 = e∗2 −e∗3 et l3 = e∗3 sont des formes linéaires indépendantes
car
1 0 0
1 1 0 = 1 6= 0.
0 −1 1

3
Exercice 4 :
Soit q la forme quadratique définie sur IRn par :
n
X X
q(x) = x2i + xi xj .
i=1 1≤i<j≤n

1. Donner la matrice de q dans la base canonique de IRn .


2. Réduire q dans les cas n = 2, n = 3 et n = 4.
Corrigé de l’exercice 4 :

1. la matrice de q dans la base canonique de IRn est :


2 1 ··· 1
 
..
1 1 2 . 1 
A=  . .

.
2  .. . . . . 1


1 ··· 1 2

2. • Pour n = 2, on a :
 2
1 3
q(x) = x21 + x22 + x1 x2 = x1 + x2 + x22 .
2 4
• Pour n = 3, on a :
q(x) = x21 + x22 + x23 + x1 x2 + x1 x3 + x2 x3
 2
= x1 + 21 x2 + 12 x3 + 43 (x22 + x23 ) + 12 x2 x3
 2  
1 1 3 2 2
= x1 + 2 x2 + 2 x3 + 4 x2 + x3 + 3 x2 x3 2
 2  2
= x1 + 2 x2 + 2 x3 + 4 x2 + 3 x3 + 23 x23
1 1 3 1

• Pour n = 4, on a :
q(x) = x21 + x22 + x23 + x24 + x1 x2 + x1 x3 + x1 x4 + x2 x3 + x2 x4 + x3 x4
 2  
= x1 + 21 x2 + 12 x3 + 12 x4 + 43 x22 + x23 + x24 + 23 x2 x3 + 23 x2 x4 + 32 x3 x4
 2  2  
= x1 + 12 x2 + 12 x3 + 12 x4 + 43 x2 + 13 x3 + 13 x4 + 23 x23 + x24 + 12 x3 x4
 2  2  
= x1 + 12 x2 + 12 x3 + 12 x4 + 43 x2 + 13 x3 + 13 x4 + 23 x23 + 14 x24 + 58 x24
Exercice 5 :
Soit 

1 2 3
A= 2 3 4 
3 4 5

4
1. Déterminer la forme quadratique q sur IR3 ayant pour matrice A dans la base
canonique.
2. Déterminer deux formes linéaires indépendantes l1 et l2 telles que q = l12 − l22 .
3. Compléter la suite (l1 , l2 ) par une forme linéaire l3 pour que la suite (l1 , l2 , l3 ) soit
une base de L(IR3 , IR).
4. Déterminer une base (f1 , f2 , f3 ) telle que li (fj ) = δi,j pour tous 1 ≤ i, j ≤ 3 (δi,j
est le symbole de Kronecker).
5. Quelle est la matrice de la forme quadratique q dans la base (f1 , f2 , f3 ) ? que
remarquez-vous ?
Corrigé de l’exercice 5 :

1. La forme quadratique q de matrice A est donnée par :


  
 1 2 3 x
q(x, y, z) = x y z  2 3 4   y  = x2 +3y 2 +5z 2 +2(2xy +3xz +4yz).
3 4 5 z
2. La réduction de Gauss de q est :
q = l12 − l22 avec l1 (x, y, z) = x + 2y + 3z et l2 (x, y, z) = y + 2z.

3. On peut compléter (l1 , l2 ) par l3 telle que l3 (x, y, z) = z. En effet, on a :


 
1 2 3
rg(l1 , l2 , l3 ) = rg(Q) = rg  0 1 2  = 3.
0 0 1
4. Il s’agit d’inverser la matrice Q, on a :
 
1 −2 1
Q−1 =  0 1 −2 
0 0 1
et f1 , f2 , f3 son les colonnes de Q−1 . Donc f1 = (1, 0, 0), f2 = (−2, 1, 0), f3 =
(1, −2, 1).
5. La matrice de passage P de la base canonique de IR3 à la base (f1 , f2 , f3 ) est
P = Q−1 .
La matrice A représente la matrice de la forme quadratique q dans la base canon-
ique de IR3 . Si on note par D la matrice de la forme quadratique q dans la base
(f1 , f2 , f3 ) alors, les matrices A et D sont liées par la relation D = P t AP . Donc
 
t 1 0 0
D = Q−1 AQ−1 =  0 −1 0 
0 0 0

Vous aimerez peut-être aussi