En raison de limitations techniques, la typographie souhaitable du titre, «
Exercice : Formes bilinéaires et basesApplication multilinéaire/Exercices/Formes bilinéaires et bases », n'a pu être restituée correctement ci-dessus.
Dire si les applications suivantes sont bilinéaires sur le
K
{\displaystyle K}
-espace vectoriel
E
{\displaystyle E}
indiqué :
f
1
(
A
,
B
)
=
A
B
,
E
=
M
n
(
K
)
(
n
∈
N
)
{\displaystyle f_{1}(A,B)=AB,\quad E=\mathrm {M} _{n}(K)\quad (n\in \mathbb {N} )}
;
f
2
(
z
,
w
)
=
R
e
(
z
w
)
,
E
=
C
,
K
=
C
{\displaystyle f_{2}(z,w)=\mathrm {Re} (zw),\quad E=\mathbb {C} ,\quad K=\mathbb {C} }
;
f
3
(
u
,
v
)
=
∫
0
1
u
v
,
E
=
C
(
[
0
,
1
]
,
R
)
,
K
=
R
{\displaystyle f_{3}(u,v)=\int _{0}^{1}uv,\quad E=C([0,1],\mathbb {R} ),\quad K=\mathbb {R} }
;
f
4
(
u
,
v
)
=
∫
−
1
1
(
u
+
v
)
2
,
E
=
C
(
[
0
,
1
]
,
R
)
,
K
=
R
{\displaystyle f_{4}(u,v)=\int _{-1}^{1}(u+v)^{2},\quad E=C([0,1],\mathbb {R} ),\quad K=\mathbb {R} }
;
f
5
(
A
,
B
)
=
T
r
(
A
B
)
,
E
=
M
n
(
K
)
(
n
∈
N
)
{\displaystyle f_{5}(A,B)=\mathrm {Tr} (AB),\quad E=\mathrm {M} _{n}(K)\quad (n\in \mathbb {N} )}
;
f
6
(
u
,
v
)
=
u
v
,
E
=
C
(
[
0
,
1
]
,
R
)
,
K
=
R
{\displaystyle f_{6}(u,v)=uv,\quad E=C([0,1],\mathbb {R} ),\quad K=\mathbb {R} }
.
Soient
M
=
(
1
2
0
−
1
3
4
9
0
1
)
{\displaystyle M={\begin{pmatrix}1&2&0\\-1&3&4\\9&0&1\end{pmatrix}}}
et
b
{\displaystyle b}
la forme bilinéaire sur
R
3
{\displaystyle \mathbb {R} ^{3}}
de matrice
M
{\displaystyle M}
dans la base canonique.
Donner l'expression de
b
(
(
x
1
,
y
1
,
z
1
)
,
(
x
2
,
y
2
,
z
2
)
)
{\displaystyle b\left(\left(x_{1},y_{1},z_{1}\right),\left(x_{2},y_{2},z_{2}\right)\right)}
, pour tout
(
x
1
,
y
1
,
z
1
,
x
2
,
y
2
,
z
2
)
∈
R
6
{\displaystyle \left(x_{1},y_{1},z_{1},x_{2},y_{2},z_{2}\right)\in \mathbb {R} ^{6}}
.
Solution
(
x
1
y
1
z
1
)
M
(
x
2
y
2
z
2
)
=
x
1
x
2
+
3
y
1
y
2
+
z
1
z
2
+
2
x
1
y
2
−
y
1
x
2
+
9
z
1
x
2
+
4
y
1
z
2
{\displaystyle \left(x_{1}\;y_{1}\;z_{1}\right)M{\begin{pmatrix}x_{2}\\y_{2}\\z_{2}\end{pmatrix}}=x_{1}x_{2}+3y_{1}y_{2}+z_{1}z_{2}+2x_{1}y_{2}-y_{1}x_{2}+9z_{1}x_{2}+4y_{1}z_{2}}
.
Soit
b
{\displaystyle b}
la forme bilinéaire sur
R
3
{\displaystyle \mathbb {R} ^{3}}
définie par :
b
(
(
x
1
,
x
2
,
x
3
)
,
(
y
1
,
y
2
,
y
3
)
)
=
3
x
1
y
1
−
3
x
1
y
2
−
4
x
1
y
3
−
x
2
y
1
+
3
x
2
y
2
+
3
x
3
y
1
+
6
x
3
y
2
−
9
x
3
y
3
{\displaystyle b\left(\left(x_{1},x_{2},x_{3}\right),\left(y_{1},y_{2},y_{3}\right)\right)=3x_{1}y_{1}-3x_{1}y_{2}-4x_{1}y_{3}-x_{2}y_{1}+3x_{2}y_{2}+3x_{3}y_{1}+6x_{3}y_{2}-9x_{3}y_{3}}
.
Donner la matrice de
b
{\displaystyle b}
dans la base canonique de
R
3
{\displaystyle \mathbb {R} ^{3}}
.
Soient
f
1
=
(
2
,
0
,
1
)
{\displaystyle f_{1}=(2,0,1)}
,
f
2
=
(
0
,
1
,
0
)
{\displaystyle f_{2}=(0,1,0)}
et
f
3
=
(
1
,
1
,
−
1
)
{\displaystyle f_{3}=(1,1,-1)}
. Montrer que
(
f
1
,
f
2
,
f
3
)
{\displaystyle \left(f_{1},f_{2},f_{3}\right)}
est une base de
R
3
{\displaystyle \mathbb {R} ^{3}}
.
Donner la matrice de
b
{\displaystyle b}
dans cette base.
Soit
B
{\displaystyle B}
la forme bilinéaire sur
R
2
[
X
]
{\displaystyle \mathbb {R} _{2}[X]}
définie par :
B
(
f
,
g
)
=
∫
0
1
f
g
{\displaystyle B(f,g)=\int _{0}^{1}fg}
.
Est-elle dégénérée ?
Déterminer la matrice de
B
{\displaystyle B}
dans la base canonique de
R
2
[
X
]
{\displaystyle \mathbb {R} _{2}[X]}
.
Soient
P
1
=
1
{\displaystyle P_{1}=1}
,
P
2
=
X
−
1
2
{\displaystyle P_{2}=X-{\frac {1}{2}}}
et
P
3
=
X
2
−
X
+
1
6
{\displaystyle P_{3}=X^{2}-X+{\frac {1}{6}}}
. Montrer que
(
P
1
,
P
2
,
P
3
)
{\displaystyle \left(P_{1},P_{2},P_{3}\right)}
est une base de
R
2
[
X
]
{\displaystyle \mathbb {R} _{2}[X]}
.
Déterminer la matrice de
B
{\displaystyle B}
dans cette base, de deux manières
Soit
B
{\displaystyle B}
la forme bilinéaire symétrique sur
R
2
[
X
]
{\displaystyle \mathbb {R} _{2}[X]}
définie par :
B
(
f
,
g
)
=
f
(
0
)
g
(
0
)
+
f
(
1
)
g
(
1
)
{\displaystyle B(f,g)=f(0)g(0)+f(1)g(1)}
.
Quel est son noyau ?
Déterminer la matrice de
B
{\displaystyle B}
dans la base canonique de
R
2
[
X
]
{\displaystyle \mathbb {R} _{2}[X]}
.
Soit
T
{\displaystyle T}
la forme bilinéaire sur
M
2
(
R
)
{\displaystyle \mathrm {M} _{2}(\mathbb {R} )}
définie par :
T
(
A
,
B
)
=
T
r
(
A
B
)
{\displaystyle T(A,B)=\mathrm {Tr} (AB)}
.
Déterminer la matrice de
T
{\displaystyle T}
dans la base canonique de
M
2
(
R
)
{\displaystyle \mathrm {M} _{2}(\mathbb {R} )}
.
Soient
E
1
=
(
1
0
0
0
)
,
E
2
=
(
0
0
0
1
)
,
E
3
=
(
0
1
1
0
)
,
E
4
=
(
0
1
−
1
0
)
{\displaystyle E_{1}={\begin{pmatrix}1&0\\0&0\end{pmatrix}},\quad E_{2}={\begin{pmatrix}0&0\\0&1\end{pmatrix}},\quad E_{3}={\begin{pmatrix}0&1\\1&0\end{pmatrix}},\quad E_{4}={\begin{pmatrix}0&1\\-1&0\end{pmatrix}}}
. Montrer que
(
E
1
,
E
2
,
E
3
,
E
4
)
{\displaystyle \left(E_{1},E_{2},E_{3},E_{4}\right)}
est une base de
M
2
(
R
)
{\displaystyle \mathrm {M} _{2}(\mathbb {R} )}
.
Déterminer la matrice de
T
{\displaystyle T}
dans cette base, de deux manières.
Solution
La base canonique de
M
2
(
R
)
{\displaystyle \mathrm {M} _{2}(\mathbb {R} )}
est
(
E
1
,
1
,
E
1
,
2
,
E
2
,
1
,
E
2
,
2
)
=
(
(
1
0
0
0
)
,
(
0
1
0
0
)
,
(
0
0
1
0
)
,
(
0
0
0
1
)
)
{\displaystyle \left(E_{1,1},E_{1,2},E_{2,1},E_{2,2}\right)=\left({\begin{pmatrix}1&0\\0&0\end{pmatrix}},{\begin{pmatrix}0&1\\0&0\end{pmatrix}},{\begin{pmatrix}0&0\\1&0\end{pmatrix}},{\begin{pmatrix}0&0\\0&1\end{pmatrix}}\right)}
, et
T
(
E
i
,
j
,
E
k
,
ℓ
)
=
T
r
(
δ
j
,
k
E
i
,
ℓ
)
=
δ
j
,
k
δ
i
,
ℓ
{\displaystyle T\left(E_{i,j},E_{k,\ell }\right)=\mathrm {Tr} \left(\delta _{j,k}E_{i,\ell }\right)=\delta _{j,k}\delta _{i,\ell }}
, donc la matrice de
T
{\displaystyle T}
dans la base canonique est
M
=
(
1
0
0
0
0
0
1
0
0
1
0
0
0
0
0
1
)
{\displaystyle M={\begin{pmatrix}1&0&0&0\\0&0&1&0\\0&1&0&0\\0&0&0&1\end{pmatrix}}}
.
det
P
=
|
1
0
0
0
0
0
1
1
0
0
1
−
1
0
1
0
0
|
=
−
2
≠
0
{\displaystyle \det P={\begin{vmatrix}1&0&0&0\\0&0&1&1\\0&0&1&-1\\0&1&0&0\end{vmatrix}}=-2\neq 0}
donc ces 4 vecteurs forment une famille libre, or
dim
(
M
2
(
R
)
)
=
4
{\displaystyle \dim \left(\mathrm {M} _{2}(\mathbb {R} )\right)=4}
, donc cette famille libre est une base de
M
2
(
R
)
{\displaystyle \mathrm {M} _{2}(\mathbb {R} )}
.
On peut effectuer le produit
N
=
t
P
M
P
{\displaystyle N={}^{t}\!PMP}
, ou calculer séparément chacun des 16 termes
T
(
E
i
,
E
j
)
{\displaystyle T(E_{i},E_{j})}
de
N
{\displaystyle N}
(il suffit en fait de calculer les 10 pour lesquels
i
≥
j
{\displaystyle i\geq j}
, car
T
(
A
,
B
)
=
T
(
B
,
A
)
{\displaystyle T(A,B)=T(B,A)}
).
N
=
(
1
0
0
0
0
1
0
0
0
0
2
0
0
0
0
−
2
)
{\displaystyle N={\begin{pmatrix}1&0&0&0\\0&1&0&0\\0&0&2&0\\0&0&0&-2\end{pmatrix}}}
.
Trouver la matrice d'une forme bilinéaire dans la base
B
′
=
(
e
1
′
,
e
2
′
,
e
3
′
)
{\displaystyle B'=(e'_{1},e'_{2},e'_{3})}
si la matrice de cette forme dans la base
B
=
(
e
1
,
e
2
,
e
3
)
{\displaystyle B=(e_{1},e_{2},e_{3})}
est
M
=
(
1
2
3
4
5
6
7
8
9
)
et si
{
e
1
′
=
e
1
−
e
2
,
e
2
′
=
e
1
+
e
3
,
e
3
′
=
e
1
+
e
2
+
e
3
.
{\displaystyle M={\begin{pmatrix}1&2&3\\4&5&6\\7&8&9\end{pmatrix}}\quad {\text{et si}}\quad {\begin{cases}e'_{1}=e_{1}-e_{2},\\e'_{2}=e_{1}+e_{3},\\e'_{3}=e_{1}+e_{2}+e_{3}.\end{cases}}}
Soient
A
,
B
∈
End
(
E
)
{\displaystyle {\mathcal {A}},{\mathcal {B}}\in \operatorname {End} (E)}
et
f
,
g
{\displaystyle f,g}
deux formes bilinéaires sur
E
{\displaystyle E}
telles que
f
(
x
,
y
)
=
g
(
A
x
,
B
y
)
{\displaystyle f(x,y)=g({\mathcal {A}}x,{\mathcal {B}}y)}
. Soient
A
,
B
,
F
,
G
{\displaystyle A,B,F,G}
les matrices de
A
,
B
,
f
,
g
{\displaystyle {\mathcal {A}},{\mathcal {B}},f,g}
respectivement (dans une base fixée de
E
{\displaystyle E}
, qui est supposé de dimension finie). Trouver le lien entre
A
,
B
,
F
,
G
{\displaystyle A,B,F,G}
.
Le noyau à gauche d'une forme bilinéaire
b
{\displaystyle b}
est le sous-espace vectoriel constitué des vecteurs
u
{\displaystyle u}
tels que
∀
v
b
(
u
,
v
)
=
0
{\displaystyle \forall v\quad b(u,v)=0}
et le noyau à droite est le sous-espace constitué des
v
{\displaystyle v}
tels que
∀
u
b
(
u
,
v
)
=
0
{\displaystyle \forall u\quad b(u,v)=0}
.
Trouver le noyau à droite et le noyau à gauche des formes bilinéaires données par les matrices
A
=
(
2
−
3
1
3
−
5
5
5
−
8
6
)
et
B
=
(
4
3
2
1
3
5
3
6
9
)
{\displaystyle A={\begin{pmatrix}2&-3&1\\3&-5&5\\5&-8&6\end{pmatrix}}\quad {\text{et}}\quad B={\begin{pmatrix}4&3&2\\1&3&5\\3&6&9\end{pmatrix}}}
.
Solution
On trouve facilement que
A
{\displaystyle A}
et
B
{\displaystyle B}
sont de rang 2, ce qui, d'après le théorème du rang, permet de prévoir que les quatre noyaux sont des droites vectorielles.
Pour
A
{\displaystyle A}
:
noyau à gauche :
(
0
0
0
)
=
(
x
y
z
)
A
=
(
2
x
+
3
y
+
5
z
−
3
x
−
5
y
−
8
z
x
+
5
y
+
6
z
)
{\displaystyle {\begin{pmatrix}0&0&0\end{pmatrix}}={\begin{pmatrix}x&y&z\end{pmatrix}}A={\begin{pmatrix}2x+3y+5z&-3x-5y-8z&x+5y+6z\end{pmatrix}}}
⇔
y
=
x
,
z
=
−
x
{\displaystyle \Leftrightarrow y=x,\;z=-x}
donc ce noyau est engendré par le vecteur
(
1
,
1
,
−
1
)
{\displaystyle (1,1,-1)}
.
noyau à droite :
(
0
0
0
)
=
A
(
x
y
z
)
=
(
2
x
−
3
y
+
z
3
x
−
5
y
+
5
z
5
x
−
8
y
+
6
z
)
{\displaystyle {\begin{pmatrix}0\\0\\0\end{pmatrix}}=A{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}2x-3y+z\\3x-5y+5z\\5x-8y+6z\end{pmatrix}}}
⇔
x
=
10
z
,
y
=
7
z
{\displaystyle \Leftrightarrow x=10z,\;y=7z}
donc ce noyau est engendré par le vecteur
(
10
,
7
,
1
)
{\displaystyle (10,7,1)}
.
Pour
B
{\displaystyle B}
:
noyau à gauche :
(
0
0
0
)
=
(
x
y
z
)
B
=
(
4
x
+
y
+
3
z
3
x
+
3
y
+
6
z
2
x
+
5
y
+
9
z
)
{\displaystyle {\begin{pmatrix}0&0&0\end{pmatrix}}={\begin{pmatrix}x&y&z\end{pmatrix}}B={\begin{pmatrix}4x+y+3z&3x+3y+6z&2x+5y+9z\end{pmatrix}}}
⇔
y
=
5
x
,
z
=
−
3
x
{\displaystyle \Leftrightarrow y=5x,\;z=-3x}
donc ce noyau est engendré par le vecteur
(
1
,
5
,
−
3
)
{\displaystyle (1,5,-3)}
.
noyau à droite :
(
0
0
0
)
=
B
(
x
y
z
)
=
(
4
x
+
3
y
+
2
z
x
+
3
y
+
5
z
3
x
+
6
y
+
9
z
)
{\displaystyle {\begin{pmatrix}0\\0\\0\end{pmatrix}}=B{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}4x+3y+2z\\x+3y+5z\\3x+6y+9z\end{pmatrix}}}
⇔
z
=
x
,
y
=
−
2
x
{\displaystyle \Leftrightarrow z=x,\;y=-2x}
donc ce noyau est engendré par le vecteur
(
1
,
−
2
,
1
)
{\displaystyle (1,-2,1)}
.
Soit
E
=
R
4
{\displaystyle E=\mathbb {R} ^{4}}
et soit
b
{\displaystyle b}
la forme bilinéaire dont la matrice dans la base canonique est :
M
=
(
7
−
2
−
12
−
6
−
2
0
4
3
−
12
4
19
9
−
6
3
9
2
)
{\displaystyle M={\begin{pmatrix}7&-2&-12&-6\\-2&0&4&3\\-12&4&19&9\\-6&3&9&2\end{pmatrix}}}
.
Montrer que
b
{\displaystyle b}
est symétrique et non dégénérée.
Donner des équations, puis une base de l'orthogonal pour
b
{\displaystyle b}
du sous-espace
R
2
×
{
(
0
,
0
)
}
⊂
E
{\displaystyle \mathbb {R} ^{2}\times \{(0,0)\}\subset E}
.
Mêmes questions pour
F
:=
{
0
}
×
R
2
×
{
0
}
{\displaystyle F:=\{0\}\times \mathbb {R} ^{2}\times \{0\}}
.
Calculer
F
∩
F
⊥
{\displaystyle F\cap F^{\perp }}
.
Démontrer que
F
{\displaystyle F}
contient des vecteurs isotropes non nuls.
Solution
b
{\displaystyle b}
est symétrique car
M
{\displaystyle M}
l'est. Elle est non dégénérée car
det
M
≠
0
{\displaystyle \det M\neq 0}
car modulo 2,
det
M
≡
|
1
0
0
0
0
0
0
1
0
0
1
1
0
1
1
0
|
=
−
1
{\displaystyle \det M\equiv {\begin{vmatrix}1&0&0&0\\0&0&0&1\\0&0&1&1\\0&1&1&0\end{vmatrix}}=-1}
.
(
7
x
−
2
y
−
12
z
−
6
t
=
0
,
−
2
x
+
4
z
+
3
t
=
0
)
⇔
(
x
=
4
z
+
3
t
2
,
y
=
4
z
+
9
t
4
)
{\displaystyle \left(7x-2y-12z-6t=0,\;-2x+4z+3t=0\right)\Leftrightarrow \left(x={\frac {4z+3t}{2}},\;y={\frac {4z+9t}{4}}\right)}
. Une base est donc
(
(
2
,
1
,
1
,
0
)
,
(
6
,
9
,
0
,
4
)
)
{\displaystyle \left((2,1,1,0),(6,9,0,4)\right)}
. (Il est normal que l'orthogonal d'un plan soit de codimension 2, puisque
b
{\displaystyle b}
est non dégénérée.)
(
−
2
x
+
4
z
+
3
t
=
0
,
−
12
x
+
4
y
+
19
z
+
9
t
=
0
)
⇔
(
x
=
4
z
+
3
t
2
,
y
=
5
z
+
9
t
4
)
{\displaystyle \left(-2x+4z+3t=0,\;-12x+4y+19z+9t=0\right)\Leftrightarrow \left(x={\frac {4z+3t}{2}},\;y={\frac {5z+9t}{4}}\right)}
. Une base est donc
(
(
8
,
5
,
4
,
0
)
,
(
6
,
9
,
0
,
4
)
)
{\displaystyle \left((8,5,4,0),(6,9,0,4)\right)}
.
(
0
=
4
z
+
3
×
0
2
,
y
=
5
z
+
9
×
0
4
)
⇔
(
z
=
0
,
y
=
0
)
{\displaystyle \left(0={\frac {4z+3\times 0}{2}},\;y={\frac {5z+9\times 0}{4}}\right)\Leftrightarrow \left(z=0,\;y=0\right)}
donc
F
∩
F
⊥
=
{
(
0
,
0
,
0
,
0
)
}
{\displaystyle F\cap F^{\perp }=\{(0,0,0,0)\}}
.
b
(
(
0
,
y
,
z
,
0
)
,
(
0
,
y
,
z
,
0
)
)
=
8
y
z
+
9
z
2
=
z
(
8
y
+
9
z
)
{\displaystyle b\left((0,y,z,0),(0,y,z,0)\right)=8yz+9z^{2}=z\left(8y+9z\right)}
. Le cône isotrope de
F
{\displaystyle F}
est donc la réunion de deux droites, engendrées respectivement par
(
0
,
1
,
0
,
0
)
{\displaystyle (0,1,0,0)}
et
(
0
,
19
,
−
8
,
0
)
{\displaystyle (0,19,-8,0)}
.
Soit
b
{\displaystyle b}
la forme bilinéaire sur
K
4
{\displaystyle K^{4}}
dont la matrice dans la base canonique est :
M
=
(
9
−
6
0
−
6
−
6
4
0
4
0
0
1
−
1
−
6
4
−
1
5
)
{\displaystyle M={\begin{pmatrix}9&-6&0&-6\\-6&4&0&4\\0&0&1&-1\\-6&4&-1&5\end{pmatrix}}}
.
b
{\displaystyle b}
est-elle symétrique ?
Donner une base de son noyau.
Appliquer l'algorithme de Gauss à la forme quadratique
q
{\displaystyle q}
définie par
q
(
v
)
=
b
(
v
,
v
)
{\displaystyle q(v)=b(v,v)}
et comparer les résultats.
Solution
b
{\displaystyle b}
est symétrique puisque
M
{\displaystyle M}
l'est.
{
9
x
−
6
y
−
6
t
=
0
−
6
x
+
4
y
+
4
t
=
0
z
−
t
=
0
−
6
x
+
4
y
−
z
+
5
t
=
0
}
⇔
{
z
=
t
x
=
2
3
(
y
+
t
)
{\displaystyle \left\{{\begin{matrix}9x-6y-6t=0\\-6x+4y+4t=0\\z-t=0\\-6x+4y-z+5t=0\end{matrix}}\right\}\Leftrightarrow {\begin{cases}z=t\\x={\frac {2}{3}}(y+t)\end{cases}}}
donc une base du noyau est par exemple
(
(
2
,
3
,
0
,
0
)
,
(
2
,
0
,
3
,
3
)
)
{\displaystyle \left((2,3,0,0),(2,0,3,3)\right)}
.
q
(
x
,
y
,
z
,
t
)
=
9
x
2
−
12
x
y
−
12
x
t
+
4
y
2
+
8
y
t
+
z
2
−
2
z
t
+
5
t
2
=
(
3
x
)
2
+
6
x
(
−
2
y
−
2
t
)
+
4
y
2
+
8
y
t
+
z
2
−
2
z
t
+
5
t
2
=
(
3
x
−
2
y
−
2
t
)
2
−
(
−
2
y
−
2
t
)
2
+
4
y
2
+
8
y
t
+
z
2
−
2
z
t
+
5
t
2
=
(
3
x
−
2
y
−
2
t
)
2
+
z
2
−
2
z
t
+
t
2
=
(
3
x
−
2
y
−
2
t
)
2
+
(
z
−
t
)
2
{\displaystyle {\begin{aligned}q\left(x,y,z,t\right)&=9x^{2}-12xy-12xt+4y^{2}+8yt+z^{2}-2zt+5t^{2}\\&=(3x)^{2}+6x\left(-2y-2t\right)+4y^{2}+8yt+z^{2}-2zt+5t^{2}\\&=\left(3x-2y-2t\right)^{2}-\left(-2y-2t\right)^{2}+4y^{2}+8yt+z^{2}-2zt+5t^{2}\\&=\left(3x-2y-2t\right)^{2}+z^{2}-2zt+t^{2}\\&=\left(3x-2y-2t\right)^{2}+\left(z-t\right)^{2}\end{aligned}}}
donc
q
{\displaystyle q}
est de rang 2, ce qui était prévisible par le théorème du rang, puisque son noyau est de codimension 2.
Soit
E
=
M
n
(
R
)
{\displaystyle E=\operatorname {M} _{n}(\mathbb {R} )}
.
Montrer que la forme bilinéaire
E
×
E
→
R
,
(
A
,
B
)
↦
Tr
(
A
B
)
{\displaystyle E\times E\to \mathbb {R} ,\quad (A,B)\mapsto \operatorname {Tr} (AB)}
est symétrique et non dégénérée.
Soit
M
∈
E
{\displaystyle M\in E}
. Calculer la dimension des deux noyaux de la forme bilinéaire
ℓ
M
:
(
A
,
B
)
↦
Tr
(
A
M
B
)
{\displaystyle \ell _{M}:(A,B)\mapsto \operatorname {Tr} (AMB)}
, en fonction du rang de
M
{\displaystyle M}
.
Pour
M
=
(
2
3
1
2
)
{\displaystyle M={\begin{pmatrix}2&3\\1&2\end{pmatrix}}}
, donner la matrice de
ℓ
M
{\displaystyle \ell _{M}}
dans la base canonique de
M
2
(
R
)
{\displaystyle \operatorname {M} _{2}(\mathbb {R} )}
.
Solution
La forme est symétrique et non dégénérée car
Tr
(
A
B
)
=
∑
i
(
A
B
)
i
,
i
=
∑
i
,
j
A
i
,
j
B
j
,
i
{\displaystyle \operatorname {Tr} (AB)=\sum _{i}(AB)_{i,i}=\sum _{i,j}A_{i,j}B_{j,i}}
.
A
∈
ker
g
(
ℓ
M
)
⇔
A
M
=
0
{\displaystyle A\in \ker _{g}(\ell _{M})\Leftrightarrow AM=0}
et
B
∈
ker
d
(
ℓ
M
)
⇔
M
B
=
0
{\displaystyle B\in \ker _{d}(\ell _{M})\Leftrightarrow MB=0}
donc les deux noyaux de
ℓ
M
{\displaystyle \ell _{M}}
ont pour dimension
dim
(
(
ker
M
)
n
)
=
n
(
n
−
rang
M
)
{\displaystyle \dim \left((\ker M)^{n}\right)=n(n-\operatorname {rang} M)}
.
La base canonique de
M
2
(
R
)
{\displaystyle \mathrm {M} _{2}(\mathbb {R} )}
est
(
E
1
,
1
,
E
1
,
2
,
E
2
,
1
,
E
2
,
2
)
=
(
(
1
0
0
0
)
,
(
0
1
0
0
)
,
(
0
0
1
0
)
,
(
0
0
0
1
)
)
{\displaystyle \left(E_{1,1},E_{1,2},E_{2,1},E_{2,2}\right)=\left({\begin{pmatrix}1&0\\0&0\end{pmatrix}},{\begin{pmatrix}0&1\\0&0\end{pmatrix}},{\begin{pmatrix}0&0\\1&0\end{pmatrix}},{\begin{pmatrix}0&0\\0&1\end{pmatrix}}\right)}
. La matrice de
ℓ
M
{\displaystyle \ell _{M}}
dans cette base est
(
2
0
3
0
1
0
2
0
0
2
0
3
0
1
0
2
)
{\displaystyle {\begin{pmatrix}2&0&3&0\\1&0&2&0\\0&2&0&3\\0&1&0&2\end{pmatrix}}}
.
Soit
q
{\displaystyle q}
la forme quadratique sur
R
3
{\displaystyle \mathbb {R} ^{3}}
définie par :
q
(
x
,
y
,
z
)
=
−
x
2
+
2
x
y
+
4
x
z
−
y
2
+
z
2
{\displaystyle q\left(x,y,z\right)=-x^{2}+2xy+4xz-y^{2}+z^{2}}
. Décomposer
q
{\displaystyle q}
en somme de carrés de formes linéaires et d'opposés de tels carrés, en utilisant la méthode de Gauss. En déduire une base dans laquelle l’expression de
q
{\displaystyle q}
est de la forme
a
X
2
+
b
Y
2
+
c
Z
2
{\displaystyle aX^{2}+bY^{2}+cZ^{2}}
. Quelle est la particularité de cette base ? Est-elle orthogonale ou orthonormale ?
Solution
http://pedagotech.inp-toulouse.fr/140420/res/Exercices_mod2_sem2b.pdf p. 19-20
q
(
x
,
y
,
z
)
=
−
(
x
−
y
)
2
+
(
z
+
2
x
)
2
−
4
x
2
=
X
2
−
Y
2
−
Z
2
{\displaystyle q\left(x,y,z\right)=-(x-y)^{2}+(z+2x)^{2}-4x^{2}=X^{2}-Y^{2}-Z^{2}}
avec
X
=
z
+
2
x
{\displaystyle X=z+2x}
,
Y
=
x
−
y
{\displaystyle Y=x-y}
et
Z
=
2
x
{\displaystyle Z=2x}
, donc
x
=
Z
/
2
{\displaystyle x=Z/2}
,
y
=
Z
/
2
−
Y
{\displaystyle y=Z/2-Y}
,
z
=
X
−
Z
{\displaystyle z=X-Z}
et la nouvelle base est
(
(
0
,
0
,
1
)
,
(
0
,
−
1
,
0
)
,
(
1
/
2
,
1
/
2
,
−
1
)
)
{\displaystyle \left((0,0,1),(0,-1,0),(1/2,1/2,-1)\right)}
.
Cette base est orthogonale pour
q
{\displaystyle q}
(par construction) mais pas pour la structure euclidienne canonique sur
R
3
{\displaystyle \mathbb {R} ^{3}}
. C'est (avec la non-unicité) la principale tare de l'algorithme de réduction de Gauss, par rapport à celui de diagonalisation des matrices autoadjointes (en échange, l'algorithme de Gauss est plus simple).
Mêmes questions pour
q
(
x
,
y
,
z
)
=
x
2
+
2
y
2
+
5
z
2
+
2
x
y
+
4
y
z
{\displaystyle q\left(x,y,z\right)=x^{2}+2y^{2}+5z^{2}+2xy+4yz}
.
Solution
q
(
x
,
y
,
z
)
=
(
x
+
y
)
2
+
y
2
+
5
z
2
+
4
y
z
=
(
x
+
y
)
2
+
(
y
+
2
z
)
2
+
z
2
=
X
2
+
Y
2
+
Z
2
{\displaystyle q\left(x,y,z\right)=\left(x+y\right)^{2}+y^{2}+5z^{2}+4yz=\left(x+y\right)^{2}+\left(y+2z\right)^{2}+z^{2}=X^{2}+Y^{2}+Z^{2}}
avec
X
=
x
+
y
{\displaystyle X=x+y}
,
Y
=
y
+
2
z
{\displaystyle Y=y+2z}
et
Z
=
z
{\displaystyle Z=z}
, donc
z
=
Z
{\displaystyle z=Z}
,
y
=
Y
−
2
Z
{\displaystyle y=Y-2Z}
,
x
=
X
−
Y
+
2
Z
{\displaystyle x=X-Y+2Z}
et la nouvelle base (orthonormée pour
q
{\displaystyle q}
mais pas orthogonale pour la structure euclidienne canonique sur
R
3
{\displaystyle \mathbb {R} ^{3}}
) est
(
(
1
,
0
,
0
)
,
(
−
1
,
1
,
0
)
,
(
2
,
−
2
,
1
)
)
{\displaystyle \left((1,0,0),(-1,1,0),(2,-2,1)\right)}
.
Considérons la forme quadratique
q
(
x
,
y
,
z
)
=
x
2
+
2
y
2
+
13
z
2
−
2
x
y
+
6
x
z
−
10
y
z
{\displaystyle q(x,y,z)=x^{2}+2y^{2}+13z^{2}-2xy+6xz-10yz}
.
Écrire la matrice de
q
{\displaystyle q}
dans la base canonique de
R
3
{\displaystyle \mathbb {R} ^{3}}
.
Soit
φ
{\displaystyle \varphi }
la forme bilinéaire symétrique associée, donner l'expression de
φ
(
(
x
,
y
,
z
)
,
(
x
′
,
y
′
,
z
′
)
)
{\displaystyle \varphi ((x,y,z),(x',y',z'))}
.
Déterminer la signature et le rang de
q
{\displaystyle q}
.
Déterminer une base orthogonale pour
q
{\displaystyle q}
.
Solution
A
=
(
1
−
1
3
−
1
2
−
5
3
−
5
13
)
{\displaystyle A={\begin{pmatrix}1&-1&3\\-1&2&-5\\3&-5&13\end{pmatrix}}}
.
φ
(
(
x
,
y
,
z
)
,
(
x
′
,
y
′
,
z
′
)
)
=
x
x
′
+
2
y
y
′
+
13
z
z
′
−
(
x
y
′
+
y
x
′
)
+
3
(
x
z
′
+
z
x
′
)
−
5
(
y
z
′
+
z
y
′
)
{\displaystyle \varphi ((x,y,z),(x',y',z'))=xx'+2yy'+13zz'-(xy'+yx')+3(xz'+zx')-5(yz'+zy')}
.
x
2
+
2
y
2
+
13
z
2
−
2
x
y
+
6
x
z
−
10
y
z
=
(
x
−
y
+
3
z
)
2
+
y
2
+
4
z
2
−
4
y
z
=
(
x
−
y
+
3
z
)
2
+
(
y
−
2
z
)
2
{\displaystyle x^{2}+2y^{2}+13z^{2}-2xy+6xz-10yz=(x-y+3z)^{2}+y^{2}+4z^{2}-4yz=(x-y+3z)^{2}+(y-2z)^{2}}
, donc
q
{\displaystyle q}
est de rang
2
{\displaystyle 2}
et de signature
(
2
,
0
)
{\displaystyle (2,0)}
.
∀
X
∈
R
3
q
(
X
)
=
f
2
(
X
)
+
g
2
(
X
)
{\displaystyle \forall X\in \mathbb {R} ^{3}\quad q(X)=f^{2}(X)+g^{2}(X)}
où
f
,
g
{\displaystyle f,g}
sont les deux formes linéaires (indépendantes)
f
(
x
,
y
,
z
)
=
x
−
y
+
3
z
{\displaystyle f(x,y,z)=x-y+3z}
et
g
(
x
,
y
,
z
)
=
y
−
2
z
{\displaystyle g(x,y,z)=y-2z}
. Donc (par unicité de la forme bilinéaire symétrique associée)
∀
X
,
X
′
∈
R
3
φ
(
X
,
X
′
)
=
f
(
X
)
f
(
X
′
)
+
g
(
X
)
g
(
X
′
)
{\displaystyle \forall X,X'\in \mathbb {R} ^{3}\quad \varphi (X,X')=f(X)f(X')+g(X)g(X')}
. On aura donc trois vecteurs «
φ
{\displaystyle \varphi }
-orthogonaux » 2 à 2 en choisissant
ε
i
{\displaystyle \varepsilon _{i}}
tels que
g
(
ε
1
)
=
0
,
f
(
ε
2
)
=
0
,
f
(
ε
3
)
=
g
(
ε
3
)
=
0
{\displaystyle g(\varepsilon _{1})=0,f(\varepsilon _{2})=0,f(\varepsilon _{3})=g(\varepsilon _{3})=0}
, et ils formeront un système libre (donc une base) si et seulement si
f
(
ε
1
)
≠
0
,
g
(
ε
2
)
≠
0
,
ε
3
≠
0
{\displaystyle f(\varepsilon _{1})\neq 0,g(\varepsilon _{2})\neq 0,\varepsilon _{3}\neq 0}
. Par exemple
ε
1
=
(
1
,
0
,
0
)
,
ε
2
=
(
1
,
1
,
0
)
,
ε
3
=
(
−
1
,
2
,
1
)
{\displaystyle \varepsilon _{1}=(1,0,0),\varepsilon _{2}=(1,1,0),\varepsilon _{3}=(-1,2,1)}
.
Pour chacune des formes quadratiques suivantes, donner sa forme polaire, puis des coordonnées dans lesquelles la forme est diagonale et la base de
E
{\displaystyle E}
correspondante :
E
=
K
2
{\displaystyle E=K^{2}}
,
q
(
x
,
y
)
=
x
2
−
2
x
y
+
2
y
2
{\displaystyle q\left(x,y\right)=x^{2}-2xy+2y^{2}}
;
E
=
K
2
{\displaystyle E=K^{2}}
,
q
(
x
,
y
)
=
x
y
{\displaystyle q\left(x,y\right)=xy}
;
E
=
K
3
{\displaystyle E=K^{3}}
,
q
(
x
,
y
,
z
)
=
x
2
−
4
x
y
+
y
2
+
2
y
z
−
z
2
{\displaystyle q\left(x,y,z\right)=x^{2}-4xy+y^{2}+2yz-z^{2}}
;
E
=
(
K
1
[
T
]
)
2
{\displaystyle E=\left(K_{1}[T]\right)^{2}}
,
q
(
f
,
g
)
=
∫
0
1
t
f
(
t
)
g
(
t
)
d
t
{\displaystyle q\left(f,g\right)=\int _{0}^{1}tf(t)g(t)\,\mathrm {d} t}
.
Solution
b
(
(
x
,
y
)
,
(
x
′
,
y
′
)
)
=
x
x
′
−
x
y
′
−
x
′
y
+
2
y
y
′
{\displaystyle b\left((x,y),(x',y')\right)=xx'-xy'-x'y+2yy'}
.
q
(
x
,
y
)
=
(
x
−
y
)
2
+
y
2
=
X
2
+
Y
2
{\displaystyle q\left(x,y\right)=(x-y)^{2}+y^{2}=X^{2}+Y^{2}}
,
y
=
Y
{\displaystyle y=Y}
,
x
=
X
+
Y
{\displaystyle x=X+Y}
et la nouvelle base est
(
(
1
,
0
)
,
(
2
,
1
)
)
{\displaystyle \left((1,0),(2,1)\right)}
.
b
(
(
x
,
y
)
,
(
x
′
,
y
′
)
)
=
1
2
(
x
y
′
+
x
′
y
)
{\displaystyle b\left((x,y),(x',y')\right)={\frac {1}{2}}(xy'+x'y)}
.
q
(
x
,
y
)
=
(
x
+
y
2
)
2
−
(
x
−
y
2
)
2
=
X
2
−
Y
2
{\displaystyle q\left(x,y\right)=\left({\frac {x+y}{2}}\right)^{2}-\left({\frac {x-y}{2}}\right)^{2}=X^{2}-Y^{2}}
,
x
=
X
+
Y
{\displaystyle x=X+Y}
,
y
=
X
−
Y
{\displaystyle y=X-Y}
et la nouvelle base est
(
(
1
,
1
)
,
(
1
,
−
1
)
)
{\displaystyle \left((1,1),(1,-1)\right)}
.
b
(
(
x
,
y
,
z
)
,
(
x
′
,
y
′
,
z
′
)
)
=
x
x
′
−
2
x
y
′
−
2
x
′
y
+
y
y
′
+
y
z
′
+
y
′
z
−
z
z
′
{\displaystyle b\left((x,y,z),(x',y',z')\right)=xx'-2xy'-2x'y+yy'+yz'+y'z-zz'}
.
q
(
x
,
y
,
z
)
=
(
x
−
2
y
)
2
−
3
y
2
+
2
y
z
−
z
2
=
(
x
−
2
y
)
2
−
3
(
y
−
z
3
)
2
−
2
3
z
2
=
X
2
−
3
Y
2
−
2
3
Z
2
{\displaystyle q\left(x,y,z\right)=\left(x-2y\right)^{2}-3y^{2}+2yz-z^{2}=\left(x-2y\right)^{2}-3\left(y-{\frac {z}{3}}\right)^{2}-{\frac {2}{3}}z^{2}=X^{2}-3Y^{2}-{\frac {2}{3}}Z^{2}}
,
z
=
Z
{\displaystyle z=Z}
,
y
=
Y
+
Z
3
{\displaystyle y=Y+{\frac {Z}{3}}}
,
x
=
X
+
2
Y
+
2
3
Z
{\displaystyle x=X+2Y+{\frac {2}{3}}Z}
et la nouvelle base est
(
(
1
,
0
,
0
)
,
(
2
,
1
,
0
)
,
(
2
3
,
1
3
,
1
)
)
{\displaystyle \left((1,0,0),(2,1,0),\left({\frac {2}{3}},{\frac {1}{3}},1\right)\right)}
.
b
(
(
f
1
,
g
1
)
,
(
f
2
,
g
2
)
)
=
1
2
∫
0
1
t
(
f
1
(
t
)
g
2
(
t
)
+
f
2
(
t
)
g
1
(
t
)
)
d
t
{\displaystyle b\left((f_{1},g_{1}),(f_{2},g_{2})\right)={\frac {1}{2}}\int _{0}^{1}t\left(f_{1}(t)g_{2}(t)+f_{2}(t)g_{1}(t)\right)\,\mathrm {d} t}
.
q
(
x
T
+
y
,
u
T
+
v
)
=
∫
0
1
(
x
u
t
3
+
(
x
v
+
y
u
)
t
2
+
y
v
t
)
d
t
=
x
u
4
+
x
v
+
y
u
3
+
y
v
2
=
(
x
2
+
2
y
3
)
(
u
2
+
2
v
3
)
+
y
v
18
{\displaystyle q\left(xT+y,uT+v\right)=\int _{0}^{1}\left(xut^{3}+(xv+yu)t^{2}+yvt\right)\,\mathrm {d} t={\frac {xu}{4}}+{\frac {xv+yu}{3}}+{\frac {yv}{2}}=\left({\frac {x}{2}}+{\frac {2y}{3}}\right)\left({\frac {u}{2}}+{\frac {2v}{3}}\right)+{\frac {yv}{18}}}
=
(
3
x
+
4
y
+
3
u
+
4
v
12
)
2
−
(
3
x
+
4
y
−
3
u
−
4
v
12
)
2
+
(
2
y
+
v
12
)
2
−
(
2
y
−
v
12
)
2
=
X
2
−
Y
2
+
U
2
−
V
2
{\displaystyle =\left({\frac {3x+4y+3u+4v}{12}}\right)^{2}-\left({\frac {3x+4y-3u-4v}{12}}\right)^{2}+\left({\frac {2y+v}{12}}\right)^{2}-\left({\frac {2y-v}{12}}\right)^{2}=X^{2}-Y^{2}+U^{2}-V^{2}}
,
y
=
3
(
U
+
V
)
{\displaystyle y=3(U+V)}
,
v
=
6
(
U
−
V
)
{\displaystyle v=6(U-V)}
,
x
=
2
(
X
+
Y
)
−
4
(
U
+
V
)
{\displaystyle x=2(X+Y)-4(U+V)}
,
u
=
2
(
X
−
Y
)
−
8
(
U
−
V
)
{\displaystyle u=2(X-Y)-8(U-V)}
et les coordonnées dans l'ancienne base
(
(
T
,
0
)
,
(
1
,
0
)
,
(
0
,
T
)
,
(
0
,
1
)
)
{\displaystyle \left((T,0),(1,0),(0,T),(0,1)\right)}
de la nouvelle base sont
(
(
2
,
0
,
2
,
0
)
,
(
2
,
0
,
−
2
,
0
)
,
(
−
4
,
3
,
−
8
,
6
)
,
(
−
4
,
3
,
8
,
−
6
)
)
{\displaystyle \left((2,0,2,0),(2,0,-2,0),(-4,3,-8,6),(-4,3,8,-6)\right)}
, donc la nouvelle base est
(
(
2
T
,
2
T
)
,
(
2
T
,
−
2
T
)
,
(
−
4
T
+
3
,
−
8
T
+
6
)
,
(
−
4
T
+
3
,
8
T
−
6
)
)
{\displaystyle \left((2T,2T),(2T,-2T),(-4T+3,-8T+6),(-4T+3,8T-6)\right)}
.
Soient
V
=
{
(
a
b
c
d
)
∈
M
2
(
R
)
|
a
=
d
}
{\displaystyle V=\left.\left\{{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in \operatorname {M} _{2}(\mathbb {R} )\right|a=d\right\}}
et
J
=
(
1
1
1
−
1
)
{\displaystyle J={\begin{pmatrix}1&1\\1&-1\end{pmatrix}}}
. On considère la forme
B
:
V
×
V
→
R
,
(
M
,
N
)
↦
Tr
(
M
J
N
)
{\displaystyle B:V\times V\to \mathbb {R} ,\,(M,N)\mapsto \operatorname {Tr} (MJN)}
.
B
{\displaystyle B}
est-elle bilinéaire ? symétrique ? antisymétrique ?
Montrer que le triplet
B
:=
(
(
1
0
0
1
)
,
(
0
1
0
0
)
,
(
0
0
1
0
)
)
{\displaystyle {\mathcal {B}}:=\left({\begin{pmatrix}1&0\\0&1\end{pmatrix}},{\begin{pmatrix}0&1\\0&0\end{pmatrix}},{\begin{pmatrix}0&0\\1&0\end{pmatrix}}\right)}
est une base de
V
{\displaystyle V}
.
Déterminer la matrice dans
B
{\displaystyle {\mathcal {B}}}
de la forme quadratique
q
:
V
→
R
,
M
↦
B
(
M
,
M
)
{\displaystyle q:V\to \mathbb {R} ,\,M\mapsto B(M,M)}
.
Déterminer le noyau, le rang et la signature de
q
{\displaystyle q}
. La forme
q
{\displaystyle q}
est-elle définie ? positive ? négative ?
Déterminer le
q
{\displaystyle q}
-orthogonal du sous-espace
F
:=
{
(
a
0
0
a
)
|
a
∈
R
}
{\displaystyle F:=\left.\left\{{\begin{pmatrix}a&0\\0&a\end{pmatrix}}\right|a\in \mathbb {R} \right\}}
.
Solution
B
(
(
a
b
c
a
)
,
(
a
′
b
′
c
′
a
′
)
)
=
(
a
c
′
+
c
a
′
)
+
(
a
b
′
+
b
a
′
)
+
(
c
b
′
−
b
c
′
)
{\displaystyle B\left({\begin{pmatrix}a&b\\c&a\end{pmatrix}},{\begin{pmatrix}a'&b'\\c'&a'\end{pmatrix}}\right)=(ac'+ca')+(ab'+ba')+(cb'-bc')}
donc
B
{\displaystyle B}
est bilinéaire mais n'est
ni symétrique — par exemple,
B
(
(
0
0
1
0
)
,
(
0
1
0
0
)
)
=
1
≠
−
1
=
B
(
(
0
1
0
0
)
,
(
0
0
1
0
)
)
{\displaystyle B\left({\begin{pmatrix}0&0\\1&0\end{pmatrix}},{\begin{pmatrix}0&1\\0&0\end{pmatrix}}\right)=1\neq -1=B\left({\begin{pmatrix}0&1\\0&0\end{pmatrix}},{\begin{pmatrix}0&0\\1&0\end{pmatrix}}\right)}
;
ni antisymétrique — par exemple,
B
(
(
1
0
0
1
)
,
(
0
0
1
0
)
)
=
1
≠
−
1
=
−
B
(
(
0
0
1
0
)
,
(
1
0
0
1
)
)
{\displaystyle B\left({\begin{pmatrix}1&0\\0&1\end{pmatrix}},{\begin{pmatrix}0&0\\1&0\end{pmatrix}}\right)=1\neq -1=-B\left({\begin{pmatrix}0&0\\1&0\end{pmatrix}},{\begin{pmatrix}1&0\\0&1\end{pmatrix}}\right)}
.
V
{\displaystyle V}
est par définition engendré par
B
{\displaystyle {\mathcal {B}}}
, et ce triplet est libre car si
a
(
1
0
0
1
)
+
b
(
0
1
0
0
)
+
c
(
0
0
1
0
)
=
(
0
0
0
0
)
{\displaystyle a{\begin{pmatrix}1&0\\0&1\end{pmatrix}}+b{\begin{pmatrix}0&1\\0&0\end{pmatrix}}+c{\begin{pmatrix}0&0\\1&0\end{pmatrix}}={\begin{pmatrix}0&0\\0&0\end{pmatrix}}}
, c'est-à-dire si
(
a
b
c
a
)
=
(
0
0
0
0
)
{\displaystyle {\begin{pmatrix}a&b\\c&a\end{pmatrix}}={\begin{pmatrix}0&0\\0&0\end{pmatrix}}}
, alors
a
=
b
=
c
=
0
{\displaystyle a=b=c=0}
.
q
(
(
a
b
c
a
)
)
=
2
a
c
+
2
a
b
{\displaystyle q\left({\begin{pmatrix}a&b\\c&a\end{pmatrix}}\right)=2ac+2ab}
donc la matrice de
q
{\displaystyle q}
dans
B
{\displaystyle {\mathcal {B}}}
est
(
0
1
1
1
0
0
1
0
0
)
{\displaystyle {\begin{pmatrix}0&1&1\\1&0&0\\1&0&0\end{pmatrix}}}
.
q
(
(
a
b
c
a
)
)
=
(
a
+
b
+
c
)
2
−
(
a
−
b
−
c
)
2
2
{\displaystyle q\left({\begin{pmatrix}a&b\\c&a\end{pmatrix}}\right)={\frac {(a+b+c)^{2}-(a-b-c)^{2}}{2}}}
donc
q
{\displaystyle q}
a pour signature
(
1
,
1
)
{\displaystyle (1,1)}
. Elle n'est donc pas définie, ni même positive ou négative, et son rang est 2. Son noyau est (d'après la question précédente) la droite vectorielle
{
(
0
b
−
b
0
)
|
b
∈
R
}
{\displaystyle \left.\left\{{\begin{pmatrix}0&b\\-b&0\end{pmatrix}}\right|b\in \mathbb {R} \right\}}
(ce qui est cohérent avec son rang).
D'après la question 3,
F
⊥
=
{
(
a
b
−
b
a
)
|
a
,
b
∈
R
}
{\displaystyle F^{\bot }=\left.\left\{{\begin{pmatrix}a&b\\-b&a\end{pmatrix}}\right|a,b\in \mathbb {R} \right\}}
.
Voir aussi http://math.univ-lyon1.fr/capes/IMG/pdf/CAPESexoscorrigesfquad.pdf , exercice 3.
Effectuer une réduction de Gauss et déterminer le noyau, le rang et la signature des formes quadratiques suivantes :
q
:
R
3
→
R
,
(
x
,
y
,
z
)
↦
2
x
2
+
y
2
−
z
2
+
3
x
y
−
4
x
z
{\displaystyle q:\mathbb {R} ^{3}\to \mathbb {R} ,\,\left(x,y,z\right)\mapsto 2x^{2}+y^{2}-z^{2}+3xy-4xz}
;
q
:
R
3
→
R
,
(
x
,
y
,
z
)
↦
x
2
+
y
2
−
a
z
2
+
3
x
y
−
b
x
z
+
y
z
{\displaystyle q:\mathbb {R} ^{3}\to \mathbb {R} ,\,\left(x,y,z\right)\mapsto x^{2}+y^{2}-az^{2}+3xy-bxz+yz}
(discuter suivant les valeurs de
a
,
b
∈
R
{\displaystyle a,b\in \mathbb {R} }
) ;
q
:
R
4
→
R
,
(
x
,
y
,
z
,
t
)
↦
x
2
+
(
1
+
2
λ
−
μ
)
y
2
+
(
1
+
λ
)
z
2
+
(
1
+
2
λ
+
μ
)
t
2
+
2
x
y
+
2
x
z
−
2
x
t
+
2
(
1
−
λ
)
y
z
−
2
(
1
+
λ
)
y
t
+
2
(
λ
−
1
)
z
t
{\displaystyle q:\mathbb {R} ^{4}\to \mathbb {R} ,\,\left(x,y,z,t\right)\mapsto x^{2}+(1+2\lambda -\mu )y^{2}+(1+\lambda )z^{2}+(1+2\lambda +\mu )t^{2}+2xy+2xz-2xt+2(1-\lambda )yz-2(1+\lambda )yt+2(\lambda -1)zt}
(discuter suivant les valeurs de
λ
,
μ
∈
R
{\displaystyle \lambda ,\mu \in \mathbb {R} }
) ;
q
:
R
5
→
R
,
(
x
,
y
,
z
,
t
,
s
)
↦
x
y
−
x
t
+
y
z
−
y
t
+
y
s
+
z
t
−
z
s
+
2
s
t
{\displaystyle q:\mathbb {R} ^{5}\to \mathbb {R} ,\,\left(x,y,z,t,s\right)\mapsto xy-xt+yz-yt+ys+zt-zs+2st}
;
q
:
R
3
→
R
,
(
x
,
y
,
z
)
↦
x
2
+
(
1
+
a
)
y
2
+
(
1
+
a
+
a
2
)
z
2
+
2
x
y
−
2
a
y
z
{\displaystyle q:\mathbb {R} ^{3}\to \mathbb {R} ,\,\left(x,y,z\right)\mapsto x^{2}+(1+a)y^{2}+(1+a+a^{2})z^{2}+2xy-2ayz}
(discuter suivant les valeurs de
a
∈
R
{\displaystyle a\in \mathbb {R} }
) ;
q
1
(
x
,
y
,
z
)
=
6
x
2
+
3
y
2
+
3
z
2
−
8
x
y
−
8
x
z
−
6
y
z
{\displaystyle q_{1}(x,y,z)=6x^{2}+3y^{2}+3z^{2}-8xy-8xz-6yz}
;
q
2
(
x
,
y
,
z
)
=
x
2
+
y
2
+
z
2
−
2
(
x
y
+
y
z
+
z
x
)
{\displaystyle q_{2}(x,y,z)=x^{2}+y^{2}+z^{2}-2(xy+yz+zx)}
;
q
3
(
x
1
,
…
,
x
5
)
=
∑
i
<
5
x
i
x
i
+
1
{\displaystyle q_{3}(x_{1},\ldots ,x_{5})=\sum _{i<5}x_{i}x_{i+1}}
;
q
4
(
x
,
y
,
z
,
t
)
=
3
x
2
+
4
y
2
−
z
2
+
2
t
2
+
x
y
+
4
y
z
+
y
t
{\displaystyle q_{4}(x,y,z,t)=3x^{2}+4y^{2}-z^{2}+2t^{2}+xy+4yz+yt}
;
q
5
(
x
,
y
,
z
,
t
)
=
x
y
+
y
z
+
x
z
−
y
t
+
2
z
t
+
3
x
t
{\displaystyle q_{5}(x,y,z,t)=xy+yz+xz-yt+2zt+3xt}
;
Q
(
x
,
y
,
z
)
=
a
2
x
2
+
(
1
−
a
)
y
2
+
(
2
−
a
)
z
2
−
2
a
x
y
+
2
a
x
z
+
2
(
a
−
1
)
y
z
{\displaystyle Q(x,y,z)=a^{2}x^{2}+(1-a)y^{2}+(2-a)z^{2}-2axy+2axz+2(a-1)yz}
où
a
{\displaystyle a}
est un paramètre réel.
Q
(
y
,
x
,
z
,
t
)
=
x
2
+
y
2
+
9
z
2
−
2
x
y
+
6
x
z
−
6
y
z
+
2
y
t
{\displaystyle Q(y,x,z,t)=x^{2}+y^{2}+9z^{2}-2xy+6xz-6yz+2yt}
(au préalable, expliquer rapidement pourquoi
Q
{\displaystyle Q}
est une forme quadratique sur
R
4
{\displaystyle \mathbb {R} ^{4}}
et donner sa matrice dans la base canonique de
R
4
{\displaystyle \mathbb {R} ^{4}}
) ;
q
(
x
,
y
,
z
)
=
2
x
2
−
2
y
2
−
6
z
2
+
3
x
y
−
4
x
z
+
7
y
z
{\displaystyle q(x,y,z)=2x^{2}-2y^{2}-6z^{2}+3xy-4xz+7yz}
;
q
(
x
,
y
,
z
,
t
)
=
x
y
+
y
z
+
z
t
+
t
x
{\displaystyle q(x,y,z,t)=xy+yz+zt+tx}
.
Solution
Questions 1 à 4 : cf. http://math.univ-lyon1.fr/capes/IMG/pdf/CAPESexoscorrigesfquad.pdf , exercice corrigé n° 4.
Question 5 :
q
(
x
,
y
,
z
)
=
(
x
+
y
)
2
+
a
(
y
−
z
)
2
+
(
1
+
a
2
)
z
2
{\displaystyle q\left(x,y,z\right)=(x+y)^{2}+a(y-z)^{2}+(1+a^{2})z^{2}}
donc
q
{\displaystyle q}
est de rang 3 si
a
≠
0
{\displaystyle a\neq 0}
et de rang 2 si
a
=
0
{\displaystyle a=0}
et plus précisément :
sa signature est (3, 0) si
a
>
0
{\displaystyle a>0}
, (2, 1) si
a
<
0
{\displaystyle a<0}
, et (2, 0) si
a
=
0
{\displaystyle a=0}
;
son noyau est réduit à zéro si
a
≠
0
{\displaystyle a\neq 0}
et c'est la droite engendrée par
(
1
,
−
1
,
0
)
{\displaystyle (1,-1,0)}
si
a
=
0
{\displaystyle a=0}
.
Question 6 :
q
1
(
x
,
y
,
z
)
=
6
x
2
−
8
x
(
y
+
z
)
+
3
y
2
+
3
z
2
−
6
y
z
=
6
[
x
−
2
3
(
y
+
z
)
]
2
−
8
3
(
y
+
z
)
2
+
3
y
2
+
3
z
2
−
6
y
z
=
6
[
x
−
2
3
(
y
+
z
)
]
2
+
1
3
(
y
2
+
z
2
−
34
y
z
)
{\displaystyle q_{1}(x,y,z)=6x^{2}-8x(y+z)+3y^{2}+3z^{2}-6yz=6[x-{2 \over 3}(y+z)]^{2}-{8 \over 3}(y+z)^{2}+3y^{2}+3z^{2}-6yz=6[x-{2 \over 3}(y+z)]^{2}+{1 \over 3}(y^{2}+z^{2}-34yz)}
=
6
[
x
−
2
3
(
y
+
z
)
]
2
+
1
3
[
(
y
−
17
z
)
2
+
(
1
−
17
2
)
z
2
]
{\displaystyle =6[x-{2 \over 3}(y+z)]^{2}+{1 \over 3}[(y-17z)^{2}+(1-17^{2})z^{2}]}
donc
q
1
{\displaystyle q_{1}}
est de noyau
{
0
}
{\displaystyle \{0\}}
, de rang
3
{\displaystyle 3}
, de signature
(
2
,
1
)
{\displaystyle (2,1)}
.
Question 7 :
q
2
(
x
,
y
,
z
)
=
x
2
−
2
x
(
y
+
z
)
+
y
2
+
z
2
−
2
y
z
=
(
x
−
y
−
z
)
2
−
4
y
z
=
(
x
−
y
−
z
)
2
−
(
y
+
z
)
2
+
(
y
−
z
)
2
{\displaystyle q_{2}(x,y,z)=x^{2}-2x(y+z)+y^{2}+z^{2}-2yz=(x-y-z)^{2}-4yz=(x-y-z)^{2}-(y+z)^{2}+(y-z)^{2}}
donc
q
2
{\displaystyle q_{2}}
est de noyau
{
0
}
{\displaystyle \{0\}}
, de rang
3
{\displaystyle 3}
, de signature
(
2
,
1
)
{\displaystyle (2,1)}
.
Question 8 :
q
3
(
x
1
,
…
,
x
5
)
=
(
x
1
+
x
3
)
x
2
+
(
x
3
+
x
5
)
x
4
=
1
4
[
(
x
1
+
x
3
+
x
2
)
2
−
(
x
1
+
x
3
−
x
2
)
2
+
(
x
3
+
x
5
+
x
4
)
2
−
(
x
3
+
x
5
−
x
4
)
2
]
{\displaystyle q_{3}(x_{1},\ldots ,x_{5})=(x_{1}+x_{3})x_{2}+(x_{3}+x_{5})x_{4}={1 \over 4}[(x_{1}+x_{3}+x_{2})^{2}-(x_{1}+x_{3}-x_{2})^{2}+(x_{3}+x_{5}+x_{4})^{2}-(x_{3}+x_{5}-x_{4})^{2}]}
donc
q
3
{\displaystyle q_{3}}
est de rang
4
{\displaystyle 4}
, de signature
(
2
,
2
)
{\displaystyle (2,2)}
, et de noyau la droite d'équations
0
=
x
2
=
x
4
=
x
1
+
x
3
=
x
3
+
x
5
{\displaystyle 0=x_{2}=x_{4}=x_{1}+x_{3}=x_{3}+x_{5}}
, engendrée par le vecteur
(
1
,
0
,
−
1
,
0
,
1
)
{\displaystyle (1,0,-1,0,1)}
.
Question 9 :
q
4
(
x
,
y
,
z
,
t
)
=
3
(
x
+
y
6
)
2
−
(
z
−
2
y
)
2
+
2
(
t
+
y
4
)
2
+
y
2
(
4
−
3
6
2
+
2
2
−
2
4
2
)
=
3
(
x
+
y
6
)
2
−
(
z
−
2
y
)
2
+
2
(
t
+
y
4
)
2
+
187
24
y
2
{\displaystyle q_{4}(x,y,z,t)=3(x+{y \over 6})^{2}-(z-2y)^{2}+2(t+{y \over 4})^{2}+y^{2}(4-{3 \over 6^{2}}+2^{2}-{2 \over 4^{2}})=3(x+{y \over 6})^{2}-(z-2y)^{2}+2(t+{y \over 4})^{2}+{187 \over 24}y^{2}}
: rang
4
{\displaystyle 4}
, signature
(
3
,
1
)
{\displaystyle (3,1)}
.
Question 10 :
q
5
(
x
,
y
,
z
,
t
)
=
x
y
+
x
A
+
y
B
+
2
z
t
{\displaystyle q_{5}(x,y,z,t)=xy+xA+yB+2zt}
(avec
A
=
z
+
3
t
,
B
=
z
−
t
{\displaystyle A=z+3t,B=z-t}
)
=
(
x
+
B
)
(
y
+
A
)
−
A
B
+
2
z
t
=
(
(
x
+
B
)
+
(
y
+
A
)
)
2
−
(
(
x
+
B
)
−
(
y
+
A
)
)
2
4
−
A
B
+
2
z
t
=
1
4
(
x
+
y
+
2
z
+
2
t
)
2
−
1
4
(
x
−
y
−
4
t
)
2
−
z
2
+
3
t
2
{\displaystyle =(x+B)(y+A)-AB+2zt={((x+B)+(y+A))^{2}-((x+B)-(y+A))^{2} \over 4}-AB+2zt={1 \over 4}(x+y+2z+2t)^{2}-{1 \over 4}(x-y-4t)^{2}-z^{2}+3t^{2}}
: rang
4
{\displaystyle 4}
, signature
(
2
,
2
)
{\displaystyle (2,2)}
.
Question 11 :
Q
(
x
,
y
,
z
)
=
a
2
x
2
+
2
a
x
(
z
−
y
)
+
(
1
−
a
)
y
2
+
(
2
−
a
)
z
2
+
2
(
a
−
1
)
y
z
=
(
a
x
+
z
−
y
)
2
−
a
y
2
+
(
1
−
a
)
z
2
+
2
a
y
z
=
(
a
x
+
z
−
y
)
2
−
a
(
y
2
−
2
y
z
)
+
(
1
−
a
)
z
2
{\displaystyle Q(x,y,z)=a^{2}x^{2}+2ax(z-y)+(1-a)y^{2}+(2-a)z^{2}+2(a-1)yz=(ax+z-y)^{2}-ay^{2}+(1-a)z^{2}+2ayz=(ax+z-y)^{2}-a(y^{2}-2yz)+(1-a)z^{2}}
=
(
a
x
+
z
−
y
)
2
−
a
(
y
−
z
)
2
+
z
2
{\displaystyle =(ax+z-y)^{2}-a(y-z)^{2}+z^{2}}
(les trois formes linéaires ne sont indépendantes que si
a
≠
0
{\displaystyle a\neq 0}
). Si
a
=
0
{\displaystyle a=0}
,
Q
(
x
,
y
,
z
)
=
(
z
−
y
)
2
+
z
2
{\displaystyle Q(x,y,z)=(z-y)^{2}+z^{2}}
.
Lorsque
a
≠
0
{\displaystyle a\neq 0}
, le rang vaut donc
3
{\displaystyle 3}
et la signature est
(
2
,
1
)
{\displaystyle (2,1)}
si
a
>
0
{\displaystyle a>0}
,
(
3
,
0
)
{\displaystyle (3,0)}
si
a
<
0
{\displaystyle a<0}
. Lorsque
a
=
0
{\displaystyle a=0}
, le rang vaut
2
{\displaystyle 2}
et la signature
(
2
,
0
)
{\displaystyle (2,0)}
.
Question 12 :
Q
{\displaystyle Q}
est un polynôme homogène de degré 2. La matrice est
(
1
−
1
3
0
−
1
1
−
3
1
3
−
3
9
0
0
1
0
0
)
{\displaystyle {\begin{pmatrix}1&-1&3&0\\-1&1&-3&1\\3&-3&9&0\\0&1&0&0\end{pmatrix}}}
.
Q
(
y
,
x
,
z
,
t
)
=
(
x
−
y
+
3
z
)
2
+
2
y
t
=
(
x
−
y
+
3
z
)
2
+
(
y
+
t
)
2
−
(
y
−
t
)
2
2
{\displaystyle Q(y,x,z,t)=(x-y+3z)^{2}+2yt=(x-y+3z)^{2}+{(y+t)^{2}-(y-t)^{2} \over 2}}
. Ou encore (en privilégiant d'abord la variable
y
{\displaystyle y}
au lieu de
x
{\displaystyle x}
ou
z
{\displaystyle z}
) :
Q
(
y
,
x
,
z
,
t
)
=
(
y
−
x
−
3
z
+
t
)
2
−
t
2
+
2
x
t
+
6
z
t
=
(
y
−
x
−
3
z
+
t
)
2
−
(
t
−
x
−
3
z
)
2
+
(
x
+
3
z
)
2
{\displaystyle Q(y,x,z,t)=(y-x-3z+t)^{2}-t^{2}+2xt+6zt=(y-x-3z+t)^{2}-(t-x-3z)^{2}+(x+3z)^{2}}
.
La signature est
(
2
,
1
,
1
)
{\displaystyle (2,1,1)}
, le rang est
3
{\displaystyle 3}
.
Question 13 :
q
(
x
,
y
,
z
)
=
2
(
x
+
3
y
/
4
−
z
)
2
−
25
y
2
/
8
−
8
z
2
+
10
y
z
=
2
(
x
+
3
y
/
4
−
z
)
2
−
(
25
/
8
)
(
y
−
8
z
/
5
)
2
{\displaystyle q(x,y,z)=2(x+3y/4-z)^{2}-25y^{2}/8-8z^{2}+10yz=2(x+3y/4-z)^{2}-(25/8)(y-8z/5)^{2}}
, signature
(
1
,
1
)
{\displaystyle (1,1)}
, rang
2
{\displaystyle 2}
, noyau
R
(
−
1
,
8
,
5
)
{\displaystyle \mathbb {R} (-1,8,5)}
.
Question 14 :
q
(
x
,
y
,
z
,
t
)
=
(
x
+
z
)
(
y
+
t
)
=
1
4
(
(
x
+
z
+
y
+
t
)
2
−
(
x
+
z
−
y
−
t
)
2
)
{\displaystyle q(x,y,z,t)=(x+z)(y+t)={\frac {1}{4}}((x+z+y+t)^{2}-(x+z-y-t)^{2})}
, signature
(
1
,
1
)
{\displaystyle (1,1)}
, rang
2
{\displaystyle 2}
, noyau
z
=
−
x
,
t
=
−
y
{\displaystyle z=-x,t=-y}
.
Soit
n
∈
N
∗
{\displaystyle n\in \mathbb {N} ^{*}}
. Pour tous
P
,
Q
∈
R
n
[
X
]
{\displaystyle P,Q\in \mathbb {R} _{n}[X]}
(l'espace vectoriel des polynômes réels de degré inférieur ou égal ou
n
{\displaystyle n}
), on pose :
B
(
P
,
Q
)
=
∫
0
1
t
P
(
t
)
Q
′
(
t
)
d
t
et
q
(
P
)
=
B
(
P
,
P
)
{\displaystyle B(P,Q)=\int _{0}^{1}tP(t)Q'(t)\,\mathrm {d} t~~{\text{et}}~~q(P)=B(P,P)}
.
Montrer
B
{\displaystyle B}
est une forme bilinéaire. Est-elle symétrique ? antisymétrique ?
Montrer
q
{\displaystyle q}
est une forme quadratique. La forme est-elle définie ?
Solution
D
:
R
[
X
]
→
R
[
X
]
,
Q
↦
Q
′
{\displaystyle D:\mathbb {R} [X]\to \mathbb {R} [X],\,Q\mapsto Q'}
est linéaire,
M
:
R
[
X
]
2
→
R
[
X
]
,
(
P
,
R
)
↦
X
P
R
{\displaystyle M:\mathbb {R} [X]^{2}\to \mathbb {R} [X],\,(P,R)\mapsto XPR}
est bilinéaire et
I
:
R
[
X
]
→
R
,
S
↦
∫
0
1
S
(
t
)
d
t
{\displaystyle I:\mathbb {R} [X]\to \mathbb {R} ,\,S\mapsto \int _{0}^{1}S(t)\,\mathrm {d} t}
est une forme linéaire, donc
R
[
X
]
2
→
R
,
(
P
,
Q
)
↦
I
∘
M
(
P
,
D
(
Q
)
)
{\displaystyle \mathbb {R} [X]^{2}\to \mathbb {R} ,\,(P,Q)\mapsto I\circ M(P,D(Q))}
est une forme bilinéaire, donc sa restriction
B
{\displaystyle B}
à
R
n
[
X
]
2
{\displaystyle \mathbb {R} _{n}[X]^{2}}
aussi.
B
{\displaystyle B}
n'est ni symétrique, ni antisymétrique, car
B
(
X
,
1
)
=
0
≠
B
(
1
,
X
)
{\displaystyle B(X,1)=0\neq B(1,X)}
.
B
{\displaystyle B}
est une forme quadratique par définition (d'après la question 1). Elle n'est pas définie puisque
q
(
1
)
=
0
{\displaystyle q(1)=0}
.
Soient
E
{\displaystyle E}
un
R
{\displaystyle \mathbb {R} }
-espace vectoriel,
q
{\displaystyle q}
une forme quadratique sur
E
{\displaystyle E}
,
v
∈
E
{\displaystyle v\in E}
et
F
{\displaystyle F}
l'orthogonal de
v
{\displaystyle v}
pour
q
{\displaystyle q}
. Donner, en la justifiant par une démonstration, une condition nécessaire et suffisante sur
v
{\displaystyle v}
pour que
E
=
R
v
+
F
{\displaystyle E=\mathbb {R} v+F}
.
Soient
E
{\displaystyle E}
un
R
{\displaystyle \mathbb {R} }
-espace vectoriel,
b
{\displaystyle b}
une forme bilinéaire symétrique sur
E
{\displaystyle E}
et
F
{\displaystyle F}
un supplémentaire de
ker
b
{\displaystyle \ker b}
dans
E
{\displaystyle E}
. Montrer que
b
|
F
×
F
{\displaystyle b|_{F\times F}}
est non dégénérée.
Soient
E
{\displaystyle E}
un
R
{\displaystyle \mathbb {R} }
-espace vectoriel de dimension
4
{\displaystyle 4}
,
q
{\displaystyle q}
une forme quadratique de signature
(
2
,
2
)
{\displaystyle (2,2)}
sur
E
{\displaystyle E}
,
v
∈
E
{\displaystyle v\in E}
tel que
q
(
v
)
<
0
{\displaystyle q(v)<0}
et
F
{\displaystyle F}
l'orthogonal de
v
{\displaystyle v}
pour
q
{\displaystyle q}
. Montrer que la signature de
q
|
F
{\displaystyle q|_{F}}
est
(
2
,
1
)
{\displaystyle (2,1)}
.
Solution
E
=
R
v
+
F
{\displaystyle E=\mathbb {R} v+F}
ssi
∀
x
∈
E
∃
λ
∈
R
x
−
λ
v
∈
F
{\displaystyle \forall x\in E\quad \exists \lambda \in \mathbb {R} \quad x-\lambda v\in F}
, c'est-à-dire ssi
∀
x
∈
E
∃
λ
∈
R
b
(
x
,
v
)
=
λ
q
(
v
)
{\displaystyle \forall x\in E\quad \exists \lambda \in \mathbb {R} \quad b(x,v)=\lambda q(v)}
, où
b
{\displaystyle b}
désigne la forme polaire de
q
{\displaystyle q}
. Cette condition équivaut à :
q
(
v
)
≠
0
{\displaystyle q(v)\neq 0}
ou
v
∈
ker
b
{\displaystyle v\in \ker b}
.
Soit
v
∈
F
{\displaystyle v\in F}
. Si
v
≠
0
{\displaystyle v\neq 0}
alors
v
∉
ker
b
{\displaystyle v\notin \ker b}
donc il existe un vecteur
u
∈
E
{\displaystyle u\in E}
tel que
b
(
u
,
v
)
≠
0
{\displaystyle b(u,v)\neq 0}
. Puis, il existe
x
∈
F
{\displaystyle x\in F}
et
y
∈
ker
b
{\displaystyle y\in \ker b}
tels que
u
=
x
+
y
{\displaystyle u=x+y}
, d'où
0
≠
b
(
u
,
v
)
=
b
(
x
,
v
)
{\displaystyle 0\neq b(u,v)=b(x,v)}
. Cela prouve que
∀
v
∈
F
v
≠
0
⇒
v
∉
F
⊥
{\displaystyle \forall v\in F\quad v\neq 0\Rightarrow v\notin F^{\bot }}
. Autrement dit :
F
∩
F
⊥
=
{
0
}
{\displaystyle F\cap F^{\bot }=\{0\}}
, c'est-à-dire
b
|
F
×
F
{\displaystyle b|_{F\times F}}
est non dégénérée.
q
{\displaystyle q}
est non dégénérée donc
F
{\displaystyle F}
est un supplémentaire de
R
v
{\displaystyle \mathbb {R} v}
. Soit
(
p
,
r
)
{\displaystyle (p,r)}
la signature de
q
|
F
{\displaystyle q|_{F}}
. Par hypothèse,
(
p
,
r
+
1
)
=
(
2
,
2
)
{\displaystyle (p,r+1)=(2,2)}
donc
(
p
,
r
)
=
(
2
,
1
)
{\displaystyle (p,r)=(2,1)}
.
Énoncer le théorème de Sylvester.
Énumérer les différentes classes de formes quadratiques non nulles de
R
2
{\displaystyle \mathbb {R} ^{2}}
.
Solution
Wikipedia-logo-v2.svg
Pour toute forme quadratique
q
{\displaystyle q}
sur un espace vectoriel réel
E
{\displaystyle E}
de dimension finie
n
{\displaystyle n}
:
il existe une base
(
e
1
,
…
,
e
n
)
{\displaystyle (e_{1},\dots ,e_{n})}
de
E
{\displaystyle E}
orthogonale pour
q
{\displaystyle q}
;
les deux entiers « nombre d'indices
i
{\displaystyle i}
tels que
q
(
e
i
)
>
0
{\displaystyle q(e_{i})>0}
» et « nombre d'indices
i
{\displaystyle i}
tels que
q
(
e
i
)
<
0
{\displaystyle q(e_{i})<0}
» sont indépendants du choix d'une telle base.
Il y a
(
n
+
2
2
)
−
1
{\displaystyle {n+2 \choose 2}-1}
classes avec
n
=
2
{\displaystyle n=2}
, soit
5
{\displaystyle 5}
classes de formes quadratiques non nulles sur
R
2
{\displaystyle \mathbb {R} ^{2}}
. Elles sont caractérisées par leurs signatures, qui sont (par ordre lexicographique ) :
(
0
,
1
)
,
(
0
,
2
)
,
(
1
,
0
)
,
(
1
,
1
)
,
(
2
,
0
)
{\displaystyle (0,1),(0,2),(1,0),(1,1),(2,0)}
.
Soient
E
=
R
4
{\displaystyle E=\mathbb {R} ^{4}}
et
B
=
(
e
1
,
e
2
,
e
3
,
e
4
)
{\displaystyle B=(e_{1},e_{2},e_{3},e_{4})}
sa base canonique. On considère la forme quadratique
q
{\displaystyle q}
définie sur
E
{\displaystyle E}
par :
q
(
x
,
y
,
z
,
t
)
=
x
2
+
2
y
2
+
2
x
y
+
2
y
z
+
2
y
t
{\displaystyle q(x,y,z,t)=x^{2}+2y^{2}+2xy+2yz+2yt}
.
Déterminer la matrice de
q
{\displaystyle q}
dans la base
B
{\displaystyle B}
.
La forme
q
{\displaystyle q}
est-elle non dégénérée ?
On considère les trois vecteurs
u
1
=
e
1
,
u
2
=
2
e
1
+
e
3
,
u
3
=
3
e
1
+
e
4
{\displaystyle u_{1}=e_{1},\quad u_{2}=2e_{1}+e_{3},\quad u_{3}=3e_{1}+e_{4}}
et le sous-espace
F
=
Vect
(
u
1
,
u
2
,
u
3
)
{\displaystyle F=\operatorname {Vect} (u_{1},u_{2},u_{3})}
.
Déterminer la dimension de
F
{\displaystyle F}
.
Déterminer l'orthogonal de
F
{\displaystyle F}
pour
q
{\displaystyle q}
. Quelle est sa dimension ?
Retrouver la réponse à la question 1.2 en donnant un nouvel argument.
Déterminer la signature de
q
{\displaystyle q}
.
Retrouver la réponse à la question 1.2 en donnant encore un nouvel argument.
Déterminer le noyau de
q
{\displaystyle q}
.
Donner une base de
E
{\displaystyle E}
orthogonale pour
q
{\displaystyle q}
.
Solution
M
=
(
1
1
0
0
1
2
1
1
0
1
0
0
0
1
0
0
)
{\displaystyle M={\begin{pmatrix}1&1&0&0\\1&2&1&1\\0&1&0&0\\0&1&0&0\end{pmatrix}}}
.
Non car
det
M
=
0
{\displaystyle \det M=0}
.
F
=
Vect
(
e
1
,
e
3
,
e
4
)
{\displaystyle F=\operatorname {Vect} (e_{1},e_{3},e_{4})}
est de dimension
3
{\displaystyle 3}
.
Soit
v
=
(
x
,
y
,
z
,
t
)
{\displaystyle v=(x,y,z,t)}
. On a
v
⊥
e
1
⇔
x
+
y
=
0
{\displaystyle v\perp e_{1}\Leftrightarrow x+y=0}
et
v
⊥
e
3
⇔
v
⊥
e
4
⇔
y
=
0
{\displaystyle v\perp e_{3}\Leftrightarrow v\perp e_{4}\Leftrightarrow y=0}
, donc
v
∈
F
⊥
⇔
x
=
y
=
0
{\displaystyle v\in F^{\bot }\Leftrightarrow x=y=0}
et
dim
F
⊥
=
2
{\displaystyle \dim F^{\bot }=2}
.
q
{\displaystyle q}
est dégénérée car
dim
F
+
dim
F
⊥
>
4
{\displaystyle \dim F+\dim F^{\bot }>4}
.
q
(
x
,
y
,
z
,
t
)
=
(
x
+
y
)
2
+
(
y
+
z
+
t
)
2
−
(
z
+
t
)
2
{\displaystyle q(x,y,z,t)=(x+y)^{2}+(y+z+t)^{2}-(z+t)^{2}}
donc la signature de
q
{\displaystyle q}
est
(
2
,
1
)
{\displaystyle (2,1)}
.
Le rang de
q
{\displaystyle q}
est donc
2
+
1
=
3
<
4
{\displaystyle 2+1=3<4}
, ce qui redémontre que
q
{\displaystyle q}
est dégénérée.
(
x
,
y
,
z
,
t
)
∈
ker
q
⇔
x
+
y
=
x
+
2
y
+
z
+
t
=
y
=
0
⇔
x
=
y
=
z
+
t
=
0
{\displaystyle (x,y,z,t)\in \ker q\Leftrightarrow x+y=x+2y+z+t=y=0\Leftrightarrow x=y=z+t=0}
donc
ker
q
{\displaystyle \ker q}
est la droite de vecteur directeur
−
e
3
+
e
4
{\displaystyle -e_{3}+e_{4}}
.
X
=
x
+
y
,
Y
=
y
+
z
+
t
,
Z
=
z
+
t
,
T
=
t
⇔
t
=
T
,
z
=
Z
−
T
,
y
=
Y
−
Z
,
x
=
X
−
Y
+
Z
{\displaystyle X=x+y,Y=y+z+t,Z=z+t,T=t\Leftrightarrow t=T,z=Z-T,y=Y-Z,x=X-Y+Z}
donc une base
q
{\displaystyle q}
-orthogonale est
(
e
1
,
−
e
1
+
e
2
,
e
1
−
e
2
+
e
3
,
−
e
3
+
e
4
)
{\displaystyle (e_{1},-e_{1}+e_{2},e_{1}-e_{2}+e_{3},-e_{3}+e_{4})}
.
Soit
E
=
R
2
[
X
]
{\displaystyle E=\mathbb {R} _{2}[X]}
l'espace vectoriel des polynômes réels de degré
≤
2
{\displaystyle \leq 2}
. On définit la forme quadratique
q
{\displaystyle q}
sur
E
{\displaystyle E}
par : :si
P
(
X
)
=
a
X
2
+
b
X
+
c
∈
E
{\displaystyle P(X)=aX^{2}+bX+c\in E}
,
q
(
P
)
=
b
2
−
4
a
c
{\displaystyle q(P)=b^{2}-4ac}
.
Donner la matrice de
q
{\displaystyle q}
dans la base
(
X
2
,
X
,
1
)
{\displaystyle (X^{2},X,1)}
de
E
{\displaystyle E}
.
Donner une description simple du cône isotrope de
q
{\displaystyle q}
.
Déterminer le rang et la signature de
q
{\displaystyle q}
.
Trouver une base orthogonale de
E
{\displaystyle E}
.
Soit
r
∈
R
{\displaystyle r\in \mathbb {R} }
et soit
H
{\displaystyle H}
le sous-espace vectoriel de
E
{\displaystyle E}
formé des polynômes
P
∈
E
{\displaystyle P\in E}
tels que
P
(
r
)
=
0
{\displaystyle P(r)=0}
.
Montrer que
H
{\displaystyle H}
est un hyperplan.
Quelle est la dimension de
H
{\displaystyle H}
?
Montrer que
(
X
−
r
,
(
X
−
r
)
2
)
{\displaystyle (X-r,(X-r)^{2})}
est une base de
H
{\displaystyle H}
.
Déterminer
H
{\displaystyle H}
.
Solution
M
=
(
0
0
−
2
0
1
0
−
2
0
0
)
{\displaystyle M={\begin{pmatrix}0&0&-2\\0&1&0\\-2&0&0\end{pmatrix}}}
.
Le cône isotrope est la réunion de la droite des polynômes constants et des droites
Vect
(
(
X
−
r
)
2
)
{\displaystyle \operatorname {Vect} ((X-r)^{2})}
pour
r
∈
R
{\displaystyle r\in \mathbb {R} }
.
q
(
a
X
2
+
b
X
+
c
)
=
b
2
+
(
a
−
c
)
2
−
(
a
+
c
)
2
{\displaystyle q(aX^{2}+bX+c)=b^{2}+(a-c)^{2}-(a+c)^{2}}
donc la signature de
q
{\displaystyle q}
est
(
2
,
1
)
{\displaystyle (2,1)}
et son rang est
2
+
1
=
3
{\displaystyle 2+1=3}
(donc
q
{\displaystyle q}
est non dégénérée).
(
X
,
X
2
−
1
,
X
2
+
1
)
{\displaystyle (X,X^{2}-1,X^{2}+1)}
.
H
{\displaystyle H}
est défini par une seule équation linéaire homogène donc c'est un hyperplan, c'est-à-dire ici un plan :
dim
H
=
3
−
1
=
2
{\displaystyle \dim H=3-1=2}
.
Par conséquent (comme
q
{\displaystyle q}
est dégénérée)
dim
H
⊥
=
3
−
2
=
1
{\displaystyle \dim H^{\bot }=3-2=1}
.
(
1
,
X
−
r
,
(
X
−
r
)
2
)
{\displaystyle (1,X-r,(X-r)^{2})}
est une base de
E
{\displaystyle E}
(donc
(
X
−
r
,
(
X
−
r
)
2
)
{\displaystyle (X-r,(X-r)^{2})}
est libre) et un polynôme
α
+
β
(
X
−
r
)
+
γ
(
X
−
r
)
2
{\displaystyle \alpha +\beta (X-r)+\gamma (X-r)^{2}}
s'annule en
r
{\displaystyle r}
si et seulement si
α
=
0
{\displaystyle \alpha =0}
(donc
(
X
−
r
,
(
X
−
r
)
2
)
{\displaystyle (X-r,(X-r)^{2})}
est génératrice de
H
{\displaystyle H}
).
Un vecteur directeur de
H
⊥
{\displaystyle H^{\bot }}
est (dans la base
(
X
2
,
X
,
1
)
{\displaystyle (X^{2},X,1)}
) :
M
−
1
(
r
2
r
1
)
=
(
−
1
/
2
r
−
r
2
/
2
)
{\displaystyle M^{-1}{\begin{pmatrix}r^{2}\\r\\1\end{pmatrix}}={\begin{pmatrix}-1/2\\r\\-r^{2}/2\end{pmatrix}}}
, ou encore (en multipliant par
−
2
{\displaystyle -2}
) :
(
X
−
r
)
2
{\displaystyle (X-r)^{2}}
.
Soit
E
{\displaystyle E}
un
K
{\displaystyle K}
-espace vectoriel muni d'une forme quadratique
q
{\displaystyle q}
non dégénérée. On dit qu'un plan
P
{\displaystyle P}
de
E
{\displaystyle E}
est
q
{\displaystyle q}
-hyperbolique s'il existe une base
(
e
1
,
e
2
)
{\displaystyle (e_{1},e_{2})}
de
P
{\displaystyle P}
telle que
q
(
e
1
)
=
q
(
e
2
)
=
0
{\displaystyle q(e_{1})=q(e_{2})=0}
et
f
(
e
1
,
e
2
)
=
1
{\displaystyle f(e_{1},e_{2})=1}
où
f
{\displaystyle f}
désigne la forme polaire de
q
{\displaystyle q}
.
Soit
X
{\displaystyle X}
un vecteur non nul isotrope de
E
{\displaystyle E}
, montrer qu'il existe dans
E
{\displaystyle E}
un plan
q
{\displaystyle q}
-hyperbolique contenant
X
{\displaystyle X}
.
En déduire que si le cône isotrope
C
(
q
)
:=
{
x
∈
E
∣
q
(
x
)
=
0
}
{\displaystyle C(q):=\{x\in E\mid q(x)=0\}}
n'est pas réduit à
{
0
}
{\displaystyle \{0\}}
alors il contient une base de
E
{\displaystyle E}
.
Solution
Puisque
q
{\displaystyle q}
est non dégénérée, il existe
Y
∈
E
{\displaystyle Y\in E}
tel que
f
(
X
,
Y
)
≠
0
{\displaystyle f(X,Y)\neq 0}
(ce qui garantit que
(
X
,
Y
)
{\displaystyle (X,Y)}
est libre). Montrons que le plan
Vect
(
X
,
Y
)
{\displaystyle \operatorname {Vect} (X,Y)}
est
q
{\displaystyle q}
-hyperbolique. Posons
Z
=
λ
X
+
μ
Y
{\displaystyle Z=\lambda X+\mu Y}
. Alors,
f
(
X
,
Z
)
=
μ
f
(
X
,
Y
)
{\displaystyle f(X,Z)=\mu f(X,Y)}
et
q
(
Z
)
=
2
λ
f
(
X
,
Z
)
+
μ
2
q
(
Y
)
{\displaystyle q(Z)=2\lambda f(X,Z)+\mu ^{2}q(Y)}
, donc en choisissant
μ
:=
1
/
f
(
X
,
Y
)
{\displaystyle \mu :=1/f(X,Y)}
puis
λ
:=
−
μ
2
q
(
Y
)
/
2
{\displaystyle \lambda :=-\mu ^{2}q(Y)/2}
, on obtient bien
f
(
X
,
Z
)
=
1
{\displaystyle f(X,Z)=1}
puis
q
(
Z
)
=
0
{\displaystyle q(Z)=0}
.
Soient
X
{\displaystyle X}
un vecteur non nul isotrope et
(
X
,
(
Z
i
)
i
∈
I
)
{\displaystyle (X,(Z_{i})_{i\in I})}
une base de l'hyperplan
X
⊥
∋
X
{\displaystyle X^{\bot }\ni X}
, que l'on complète en une base
(
X
,
(
Z
i
)
i
∈
I
,
T
)
{\displaystyle (X,(Z_{i})_{i\in I},T)}
de
E
{\displaystyle E}
. Alors,
f
(
X
,
Z
i
+
T
)
=
f
(
X
,
T
)
≠
0
{\displaystyle f(X,Z_{i}+T)=f(X,T)\neq 0}
donc (comme dans la question 1) le plan
Vect
(
X
,
Z
i
+
T
)
{\displaystyle \operatorname {Vect} (X,Z_{i}+T)}
contient un vecteur isotrope
Y
i
{\displaystyle Y_{i}}
non colinéaire à
X
{\displaystyle X}
. De même, le plan
Vect
(
X
,
T
)
{\displaystyle \operatorname {Vect} (X,T)}
contient un vecteur isotrope
Y
{\displaystyle Y}
non colinéaire à
X
{\displaystyle X}
. Alors,
(
X
,
(
Y
i
)
i
∈
I
,
Y
)
{\displaystyle (X,(Y_{i})_{i\in I},Y)}
est une base isotrope de
E
{\displaystyle E}
.
Soit
E
{\displaystyle E}
un
R
{\displaystyle \mathbb {R} }
-espace vectoriel muni d'une forme quadratique
Q
{\displaystyle Q}
, de noyau
ker
Q
{\displaystyle \ker Q}
et de cône isotrope
C
(
Q
)
⊃
ker
Q
{\displaystyle C(Q)\supset \ker Q}
.
Montrer que
C
(
Q
)
=
ker
Q
{\displaystyle C(Q)=\ker Q}
si et seulement si
Q
{\displaystyle Q}
est de signe constant.
Solution
Soit
f
{\displaystyle f}
la forme polaire de
Q
{\displaystyle Q}
.
Si l'inclusion
C
(
Q
)
⊃
ker
Q
{\displaystyle C(Q)\supset \ker Q}
est stricte, soient
x
,
y
∈
E
{\displaystyle x,y\in E}
tels que
Q
(
x
)
=
0
{\displaystyle Q(x)=0}
et
f
(
x
,
y
)
≠
0
{\displaystyle f(x,y)\neq 0}
. Alors,
Q
(
λ
x
+
y
)
=
2
λ
f
(
x
,
y
)
+
Q
(
y
)
{\displaystyle Q(\lambda x+y)=2\lambda f(x,y)+Q(y)}
change de signe quand parcourt
R
{\displaystyle \mathbb {R} }
.
Réciproquement, si
Q
{\displaystyle Q}
n'est pas de signe constant, soient
x
,
y
∈
E
{\displaystyle x,y\in E}
tels que
Q
(
x
)
>
0
{\displaystyle Q(x)>0}
et
Q
(
y
)
<
0
{\displaystyle Q(y)<0}
. Soit
z
=
λ
x
+
y
{\displaystyle z=\lambda x+y}
pour
λ
{\displaystyle \lambda }
égal à l'un des deux réels tels que
Q
(
z
)
=
λ
2
Q
(
x
)
+
2
λ
f
(
x
,
y
)
+
Q
(
y
)
=
0
{\displaystyle Q(z)=\lambda ^{2}Q(x)+2\lambda f(x,y)+Q(y)=0}
. Alors,
z
∈
C
(
Q
)
{\displaystyle z\in C(Q)}
mais
z
∉
ker
Q
{\displaystyle z\notin \ker Q}
car
f
(
z
,
x
−
λ
y
)
=
Q
(
x
)
−
λ
2
Q
(
y
)
>
0
{\displaystyle f(z,x-\lambda y)=Q(x)-\lambda ^{2}Q(y)>0}
.
Sur
R
n
{\displaystyle \mathbb {R} ^{n}}
avec
n
≥
2
{\displaystyle n\geq 2}
et avec la notation
x
=
(
x
1
,
…
,
x
n
)
{\displaystyle x=(x_{1},\ldots ,x_{n})}
, on considère la forme quadratique
Q
(
x
)
=
∑
1
≤
i
<
j
≤
n
(
−
1
)
i
+
j
x
i
x
j
{\displaystyle Q(x)=\sum _{1\leq i<j\leq n}(-1)^{i+j}x_{i}x_{j}}
.
Soient
ℓ
{\displaystyle \ell }
la forme linéaire
ℓ
(
x
)
=
∑
1
≤
i
≤
n
(
−
1
)
i
x
i
{\displaystyle \ell (x)=\sum _{1\leq i\leq n}(-1)^{i}x_{i}}
et
H
{\displaystyle H}
l'hyperplan
ker
(
ℓ
)
{\displaystyle \ker(\ell )}
.
Démontrer que
ℓ
2
(
x
)
=
∑
1
≤
i
≤
n
x
i
2
+
2
Q
(
x
)
{\displaystyle \ell ^{2}(x)=\sum _{1\leq i\leq n}x_{i}^{2}+2Q(x)}
.
Démontrer que si
x
∈
H
∖
{
0
}
{\displaystyle x\in H\setminus \{0\}}
alors
Q
(
x
)
<
0
{\displaystyle Q(x)<0}
.
En déduire la signature de
Q
{\displaystyle Q}
.
Solution
ℓ
2
(
x
)
=
(
∑
1
≤
i
≤
n
(
−
1
)
i
x
i
)
(
∑
1
≤
j
≤
n
(
−
1
)
j
x
j
)
=
Q
(
x
)
+
R
(
x
)
+
S
(
x
)
{\displaystyle \ell ^{2}(x)=(\sum _{1\leq i\leq n}(-1)^{i}x_{i})(\sum _{1\leq j\leq n}(-1)^{j}x_{j})=Q(x)+R(x)+S(x)}
avec
R
(
x
)
=
∑
1
≤
i
=
j
≤
n
(
−
1
)
i
+
j
x
i
x
j
=
∑
1
≤
i
≤
n
x
i
2
{\displaystyle R(x)=\sum _{1\leq i=j\leq n}(-1)^{i+j}x_{i}x_{j}=\sum _{1\leq i\leq n}x_{i}^{2}}
et
S
(
x
)
=
∑
1
≤
j
<
i
≤
n
(
−
1
)
i
+
j
x
i
x
j
=
∑
1
≤
i
′
<
j
′
≤
n
(
−
1
)
j
′
+
i
′
x
j
′
x
i
′
=
Q
(
x
)
{\displaystyle S(x)=\sum _{1\leq j<i\leq n}(-1)^{i+j}x_{i}x_{j}=\sum _{1\leq i'<j'\leq n}(-1)^{j'+i'}x_{j'}x_{i'}=Q(x)}
, d'où
ℓ
2
=
R
+
2
Q
{\displaystyle \ell ^{2}=R+2Q}
.
Si
x
∈
H
∖
{
0
}
{\displaystyle x\in H\setminus \{0\}}
,
2
Q
(
x
)
=
0
2
−
R
(
x
)
<
0
{\displaystyle 2Q(x)=0^{2}-R(x)<0}
.
On en déduit que la signature de
Q
{\displaystyle Q}
est
(
p
,
q
)
{\displaystyle (p,q)}
avec (cf. plus bas)
q
≥
n
−
1
{\displaystyle q\geq n-1}
et
p
+
q
=
r
a
n
g
(
Q
)
≤
n
{\displaystyle p+q={\rm {rang}}(Q)\leq n}
. Par ailleurs,
p
>
0
{\displaystyle p>0}
(car
Q
{\displaystyle Q}
n'est pas négative, vu que
Q
(
1
,
−
1
,
0
,
…
,
0
)
=
1
{\displaystyle Q(1,-1,0,\ldots ,0)=1}
). D'où
(
p
,
q
)
=
(
1
,
n
−
1
)
{\displaystyle (p,q)=(1,n-1)}
.
Justification de «
q
≥
n
−
1
{\displaystyle q\geq n-1}
» (c'est censé être du cours mais redémontrons-le). Soient
e
1
,
…
,
e
n
{\displaystyle e_{1},\ldots ,e_{n}}
une base dans laquelle
Q
{\displaystyle Q}
s'écrit
∑
1
p
y
i
2
−
∑
p
+
1
p
+
q
y
i
2
{\displaystyle \sum _{1}^{p}y_{i}^{2}-\sum _{p+1}^{p+q}y_{i}^{2}}
, et
H
{\displaystyle H}
un s.e.v. sur lequel
Q
{\displaystyle Q}
est définie négative. Comme
Q
{\displaystyle Q}
est définie positive sur
V
e
c
t
(
e
1
,
…
,
e
p
)
{\displaystyle Vect(e_{1},\ldots ,e_{p})}
, ces deux sous-espaces sont en somme directe et
Q
{\displaystyle Q}
est non dégénérée sur cette somme, donc
dim
H
+
p
≤
r
a
n
g
(
Q
)
=
p
+
q
{\displaystyle \dim H+p\leq {\rm {rang}}(Q)=p+q}
, donc
dim
H
≤
q
{\displaystyle \dim H\leq q}
.
Remarque (autre méthode) : la matrice de la forme bilinéaire symétrique associée a pour valeurs propres
−
1
/
2
{\displaystyle -1/2}
(d'ordre
n
−
1
{\displaystyle n-1}
, d'hyperplan associé
H
{\displaystyle H}
) et
n
−
1
2
{\displaystyle {n-1 \over 2}}
(d'ordre
1
{\displaystyle 1}
, de droite associée
H
⊥
{\displaystyle H^{\perp }}
). Ou encore :
Q
(
x
)
=
q
(
s
(
x
)
)
{\displaystyle Q(x)=q(s(x))}
où
q
(
x
)
=
∑
1
≤
i
<
j
≤
n
x
i
x
j
{\displaystyle q(x)=\sum _{1\leq i<j\leq n}x_{i}x_{j}}
est une forme quadratique de signature
(
1
,
n
−
1
)
{\displaystyle (1,n-1)}
(généralisant le cinquième exemple de l'exercice 1 du lien externe ci-dessous) et
s
{\displaystyle s}
est la symétrie orthogonale définie par
s
(
x
)
=
(
(
−
1
)
i
x
i
)
1
≤
i
≤
n
{\displaystyle s(x)=((-1)^{i}x_{i})_{1\leq i\leq n}}
. Les matrices symétriques associées à
Q
{\displaystyle Q}
et
q
{\displaystyle q}
ont donc mêmes valeurs propres (et les sous-espaces propres de l'une sont les transformés par
s
{\displaystyle s}
de ceux de l'autre), donc même signature.
Noyau, rang et signature de la forme quadratique de matrice
M
=
(
sin
(
i
+
j
)
)
1
≤
i
,
j
≤
n
{\displaystyle M=(\sin(i+j))_{1\leq i,j\leq n}}
.
Soit
q
{\displaystyle q}
définie sur
M
2
(
R
)
{\displaystyle \mathrm {M} _{2}(\mathbb {R} )}
par
q
(
A
)
=
det
A
{\displaystyle q(A)=\det A}
.
Vérifier que
q
{\displaystyle q}
est une forme quadratique.
Déterminer son noyau, son rang, sa signature.
Soit
H
=
{
A
∈
M
2
(
R
)
∣
T
r
(
A
)
=
0
}
{\displaystyle H=\{A\in \mathrm {M} _{2}(\mathbb {R} )\mid \mathrm {Tr} (A)=0\}}
. Préciser l'orthogonal de
H
{\displaystyle H}
pour
q
{\displaystyle q}
.
Solution
q
(
(
a
b
c
d
)
)
=
a
d
−
b
c
{\displaystyle q\left({\begin{pmatrix}a&b\\c&d\end{pmatrix}}\right)=ad-bc}
.
a
d
−
b
c
=
1
4
(
(
a
+
d
)
2
−
(
a
−
d
)
2
+
(
b
+
c
)
2
−
(
b
−
c
)
2
)
{\displaystyle ad-bc={\frac {1}{4}}\left((a+d)^{2}-(a-d)^{2}+(b+c)^{2}-(b-c)^{2}\right)}
donc signature
(
2
,
2
)
{\displaystyle (2,2)}
, rang
4
{\displaystyle 4}
, noyau nul.
2
⟨
(
x
y
z
t
)
,
(
a
b
c
d
)
⟩
=
a
t
+
d
x
−
b
z
−
c
y
{\displaystyle 2\left\langle {\begin{pmatrix}x&y\\z&t\end{pmatrix}},{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\right\rangle =at+dx-bz-cy}
, en particulier
2
⟨
(
x
y
z
t
)
,
(
a
b
c
−
a
)
⟩
=
a
(
t
−
x
)
−
b
z
−
c
y
{\displaystyle 2\left\langle {\begin{pmatrix}x&y\\z&t\end{pmatrix}},{\begin{pmatrix}a&b\\c&-a\end{pmatrix}}\right\rangle =a(t-x)-bz-cy}
est nul pour tous
a
,
b
,
c
{\displaystyle a,b,c}
si et seulement si
y
=
z
=
0
{\displaystyle y=z=0}
et
t
=
x
{\displaystyle t=x}
, donc
H
⊥
=
R
I
2
{\displaystyle H^{\perp }=\mathbb {R} \mathrm {I} _{2}}
.
Soient
v
,
w
{\displaystyle v,w}
deux vecteurs unitaires de
R
3
{\displaystyle \mathbb {R} ^{3}}
euclidien orienté. À tout vecteur
x
{\displaystyle x}
on associe le réel
Φ
(
x
)
=
⟨
x
,
v
∧
(
w
∧
x
)
⟩
{\displaystyle \Phi (x)=\langle x,v\land (w\land x)\rangle }
(voir la leçon Produit vectoriel ).
Montrer que
Φ
{\displaystyle \Phi }
est une forme quadratique.
Trouver une base orthonormée de
R
3
{\displaystyle \mathbb {R} ^{3}}
qui soit orthogonale pour
Φ
{\displaystyle \Phi }
.
Φ
{\displaystyle \Phi }
est-elle définie ? positive ?
Solution
Φ
(
x
)
=
⟨
x
,
a
(
x
)
⟩
{\displaystyle \Phi (x)=\langle x,a(x)\rangle }
avec
a
∈
L
(
R
3
)
{\displaystyle a\in \mathrm {L} (\mathbb {R} ^{3})}
donc
Φ
{\displaystyle \Phi }
est une forme quadratique, de forme bilinéaire symétrique associée
B
:
(
x
,
y
)
↦
1
2
(
⟨
x
,
a
(
y
)
⟩
+
⟨
y
,
a
(
x
)
⟩
)
{\displaystyle B:(x,y)\mapsto {\frac {1}{2}}\left(\langle x,a(y)\rangle +\langle y,a(x)\rangle \right)}
.
a
(
x
)
=
⟨
v
,
x
⟩
w
−
⟨
v
,
w
⟩
x
{\displaystyle a(x)=\langle v,x\rangle w-\langle v,w\rangle x}
donc
Φ
(
x
)
=
⟨
v
,
x
⟩
⟨
w
,
x
⟩
−
⟨
v
,
w
⟩
‖
x
‖
2
{\displaystyle \Phi (x)=\langle v,x\rangle \langle w,x\rangle -\langle v,w\rangle \|x\|^{2}}
donc
Φ
(
v
)
=
Φ
(
w
)
=
0
{\displaystyle \Phi (v)=\Phi (w)=0}
et
B
(
x
,
y
)
=
1
2
(
⟨
v
,
x
⟩
⟨
w
,
y
⟩
+
⟨
v
,
y
⟩
⟨
w
,
x
⟩
)
−
⟨
v
,
w
⟩
⟨
x
,
y
⟩
{\displaystyle B(x,y)={\frac {1}{2}}\left(\langle v,x\rangle \langle w,y\rangle +\langle v,y\rangle \langle w,x\rangle \right)-\langle v,w\rangle \langle x,y\rangle }
. En particulier, pour tout
x
{\displaystyle x}
tel que
⟨
v
,
x
⟩
=
⟨
w
,
x
⟩
=
0
{\displaystyle \langle v,x\rangle =\langle w,x\rangle =0}
on a
B
(
v
,
x
)
=
B
(
w
,
x
)
=
0
{\displaystyle B(v,x)=B(w,x)=0}
. Finalement, une b.o.n. de
R
3
{\displaystyle \mathbb {R} ^{3}}
orthogonale pour
Φ
{\displaystyle \Phi }
est par exemple :
si
w
≠
±
v
{\displaystyle w\neq \pm v}
,
(
v
+
w
‖
v
+
w
‖
,
v
−
w
‖
v
−
w
‖
,
v
∧
w
‖
v
∧
w
‖
)
{\displaystyle \left({\frac {v+w}{\|v+w\|}},{\frac {v-w}{\|v-w\|}},{\frac {v\land w}{\|v\land w\|}}\right)}
;
si
w
=
±
v
{\displaystyle w=\pm v}
,
(
v
,
p
,
q
)
{\displaystyle \left(v,p,q\right)}
où
(
p
,
q
)
{\displaystyle (p,q)}
est (pour le produit scalaire canonique) une b.o.n du plan
v
⊥
{\displaystyle v^{\perp }}
.
Φ
{\displaystyle \Phi }
n'est pas définie puisque
Φ
(
v
)
=
Φ
(
w
)
=
0
{\displaystyle \Phi (v)=\Phi (w)=0}
.
Φ
(
v
−
w
)
=
−
2
B
(
v
,
w
)
=
−
⟨
w
,
v
∧
(
w
∧
v
)
⟩
=
−
‖
v
∧
w
‖
2
{\displaystyle \Phi (v-w)=-2B(v,w)=-\langle w,v\land (w\land v)\rangle =-\|v\land w\|^{2}}
et si
w
=
±
v
{\displaystyle w=\pm v}
,
Φ
(
p
)
=
Φ
(
q
)
=
−
⟨
v
,
w
⟩
{\displaystyle \Phi (p)=\Phi (q)=-\langle v,w\rangle }
. Donc
Φ
{\displaystyle \Phi }
n'est positive que si
w
=
−
v
{\displaystyle w=-v}
.
« Formes quadratiques » , sur exo7 (9 exercices corrigés)