En raison de limitations techniques, la typographie souhaitable du titre, «
Exercice : DéterminantMatrice/Exercices/Déterminant », n'a pu être restituée correctement ci-dessus.
Soient
A
,
B
∈
M
n
(
R
)
{\displaystyle A,B\in \operatorname {M} _{n}(\mathbb {R} )}
telles que
A
B
=
B
A
{\displaystyle AB=BA}
. Montrer que
det
(
A
2
+
B
2
)
≥
0
{\displaystyle \det \left(A^{2}+B^{2}\right)\geq 0}
.
Solution
Puisque
A
{\displaystyle A}
et
B
{\displaystyle B}
commutent, on a
A
2
+
B
2
=
(
A
+
i
B
)
(
A
−
i
B
)
{\displaystyle A^{2}+B^{2}=\left(A+\mathrm {i} B\right)\left(A-\mathrm {i} B\right)}
, et donc :
det
(
A
2
+
B
2
)
=
det
(
A
+
i
B
)
det
(
A
−
i
B
)
=
det
(
A
+
i
B
)
det
(
A
+
i
B
)
¯
=
|
det
(
A
+
i
B
)
|
2
≥
0
{\displaystyle \det \left(A^{2}+B^{2}\right)=\det \left(A+\mathrm {i} B\right)\det \left(A-\mathrm {i} B\right)=\det \left(A+\mathrm {i} B\right){\overline {\det \left(A+\mathrm {i} B\right)}}=\left|\det \left(A+\mathrm {i} B\right)\right|^{2}\geq 0}
.
Soient
A
,
B
∈
M
n
(
Z
)
{\displaystyle A,B\in \operatorname {M} _{n}(\mathbb {Z} )}
. On suppose que les entiers
det
A
{\displaystyle \det A}
et
det
B
{\displaystyle \det B}
sont premiers entre eux . Montrer qu’il existe
U
,
V
∈
M
n
(
Z
)
{\displaystyle U,V\in \operatorname {M} _{n}(\mathbb {Z} )}
telles que
A
U
+
B
V
=
I
n
{\displaystyle AU+BV=I_{n}}
.
Wikipedia-logo-v2.svg
À tout polynôme unitaire
P
(
X
)
=
c
0
+
c
1
X
+
⋯
+
c
n
−
1
X
n
−
1
+
X
n
{\displaystyle P(X)=c_{0}+c_{1}X+\dots +c_{n-1}X^{n-1}+X^{n}}
on associe sa « matrice compagnon » :
C
(
P
)
=
(
0
0
…
0
−
c
0
1
0
…
0
−
c
1
0
1
…
0
−
c
2
⋮
⋮
⋱
⋮
⋮
0
0
…
1
−
c
n
−
1
)
{\displaystyle C(P)={\begin{pmatrix}0&0&\dots &0&-c_{0}\\1&0&\dots &0&-c_{1}\\0&1&\dots &0&-c_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\dots &1&-c_{n-1}\end{pmatrix}}}
.
Démontrer que le polynôme minimal de
C
(
P
)
{\displaystyle C(P)}
est
P
{\displaystyle P}
, et (sans utiliser le théorème de Cayley-Hamilton ) que
det
(
X
I
n
−
C
(
P
)
)
=
P
(
X
)
{\displaystyle \det(XI_{n}-C(P))=P(X)}
.
Solution
L'endomorphisme
f
∈
L
(
K
n
)
{\displaystyle f\in \mathrm {L} (K^{n})}
associé vérifie
f
(
e
1
)
=
e
2
,
…
,
f
(
e
n
−
1
)
=
e
n
{\displaystyle f(e_{1})=e_{2},\ldots ,f(e_{n-1})=e_{n}}
donc
e
k
=
f
k
−
1
(
e
1
)
{\displaystyle e_{k}=f^{k-1}(e_{1})}
(
∀
k
=
1
,
…
,
n
{\displaystyle \forall k=1,\ldots ,n}
), donc
∀
Q
∈
K
[
X
]
[
Q
(
f
)
=
0
⇔
Q
(
f
)
(
e
1
)
=
0
]
{\displaystyle \forall Q\in K[X]\quad \left[Q(f)=0\Leftrightarrow Q(f)(e_{1})=0\right]}
. Pour
Q
=
P
{\displaystyle Q=P}
cette condition est vérifiée, mais pas pour
Q
≠
0
{\displaystyle Q\neq 0}
de degré
<
n
{\displaystyle <n}
. Donc le polynôme minimal est
P
{\displaystyle P}
.
Puisque le polynôme
det
(
X
I
n
−
C
(
P
)
)
{\displaystyle \det(XI_{n}-C(P))}
est unitaire, de degré
n
{\displaystyle n}
et (d'après le théorème de Cayley-Hamilton) multiple du polynôme minimal, il est donc égal à
P
{\displaystyle P}
, mais vérifions-le directement.
Notons
L
1
,
…
,
L
n
{\displaystyle L_{1},\dots ,L_{n}}
les lignes de la matrice
X
I
n
−
C
(
P
)
=
(
X
0
…
0
c
0
−
1
X
…
0
c
1
0
−
1
…
0
c
2
⋮
⋮
⋱
⋮
⋮
0
0
…
−
1
X
+
c
n
−
1
)
{\displaystyle XI_{n}-C(P)={\begin{pmatrix}X&0&\dots &0&c_{0}\\-1&X&\dots &0&c_{1}\\0&-1&\dots &0&c_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\dots &-1&X+c_{n-1}\end{pmatrix}}}
.
En remplaçant
L
1
{\displaystyle L_{1}}
par
L
1
+
X
L
2
+
X
2
L
3
+
⋯
+
X
n
−
1
L
n
=
(
0
0
…
0
P
(
X
)
)
{\displaystyle L_{1}+XL_{2}+X^{2}L_{3}+\dots +X^{n-1}L_{n}={\begin{pmatrix}0&0&\dots &0&P(X)\end{pmatrix}}}
puis en développant par rapport à cette première ligne, on obtient :
det
(
X
I
n
−
C
(
P
)
)
=
(
−
1
)
n
−
1
P
(
X
)
D
{\displaystyle \det(XI_{n}-C(P))=(-1)^{n-1}P(X)D}
, avec
D
=
|
−
1
X
…
0
0
−
1
…
0
⋮
⋮
⋱
⋮
0
0
…
−
1
|
=
(
−
1
)
n
−
1
{\displaystyle D={\begin{vmatrix}-1&X&\dots &0\\0&-1&\dots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\dots &-1\end{vmatrix}}=(-1)^{n-1}}
.
Wikipedia-logo-v2.svg
Soit
V
=
(
1
α
1
α
1
2
…
α
1
n
−
1
1
α
2
α
2
2
…
α
2
n
−
1
1
α
3
α
3
2
…
α
3
n
−
1
⋮
⋮
⋮
⋮
1
α
n
α
n
2
…
α
n
n
−
1
)
{\displaystyle V={\begin{pmatrix}1&\alpha _{1}&{\alpha _{1}}^{2}&\dots &{\alpha _{1}}^{n-1}\\1&\alpha _{2}&{\alpha _{2}}^{2}&\dots &{\alpha _{2}}^{n-1}\\1&\alpha _{3}&{\alpha _{3}}^{2}&\dots &{\alpha _{3}}^{n-1}\\\vdots &\vdots &\vdots &&\vdots \\1&\alpha _{n}&{\alpha _{n}}^{2}&\dots &{\alpha _{n}}^{n-1}\\\end{pmatrix}}}
.
Démontrer que
det
V
=
∏
1
≤
i
<
j
≤
n
(
α
j
−
α
i
)
{\displaystyle \det V=\prod _{1\leq i<j\leq n}\left(\alpha _{j}-\alpha _{i}\right)}
.
Solution
Il suffit d'exécuter l'opération élémentaire
C
i
{\displaystyle C_{i}}
←
C
i
−
(
α
1
.
C
i
−
1
)
{\displaystyle C_{i}-(\alpha _{1}.C_{i-1})}
(sur les colonnes, en partant de
C
n
{\displaystyle C_{n}}
et en remontant jusqu'à
C
2
{\displaystyle C_{2}}
).
Le déterminant devient :
det
V
=
|
1
0
0
…
0
1
α
2
−
α
1
α
2
(
α
2
−
α
1
)
…
α
2
n
−
2
(
α
2
−
α
1
)
1
α
3
−
α
1
α
3
(
α
3
−
α
1
)
…
α
3
n
−
2
(
α
3
−
α
1
)
⋮
⋮
⋮
⋮
1
α
n
−
α
1
α
n
(
α
n
−
α
1
)
…
α
n
n
−
2
(
α
n
−
α
1
)
|
{\displaystyle \det V={\begin{vmatrix}1&0&0&\dots &0\\1&\alpha _{2}-\alpha _{1}&\alpha _{2}(\alpha _{2}-\alpha _{1})&\dots &\alpha _{2}^{n-2}(\alpha _{2}-\alpha _{1})\\1&\alpha _{3}-\alpha _{1}&\alpha _{3}(\alpha _{3}-\alpha _{1})&\dots &\alpha _{3}^{n-2}(\alpha _{3}-\alpha _{1})\\\vdots &\vdots &\vdots &&\vdots \\1&\alpha _{n}-\alpha _{1}&\alpha _{n}(\alpha _{n}-\alpha _{1})&\dots &\alpha _{n}^{n-2}(\alpha _{n}-\alpha _{1})\\\end{vmatrix}}}
En développant selon la première ligne, il vient :
det
V
=
1
×
|
α
2
−
α
1
α
2
(
α
2
−
α
1
)
…
α
2
n
−
2
(
α
2
−
α
1
)
α
3
−
α
1
α
3
(
α
3
−
α
1
)
…
α
3
n
−
2
(
α
3
−
α
1
)
⋮
⋮
⋮
α
n
−
α
1
α
n
(
α
n
−
α
1
)
…
α
n
n
−
2
(
α
n
−
α
1
)
|
{\displaystyle \det V=1\times {\begin{vmatrix}\alpha _{2}-\alpha _{1}&\alpha _{2}(\alpha _{2}-\alpha _{1})&\dots &\alpha _{2}^{n-2}(\alpha _{2}-\alpha _{1})\\\alpha _{3}-\alpha _{1}&\alpha _{3}(\alpha _{3}-\alpha _{1})&\dots &\alpha _{3}^{n-2}(\alpha _{3}-\alpha _{1})\\\vdots &\vdots &&\vdots \\\alpha _{n}-\alpha _{1}&\alpha _{n}(\alpha _{n}-\alpha _{1})&\dots &\alpha _{n}^{n-2}(\alpha _{n}-\alpha _{1})\\\end{vmatrix}}}
C’est-à-dire, par multilinéarité du déterminant :
det
V
=
(
α
2
−
α
1
)
(
α
3
−
α
1
)
…
(
α
n
−
α
1
)
|
1
α
2
α
2
2
…
α
2
n
−
2
1
α
3
α
3
2
…
α
3
n
−
2
1
α
4
α
4
2
…
α
4
n
−
2
⋮
⋮
⋮
⋮
1
α
n
α
n
2
…
α
n
n
−
2
|
{\displaystyle \det V=(\alpha _{2}-\alpha _{1})(\alpha _{3}-\alpha _{1})\dots (\alpha _{n}-\alpha _{1}){\begin{vmatrix}1&\alpha _{2}&\alpha _{2}^{2}&\dots &\alpha _{2}^{n-2}\\1&\alpha _{3}&\alpha _{3}^{2}&\dots &\alpha _{3}^{n-2}\\1&\alpha _{4}&\alpha _{4}^{2}&\dots &\alpha _{4}^{n-2}\\\vdots &\vdots &\vdots &&\vdots \\1&\alpha _{n}&\alpha _{n}^{2}&\dots &\alpha _{n}^{n-2}\\\end{vmatrix}}}
Par récurrence immédiate, on trouve le résultat annoncé.
Autre preuve : considérons ce déterminant comme un polynôme en
α
n
{\displaystyle \alpha _{n}}
. C'est un polynôme de degré
n
−
1
{\displaystyle n-1}
, qui s'annule quand
α
n
{\displaystyle \alpha _{n}}
est égal à l'un des
α
i
{\displaystyle \alpha _{i}}
pour
i
<
n
{\displaystyle i<n}
. Il est donc de la forme
∏
1
≤
i
<
n
(
α
n
−
α
i
)
Q
(
α
1
,
…
,
α
n
−
1
)
{\displaystyle \prod _{1\leq i<n}\left(\alpha _{n}-\alpha _{i}\right)Q(\alpha _{1},\dots ,\alpha _{n-1})}
. Pour
α
n
=
0
{\displaystyle \alpha _{n}=0}
, cela donne
(
−
1
)
n
−
1
∏
1
≤
i
<
n
α
i
Q
(
α
1
,
…
,
α
n
−
1
)
=
|
1
α
1
α
1
2
…
α
1
n
−
1
1
α
2
α
2
2
…
α
2
n
−
1
1
α
3
α
3
2
…
α
3
n
−
1
⋮
⋮
⋮
⋮
1
0
0
…
0
|
=
(
−
1
)
n
−
1
|
α
1
α
1
2
…
α
1
n
−
1
α
2
α
2
2
…
α
2
n
−
1
α
3
α
3
2
…
α
3
n
−
1
⋮
⋮
⋮
α
n
−
1
α
n
−
1
2
…
α
n
−
1
n
−
1
|
=
(
−
1
)
n
−
1
∏
1
≤
i
<
n
α
i
|
1
α
1
α
1
2
…
α
1
n
−
2
1
α
2
α
2
2
…
α
2
n
−
2
1
α
3
α
3
2
…
α
3
n
−
2
⋮
⋮
⋮
⋮
1
α
n
−
1
α
n
−
1
2
…
α
n
−
1
n
−
2
|
{\displaystyle (-1)^{n-1}\prod _{1\leq i<n}\alpha _{i}\;Q(\alpha _{1},\dots ,\alpha _{n-1})={\begin{vmatrix}1&\alpha _{1}&{\alpha _{1}}^{2}&\dots &{\alpha _{1}}^{n-1}\\1&\alpha _{2}&{\alpha _{2}}^{2}&\dots &{\alpha _{2}}^{n-1}\\1&\alpha _{3}&{\alpha _{3}}^{2}&\dots &{\alpha _{3}}^{n-1}\\\vdots &\vdots &\vdots &&\vdots \\1&0&0&\dots &0\\\end{vmatrix}}=(-1)^{n-1}{\begin{vmatrix}\alpha _{1}&{\alpha _{1}}^{2}&\dots &{\alpha _{1}}^{n-1}\\\alpha _{2}&{\alpha _{2}}^{2}&\dots &{\alpha _{2}}^{n-1}\\\alpha _{3}&{\alpha _{3}}^{2}&\dots &{\alpha _{3}}^{n-1}\\\vdots &\vdots &&\vdots \\\alpha _{n-1}&{\alpha _{n-1}}^{2}&\dots &{\alpha _{n-1}}^{n-1}\end{vmatrix}}=(-1)^{n-1}\prod _{1\leq i<n}\alpha _{i}\;{\begin{vmatrix}1&\alpha _{1}&{\alpha _{1}}^{2}&\dots &{\alpha _{1}}^{n-2}\\1&\alpha _{2}&{\alpha _{2}}^{2}&\dots &{\alpha _{2}}^{n-2}\\1&\alpha _{3}&{\alpha _{3}}^{2}&\dots &{\alpha _{3}}^{n-2}\\\vdots &\vdots &\vdots &&\vdots \\1&\alpha _{n-1}&{\alpha _{n-1}}^{2}&\dots &{\alpha _{n-1}}^{n-2}\\\end{vmatrix}}}
d'où le résultat, par récurrence.
Quel est le rang de
V
{\displaystyle V}
?
Solution
Le rang est le nombre de valeurs distinctes des
α
i
{\displaystyle \alpha _{i}}
.
Utiliser la méthode de Cramer pour résoudre le système linéaire
{
x
+
y
+
z
=
1
a
x
+
b
y
+
c
z
=
d
a
2
x
+
b
2
y
+
c
2
z
=
d
2
{\displaystyle {\begin{cases}x+y+z&=1\\ax+by+cz&=d\\a^{2}x+b^{2}y+c^{2}z&=d^{2}\end{cases}}}
avec
a
,
b
,
c
∈
R
{\displaystyle a,b,c\in \mathbb {R} }
deux à deux distincts et
d
∈
R
{\displaystyle d\in \mathbb {R} }
.
Solution
x
=
(
c
−
d
)
(
b
−
d
)
(
c
−
a
)
(
b
−
a
)
,
y
=
(
c
−
d
)
(
a
−
d
)
(
c
−
b
)
(
a
−
b
)
,
z
=
(
b
−
d
)
(
a
−
d
)
(
b
−
c
)
(
a
−
c
)
{\displaystyle x={\frac {(c-d)(b-d)}{(c-a)(b-a)}},\quad y={\frac {(c-d)(a-d)}{(c-b)(a-b)}},\quad z={\frac {(b-d)(a-d)}{(b-c)(a-c)}}}
.
À l'aide de l'exercice précédent, déterminer (en fonction de
λ
{\displaystyle \lambda }
et
n
{\displaystyle n}
) pour quelle valeur de
μ
{\displaystyle \mu }
le déterminant suivant est nul :
|
1
1
1
…
1
λ
1
2
…
2
n
−
1
⋮
⋮
⋮
⋮
λ
n
−
1
1
n
…
n
n
−
1
λ
n
−
μ
1
n
+
1
…
(
n
+
1
)
n
−
1
|
{\displaystyle {\begin{vmatrix}1&1&1&\dots &1\\\lambda &1&2&\dots &2^{n-1}\\\vdots &\vdots &\vdots &&\vdots &\\\lambda ^{n-1}&1&n&\dots &n^{n-1}\\\lambda ^{n}-\mu &1&n+1&\dots &(n+1)^{n-1}\end{vmatrix}}}
.
Solution
Ce déterminant, développé suivant la première colonne, est égal à
(
∑
k
=
0
n
−
1
(
−
λ
)
k
D
k
)
+
(
−
1
)
n
(
λ
n
−
μ
)
D
n
{\displaystyle \left(\sum _{k=0}^{n-1}(-\lambda )^{k}D_{k}\right)+(-1)^{n}(\lambda ^{n}-\mu )D_{n}}
avec
D
k
=
∏
1
≤
i
<
j
≤
n
+
1
i
,
j
≠
k
+
1
(
j
−
i
)
{\displaystyle D_{k}=\prod _{1\leq i<j\leq n+1 \atop i,j\neq k+1}\left(j-i\right)}
donc
D
k
D
n
=
∏
1
≤
i
<
j
≤
n
+
1
i
,
j
≠
k
+
1
,
n
+
1
×
∏
1
≤
i
<
k
+
1
(
n
+
1
−
i
)
×
∏
k
+
1
<
i
<
n
+
1
(
n
+
1
−
i
)
∏
1
≤
i
<
j
≤
n
+
1
i
,
j
≠
k
+
1
,
n
+
1
×
∏
1
≤
i
<
k
+
1
(
k
+
1
−
i
)
×
∏
k
+
1
<
j
<
n
+
1
(
j
−
(
k
+
1
)
)
=
n
!
(
n
−
k
)
!
×
(
n
−
k
−
1
)
!
k
!
×
(
n
−
k
−
1
)
!
=
(
n
k
)
{\displaystyle {\frac {D_{k}}{D_{n}}}={\frac {{\cancel {\prod _{1\leq i<j\leq n+1 \atop i,j\neq k+1,n+1}}}\times \prod _{1\leq i<k+1}\left(n+1-i\right)\times \prod _{k+1<i<n+1}\left(n+1-i\right)}{{\cancel {\prod _{1\leq i<j\leq n+1 \atop i,j\neq k+1,n+1}}}\times \prod _{1\leq i<k+1}\left(k+1-i\right)\times \prod _{k+1<j<n+1}\left(j-(k+1)\right)}}={\frac {{\frac {n!}{(n-k)!}}\times (n-k-1)!}{k!\times (n-k-1)!}}={\binom {n}{k}}}
.
Il s'annule pour
μ
=
∑
k
=
0
n
(
−
λ
)
k
D
k
(
−
1
)
n
D
n
=
(
−
1
)
n
∑
k
=
0
n
(
−
λ
)
k
(
n
k
)
=
(
λ
−
1
)
n
{\displaystyle \mu ={\frac {\sum _{k=0}^{n}(-\lambda )^{k}D_{k}}{(-1)^{n}D_{n}}}=(-1)^{n}\sum _{k=0}^{n}(-\lambda )^{k}{\binom {n}{k}}=(\lambda -1)^{n}}
.
Soient
A
∈
M
n
,
m
(
R
)
{\displaystyle A\in \mathrm {M} _{n,m}(\mathbb {R} )}
et
B
∈
M
m
,
n
(
R
)
{\displaystyle B\in \mathrm {M} _{m,n}(\mathbb {R} )}
. Si
n
>
m
{\displaystyle n>m}
, montrer que
det
(
A
B
)
=
0
{\displaystyle \det(AB)=0}
.
Montrer que la matrice suivante de
M
n
(
R
)
{\displaystyle \mathrm {M} _{n}(\mathbb {R} )}
est inversible lorsque
n
{\displaystyle n}
est pair :
M
=
(
0
±
1
±
1
…
±
1
±
1
0
±
1
…
±
1
⋮
⋮
⋮
⋮
±
1
±
1
±
1
…
±
1
±
1
±
1
±
1
…
0
)
{\displaystyle M={\begin{pmatrix}0&\pm 1&\pm 1&\dots &\pm 1\\\pm 1&0&\pm 1&\dots &\pm 1\\\vdots &\vdots &\vdots &&\vdots &\\\pm 1&\pm 1&\pm 1&\dots &\pm 1\\\pm 1&\pm 1&\pm 1&\dots &0\end{pmatrix}}}
.
Indication : calculer son déterminant modulo 2.
Soient les matrices par blocs
M
1
:=
(
A
B
0
C
)
,
M
2
:=
(
A
B
B
A
)
,
M
3
:=
(
A
B
C
D
)
{\displaystyle M_{1}:={\begin{pmatrix}A&B\\0&C\end{pmatrix}},\quad M_{2}:={\begin{pmatrix}A&B\\B&A\end{pmatrix}},\quad M_{3}:={\begin{pmatrix}A&B\\C&D\end{pmatrix}}}
.
Montrer que
det
M
1
=
det
A
det
C
{\displaystyle \det M_{1}=\det A\det C}
,
det
M
2
=
det
(
A
+
B
)
det
(
A
−
B
)
{\displaystyle \det M_{2}=\det(A+B)\det(A-B)}
et
det
(
M
3
)
=
det
A
det
(
D
−
C
A
−
1
B
)
{\displaystyle \det(M_{3})=\det A\det(D-CA^{-1}B)}
(si
A
{\displaystyle A}
est inversible).
Que donne cette dernière formule lorsque
A
C
=
C
A
{\displaystyle AC=CA}
?
Solution
det
M
1
=
det
A
det
C
{\displaystyle \det M_{1}=\det A\det C}
se démontre simplement par récurrence sur la taille
n
{\displaystyle n}
de
A
{\displaystyle A}
, en développant suivant la première colonne : si
n
=
1
{\displaystyle n=1}
, la formule est immédiate (on peut même partir de
n
=
0
{\displaystyle n=0}
, avec la convention
det
∅
=
1
{\displaystyle \det \varnothing =1}
). Et si la formule est vraie pour les matrices
A
{\displaystyle A}
de taille
n
−
1
{\displaystyle n-1}
alors, en notant
A
i
,
j
{\displaystyle A_{i,j}}
la matrice
A
=
(
a
i
,
j
)
{\displaystyle A=(a_{i,j})}
privée de sa ligne
i
{\displaystyle i}
et sa colonne
j
{\displaystyle j}
et
B
i
{\displaystyle B_{i}}
la matrice
B
{\displaystyle B}
privée de sa ligne
i
{\displaystyle i}
, on a
det
M
1
=
∑
i
=
1
n
(
−
1
)
i
+
1
a
i
,
1
det
(
A
i
,
1
B
i
0
C
)
=
{\displaystyle \det M_{1}=\sum _{i=1}^{n}(-1)^{i+1}a_{i,1}\det {\begin{pmatrix}A_{i,1}&B_{i}\\0&C\end{pmatrix}}=}
(par hypothèse de récurrence)
∑
i
=
1
n
(
−
1
)
i
+
1
a
i
,
1
det
A
i
,
1
det
C
=
det
A
det
C
{\displaystyle \sum _{i=1}^{n}(-1)^{i+1}a_{i,1}\det A_{i,1}\det C=\det A\det C}
. Une autre méthode possible est d'utiliser que
A
{\displaystyle A}
(ou
C
{\displaystyle C}
) est triangularisable.
Par opérations sur les lignes puis sur les colonnes,
det
M
2
=
det
(
A
B
B
−
A
A
−
B
)
=
det
(
A
+
B
B
(
B
−
A
)
+
(
A
−
B
)
A
−
B
)
=
det
(
A
+
B
)
det
(
A
−
B
)
{\displaystyle \det M_{2}=\det {\begin{pmatrix}A&B\\B-A&A-B\end{pmatrix}}=\det {\begin{pmatrix}A+B&B\\(B-A)+(A-B)&A-B\end{pmatrix}}=\det(A+B)\det(A-B)}
, la dernière égalité résultant du point précédent.
det
(
M
3
)
=
det
A
det
(
D
−
C
A
−
1
B
)
{\displaystyle \det(M_{3})=\det A\det(D-CA^{-1}B)}
résulte également du premier point, en remarquant que
(
I
0
−
C
A
−
1
I
)
M
3
=
(
A
B
0
D
−
C
A
−
1
B
)
{\displaystyle {\begin{pmatrix}\mathrm {I} &0\\-CA^{-1}&\mathrm {I} \end{pmatrix}}M_{3}={\begin{pmatrix}A&B\\0&D-CA^{-1}B\end{pmatrix}}}
ou simplement en opérant là encore sur les lignes :
det
(
M
3
)
=
(
A
B
C
−
C
A
−
1
A
D
−
C
A
−
1
B
)
{\displaystyle \det(M_{3})={\begin{pmatrix}A&B\\C-CA^{-1}A&D-CA^{-1}B\end{pmatrix}}}
.
Si
A
C
=
C
A
{\displaystyle AC=CA}
(et si
A
{\displaystyle A}
est inversible), la dernière formule donne
det
(
M
3
)
=
det
A
det
(
D
−
A
−
1
C
B
)
=
det
(
A
D
−
C
B
)
{\displaystyle \det(M_{3})=\det A\det(D-A^{-1}CB)=\det(AD-CB)}
.
Déterminer pour quelles valeurs de
t
∈
R
{\displaystyle t\in \mathbb {R} }
les polynômes
X
2
+
t
/
2
{\displaystyle X^{2}+t/2}
,
X
−
t
{\displaystyle X-t}
et
(
X
+
t
+
1
)
2
{\displaystyle (X+t+1)^{2}}
forment une base de
R
2
[
X
]
{\displaystyle \mathbb {R} _{2}[X]}
.
Calculer les dix déterminants suivants.
D
1
=
|
1
3
2
1
3
3
1
2
1
|
,
D
2
=
|
1
1
1
3
3
2
2
3
1
|
,
D
3
=
|
5
−
3
13
0
−
1
−
16
0
0
2
|
,
D
4
=
|
1
0
0
0
3
2
−
1
2
0
1
2
3
2
|
,
D
5
=
|
0
0
1
1
0
0
0
1
0
|
,
{\displaystyle D_{1}={\begin{vmatrix}1&3&2\\1&3&3\\1&2&1\end{vmatrix}},\quad D_{2}={\begin{vmatrix}1&1&1\\3&3&2\\2&3&1\end{vmatrix}},\quad D_{3}={\begin{vmatrix}5&-3&13\\0&-1&-16\\0&0&2\end{vmatrix}},\quad D_{4}={\begin{vmatrix}1&0&0\\0&{{\sqrt {3}} \over 2}&-{1 \over 2}\\0&{1 \over 2}&{{\sqrt {3}} \over 2}\end{vmatrix}},\quad D_{5}={\begin{vmatrix}0&0&1\\1&0&0\\0&1&0\end{vmatrix}},}
D
6
=
|
2
0
0
1
5
2
1
0
3
1
−
6
7
2
4
0
1
|
,
D
7
=
|
0
−
1
0
0
4
0
2
1
2
3
0
−
5
1
6
6
1
|
,
D
8
=
|
1
2.10
2
1
0
−
3.10
2
1
0
6.10
5
−
2.10
3
|
,
D
9
=
|
3
4
−
2
1
0
1
2
1
2
|
et
D
10
=
|
0
1
0
1
1
0
1
0
1
0
0
1
0
1
1
0
|
.
{\displaystyle D_{6}={\begin{vmatrix}2&0&0&1\\5&2&1&0\\3&1&-6&7\\2&4&0&1\end{vmatrix}},\quad D_{7}={\begin{vmatrix}0&-1&0&0\\4&0&2&1\\2&3&0&-5\\1&6&6&1\end{vmatrix}},\quad D_{8}={\begin{vmatrix}1&2.10^{2}&1\\0&-3.10^{2}&1\\0&6.10^{5}&-2.10^{3}\end{vmatrix}},\quad D_{9}={\begin{vmatrix}3&4&-2\\1&0&1\\2&1&{\sqrt {2}}\end{vmatrix}}\quad {\text{et}}\quad D_{10}={\begin{vmatrix}0&1&0&1\\1&0&1&0\\1&0&0&1\\0&1&1&0\end{vmatrix}}.}
Calculer l'aire du parallélogramme défini par les vecteurs
(
7
,
3
)
{\displaystyle (7,3)}
et
(
1
,
4
)
{\displaystyle (1,4)}
.
Calculer le volume du parallélépipède défini par les vecteurs
(
2
,
1
,
1
)
{\displaystyle (2,1,1)}
,
(
1
,
1
,
4
)
{\displaystyle (1,1,4)}
et
(
1
,
3
,
1
)
{\displaystyle (1,3,1)}
.
Solution
|
7
1
3
4
|
=
7
×
4
−
1
×
3
=
25
{\displaystyle {\begin{vmatrix}7&1\\3&4\end{vmatrix}}=7\times 4-1\times 3=25}
donc l'aire vaut 25.
|
2
1
1
1
1
3
1
4
1
|
=
−
17
{\displaystyle {\begin{vmatrix}2&1&1\\1&1&3\\1&4&1\end{vmatrix}}=-17}
donc le volume vaut 17.
Soit l'application
f
:
R
n
[
X
]
→
R
n
[
X
]
,
P
↦
P
+
P
′
{\displaystyle f:\mathbb {R} _{n}[X]\to \mathbb {R} _{n}[X],\;P\mapsto P+P'}
.
Calculer le déterminant de
f
{\displaystyle f}
dans la base canonique.
Solution
La matrice de
f
{\displaystyle f}
dans la base canonique est triangulaire avec des
1
{\displaystyle 1}
sur la diagonale donc le déterminant vaut
1
{\displaystyle 1}
.
Calculer le déterminant des matrices
A
:=
(
1
1
2
1
3
1
2
1
3
1
4
1
3
1
4
m
)
{\displaystyle A:={\begin{pmatrix}1&{\frac {1}{2}}&{\frac {1}{3}}\\{\frac {1}{2}}&{\frac {1}{3}}&{\frac {1}{4}}\\{\frac {1}{3}}&{\frac {1}{4}}&m\end{pmatrix}}}
et
B
:=
(
1
1
1
b
+
c
c
+
a
a
+
b
b
c
c
a
a
b
)
{\displaystyle B:={\begin{pmatrix}1&1&1\\b+c&c+a&a+b\\bc&ca&ab\end{pmatrix}}}
et préciser pour quelles valeurs des paramètres elles sont inversibles.
Montrer les formules suivantes où les déterminants sont d'ordre
n
{\displaystyle n}
:
d
n
:=
|
2
−
1
0
…
0
−
1
2
⋱
⋱
⋮
0
⋱
⋱
⋱
0
⋮
⋱
⋱
2
−
1
0
…
0
−
1
2
|
=
n
+
1
,
D
n
:=
|
1
2
3
…
n
−
1
0
3
…
n
−
1
−
2
0
…
n
⋮
⋱
⋱
⋱
⋮
−
1
−
2
−
3
…
0
|
=
n
!
.
{\displaystyle d_{n}:={\begin{vmatrix}2&-1&0&\dots &0\\-1&2&\ddots &\ddots &\vdots \\0&\ddots &\ddots &\ddots &0\\\vdots &\ddots &\ddots &2&-1\\0&\dots &0&-1&2\\\end{vmatrix}}=n+1,\qquad \qquad D_{n}:={\begin{vmatrix}1&2&3&\dots &n\\-1&0&3&\dots &n\\-1&-2&0&\dots &n\\\vdots &\ddots &\ddots &\ddots &\vdots \\-1&-2&-3&\dots &0\\\end{vmatrix}}=n!.}
On pourra développer
d
n
{\displaystyle d_{n}}
suivant la première ligne puis, par un développement supplémentaire, trouver une expression de
d
n
{\displaystyle d_{n}}
en fonction de
d
n
−
1
{\displaystyle d_{n-1}}
et
d
n
−
2
{\displaystyle d_{n-2}}
.
Pour
D
n
{\displaystyle D_{n}}
, on pourra effectuer les transformations élémentaires
L
k
←
L
k
+
L
1
{\displaystyle L_{k}\leftarrow L_{k}+L_{1}}
pour
k
>
1
{\displaystyle k>1}
.
Soient
a
1
,
…
,
a
n
,
b
1
,
…
,
b
n
∈
C
{\displaystyle a_{1},\dots ,a_{n},b_{1},\dots ,b_{n}\in \mathbb {C} }
. Notons
Δ
n
+
1
{\displaystyle \Delta _{n+1}}
le déterminant de la matrice tridiagonale d'ordre
n
+
1
{\displaystyle n+1}
:
(
0
a
1
0
…
0
b
1
0
⋱
⋱
⋮
0
⋱
⋱
⋱
0
⋮
⋱
⋱
0
a
n
0
…
0
b
n
0
)
{\displaystyle {\begin{pmatrix}0&a_{1}&0&\dots &0\\b_{1}&0&\ddots &\ddots &\vdots \\0&\ddots &\ddots &\ddots &0\\\vdots &\ddots &\ddots &0&a_{n}\\0&\dots &0&b_{n}&0\\\end{pmatrix}}}
.
Calculer
Δ
1
,
Δ
2
,
Δ
3
{\displaystyle \Delta _{1},\Delta _{2},\Delta _{3}}
, puis
Δ
n
{\displaystyle \Delta _{n}}
pour tout
n
{\displaystyle n}
(on distinguera les cas pair et impair).
Wikipedia-logo-v2.svg
Démontrer que
|
1
a
1
+
b
1
1
a
1
+
b
2
…
1
a
1
+
b
n
1
a
2
+
b
1
1
a
2
+
b
2
…
1
a
2
+
b
n
⋮
⋮
⋮
1
a
n
+
b
1
1
a
n
+
b
2
…
1
a
n
+
b
n
|
=
V
(
a
1
,
…
,
a
n
)
V
(
b
1
,
…
,
b
n
)
∏
i
,
j
(
a
i
+
b
j
)
{\displaystyle {\begin{vmatrix}{\frac {1}{a_{1}+b_{1}}}&{\frac {1}{a_{1}+b_{2}}}&\dots &{\frac {1}{a_{1}+b_{n}}}\\{\frac {1}{a_{2}+b_{1}}}&{\frac {1}{a_{2}+b_{2}}}&\dots &{\frac {1}{a_{2}+b_{n}}}\\\vdots &\vdots &&\vdots \\{\frac {1}{a_{n}+b_{1}}}&{\frac {1}{a_{n}+b_{2}}}&\dots &{\frac {1}{a_{n}+b_{n}}}\end{vmatrix}}={\frac {\mathrm {V} (a_{1},\dots ,a_{n})\mathrm {V} (b_{1},\dots ,b_{n})}{\prod \limits _{i,j}(a_{i}+b_{j})}}}
,
où
V
(
α
1
,
…
,
α
n
)
=
∏
1
≤
i
<
j
≤
n
(
α
j
−
α
i
)
{\displaystyle \mathrm {V} (\alpha _{1},\dots ,\alpha _{n})=\prod _{1\leq i<j\leq n}\left(\alpha _{j}-\alpha _{i}\right)}
(voir supra ).
Solution
Références :
A. L. Cauchy , Œuvres complètes , série 2, t. 12, p. 173-182 : « Mémoire sur les fonctions alternées et sur les sommes alternées » (1841)
(en) Ian G. Macdonald , Symmetric Functions and Orthogonal Polynomials , AMS, 1998, p. 8
(en) C. Krattenthaler , « Advanced determinant calculus », Séminaire Lotharingien de Combinatoire [electronic only] 42 (1999): B42q, 67 p.-B42q, 67 p. <http://eudml.org/doc/119961 >
Ces trois références donnent la preuve suivante, moins laborieuse que la preuve par récurrence que l'on trouve le plus souvent dans les manuels.
Il s'agit de démontrer que
|
C
1
,
1
C
1
,
2
…
C
1
,
n
C
2
,
1
C
2
,
2
…
C
2
,
n
⋮
⋮
⋮
C
n
,
1
C
n
,
2
…
C
n
,
n
|
=
V
(
a
1
,
…
,
a
n
)
V
(
b
1
,
…
,
b
n
)
{\displaystyle {\begin{vmatrix}C_{1,1}&C_{1,2}&\dots &C_{1,n}\\C_{2,1}&C_{2,2}&\dots &C_{2,n}\\\vdots &\vdots &&\vdots \\C_{n,1}&C_{n,2}&\dots &C_{n,n}\end{vmatrix}}=\mathrm {V} (a_{1},\dots ,a_{n})\mathrm {V} (b_{1},\dots ,b_{n})}
, où
C
i
,
j
=
∏
k
≠
j
(
a
i
+
b
k
)
{\displaystyle C_{i,j}=\prod _{k\neq j}(a_{i}+b_{k})}
.
Le polynôme de gauche s'annule si deux
a
i
{\displaystyle a_{i}}
ou deux
b
j
{\displaystyle b_{j}}
sont égaux, donc c'est un multiple du polynôme de droite.
Plus précisément, puisque les deux polynômes (homogènes en les
a
i
{\displaystyle a_{i}}
et
b
j
{\displaystyle b_{j}}
) sont de même degré total
n
(
n
−
1
)
{\displaystyle n(n-1)}
: le polynôme de gauche est égal à
k
n
{\displaystyle k_{n}}
fois celui de droite, pour une certaine constante
k
n
{\displaystyle k_{n}}
.
Pour vérifier que
k
n
=
1
{\displaystyle k_{n}=1}
, il suffit de constater que dans ces deux polynômes, le coefficient du monôme
(
a
1
b
1
)
n
−
1
(
a
2
b
2
)
n
−
2
…
(
a
n
−
1
b
n
−
1
)
1
(
a
n
b
n
)
0
{\displaystyle (a_{1}b_{1})^{n-1}(a_{2}b_{2})^{n-2}\dots (a_{n-1}b_{n-1})^{1}(a_{n}b_{n})^{0}}
est égal à
1
{\displaystyle 1}
.
Soit
θ
∈
]
0
,
π
[
{\displaystyle \theta \in \left]0,\pi \right[}
. On considère la matrice d'ordre
n
≥
1
{\displaystyle n\geq 1}
:
B
n
(
θ
)
=
(
2
cos
θ
1
0
…
0
0
1
2
cos
θ
1
…
0
0
0
1
2
cos
θ
…
0
0
…
…
…
…
…
…
0
0
0
…
2
cos
θ
1
0
0
0
…
1
1
+
2
cos
θ
)
{\displaystyle B_{n}(\theta )={\begin{pmatrix}2\cos \theta &1&0&\dots &0&0\\1&2\cos \theta &1&\dots &0&0\\0&1&2\cos \theta &\dots &0&0\\\dots &\dots &\dots &\dots &\dots &\dots \\0&0&0&\dots &2\cos \theta &1\\0&0&0&\dots &1&1+2\cos \theta \end{pmatrix}}}
(en particulier,
B
1
(
θ
)
=
(
1
+
2
cos
θ
)
{\displaystyle B_{1}(\theta )=(1+2\cos \theta )}
).
Montrer que
∀
n
≥
2
det
B
n
+
1
(
θ
)
=
2
cos
θ
det
B
n
(
θ
)
−
det
B
n
−
1
(
θ
)
{\displaystyle \forall n\geq 2\quad \det B_{n+1}(\theta )=2\cos \theta \det B_{n}(\theta )-\det B_{n-1}(\theta )}
.
En déduire (par récurrence) que
det
B
n
(
θ
)
=
sin
(
n
+
1
)
θ
sin
θ
+
sin
n
θ
sin
θ
{\displaystyle \det B_{n}(\theta )={\sin(n+1)\theta \over \sin \theta }+{\sin n\theta \over \sin \theta }}
.
Montrer que
det
B
n
(
θ
)
{\displaystyle \det B_{n}(\theta )}
s'annule pour
n
{\displaystyle n}
valeurs distinctes de
θ
∈
]
0
,
π
[
{\displaystyle \theta \in \left]0,\pi \right[}
et les déterminer (on rappelle que
sin
a
+
sin
b
=
2
sin
a
+
b
2
cos
a
−
b
2
{\displaystyle \sin a+\sin b=2\sin {\frac {a+b}{2}}\cos {\frac {a-b}{2}}}
).
Soient
A
n
=
B
n
(
π
/
2
)
{\displaystyle A_{n}=B_{n}(\pi /2)}
et
P
n
{\displaystyle P_{n}}
son polynôme caractéristique. Calculer
P
n
(
−
2
cos
θ
)
{\displaystyle P_{n}(-2\cos \theta )}
et déduire de ce qui précède les valeurs propres de
A
n
{\displaystyle A_{n}}
.
Solution
Immédiat, en développant par exemple suivant la première ligne.
L'égalité est claire pour
n
=
1
{\displaystyle n=1}
.
det
B
2
(
θ
)
=
4
cos
2
θ
+
2
cos
θ
−
1
{\displaystyle \det B_{2}(\theta )=4\cos ^{2}\theta +2\cos \theta -1}
est bien égal à
sin
3
θ
sin
θ
+
sin
2
θ
sin
θ
{\displaystyle {\sin 3\theta \over \sin \theta }+{\sin 2\theta \over \sin \theta }}
(cf. Approche géométrique des nombres complexes/Apports à la trigonométrie#Formules de dé-linéarisation ).
2
cos
θ
(
sin
(
n
+
1
)
θ
+
sin
n
θ
)
−
(
sin
n
θ
+
sin
(
n
−
1
)
θ
)
=
sin
(
n
+
2
)
θ
+
sin
n
θ
+
sin
(
n
+
1
)
θ
+
sin
(
n
−
1
)
θ
−
(
sin
n
θ
+
sin
(
n
−
1
)
θ
)
{\displaystyle 2\cos \theta \left(\sin(n+1)\theta +\sin n\theta \right)-\left(\sin n\theta +\sin(n-1)\theta \right)=\sin(n+2)\theta +\sin n\theta +\sin(n+1)\theta +\sin(n-1)\theta -\left(\sin n\theta +\sin(n-1)\theta \right)}
(cf. Approche géométrique des nombres complexes/Apports à la trigonométrie#Produit de cosinus et de sinus ) est bien égal à
sin
(
n
+
2
)
θ
+
sin
(
n
+
1
)
θ
{\displaystyle \sin(n+2)\theta +\sin(n+1)\theta }
.
det
B
n
(
θ
)
=
0
⇔
sin
(
n
+
1
)
θ
+
sin
n
θ
=
0
⇔
sin
(
2
n
+
1
)
θ
2
cos
θ
2
=
0
{\displaystyle \det B_{n}(\theta )=0\Leftrightarrow \sin(n+1)\theta +\sin n\theta =0\Leftrightarrow \sin {\frac {(2n+1)\theta }{2}}\cos {\frac {\theta }{2}}=0}
(cf. Approche géométrique des nombres complexes/Apports à la trigonométrie#Somme de cosinus et de sinus )
⇔
sin
(
2
n
+
1
)
θ
2
{\displaystyle \Leftrightarrow \sin {\frac {(2n+1)\theta }{2}}}
(puisque
θ
∈
]
0
,
π
[
{\displaystyle \theta \in \left]0,\pi \right[}
)
⇔
θ
=
k
2
π
2
n
+
1
{\displaystyle \Leftrightarrow \theta ={\frac {k2\pi }{2n+1}}}
avec
k
∈
{
1
,
2
,
…
,
n
}
{\displaystyle k\in \{1,2,\dots ,n\}}
.
P
n
(
−
2
cos
θ
)
=
det
(
A
n
+
2
cos
θ
I
n
)
=
det
(
B
n
)
{\displaystyle P_{n}(-2\cos \theta )=\det(A_{n}+2\cos \theta \mathrm {I} _{n})=\det(B_{n})}
donc les valeurs propres de
A
n
{\displaystyle A_{n}}
(les racines de
P
n
{\displaystyle P_{n}}
) sont les
n
{\displaystyle n}
réels distincts
−
2
cos
k
2
π
2
n
+
1
∈
]
−
2
,
2
[
{\displaystyle -2\cos {\frac {k2\pi }{2n+1}}\in \left]-2,2\right[}
pour
k
∈
{
1
,
2
,
…
,
n
}
{\displaystyle k\in \{1,2,\dots ,n\}}
.
Calculer les déterminants des matrices suivantes :
(
a
c
c
b
c
a
b
c
c
b
a
c
b
c
c
a
)
,
(
c
a
b
c
a
c
c
b
b
c
c
a
c
b
a
c
)
,
(
a
x
y
z
b
x
y
z
c
x
′
y
′
z
′
d
x
′
y
′
z
′
)
{\displaystyle {\begin{pmatrix}a&c&c&b\\c&a&b&c\\c&b&a&c\\b&c&c&a\end{pmatrix}},\qquad {\begin{pmatrix}c&a&b&c\\a&c&c&b\\b&c&c&a\\c&b&a&c\end{pmatrix}},\qquad {\begin{pmatrix}a&x&y&z\\b&x&y&z\\c&x'&y'&z'\\d&x'&y'&z'\end{pmatrix}}}
,
(
1
+
a
b
a
b
b
1
+
a
b
a
a
b
1
+
a
b
b
a
b
1
+
a
)
,
(
a
a
a
2
b
+
c
+
d
a
b
b
2
c
+
d
+
a
a
c
c
2
d
+
a
+
b
a
d
d
2
a
+
b
+
c
)
,
(
1
0
a
a
2
0
1
b
b
2
1
0
c
c
2
0
1
d
d
2
)
{\displaystyle {\begin{pmatrix}1+a&b&a&b\\b&1+a&b&a\\a&b&1+a&b\\b&a&b&1+a\end{pmatrix}},\qquad {\begin{pmatrix}a&a&a^{2}&b+c+d\\a&b&b^{2}&c+d+a\\a&c&c^{2}&d+a+b\\a&d&d^{2}&a+b+c\end{pmatrix}},\qquad {\begin{pmatrix}1&0&a&a^{2}\\0&1&b&b^{2}\\1&0&c&c^{2}\\0&1&d&d^{2}\end{pmatrix}}}
.
Solution
1re méthode :
det
M
(
a
,
b
,
c
)
{\displaystyle \det M(a,b,c)}
est, a priori , un polynôme homogène de degré 4 en
a
,
b
,
c
{\displaystyle a,b,c}
. Il s'annule si
a
+
b
+
2
c
=
0
{\displaystyle a+b+2c=0}
(car la somme des colonnes — ou des lignes — est alors nulle), si
a
+
b
−
2
c
=
0
{\displaystyle a+b-2c=0}
(idem avec la somme alternée), et si
a
=
b
{\displaystyle a=b}
(dans ce cas la matrice est même de rang
≤
2
{\displaystyle \leq 2}
). Il est donc de la forme
(
a
+
b
+
2
c
)
(
a
+
b
−
2
c
)
(
a
−
b
)
(
α
a
+
β
b
+
γ
c
)
{\displaystyle (a+b+2c)(a+b-2c)(a-b)(\alpha a+\beta b+\gamma c)}
. Pour trouver
α
,
β
,
γ
{\displaystyle \alpha ,\beta ,\gamma }
, on peut évaluer
M
(
a
,
b
,
c
)
{\displaystyle M(a,b,c)}
dans des cas particuliers :
α
=
det
M
(
1
,
0
,
0
)
=
1
{\displaystyle \alpha =\det M(1,0,0)=1}
,
β
=
−
det
M
(
0
,
1
,
0
)
=
−
1
{\displaystyle \beta =-\det M(0,1,0)=-1}
, et par exemple
−
3
(
α
+
γ
)
=
det
M
(
1
,
0
,
1
)
=
[
…
]
=
−
3
{\displaystyle -3(\alpha +\gamma )=\det M(1,0,1)=[\dots ]=-3}
donc
γ
=
0
{\displaystyle \gamma =0}
, d'où
det
M
(
a
,
b
,
c
)
=
(
a
+
b
+
2
c
)
(
a
+
b
−
2
c
)
(
a
−
b
)
2
{\displaystyle \det M(a,b,c)=(a+b+2c)(a+b-2c)(a-b)^{2}}
.
2e méthode : pour éviter le dernier des 3 calculs ci-dessus on pouvait affiner le raisonnement précédent, en remplaçant
a
{\displaystyle a}
par
a
−
λ
{\displaystyle a-\lambda }
: on trouve les valeurs propres
λ
1
:=
a
+
b
+
2
c
{\displaystyle \lambda _{1}:=a+b+2c}
,
λ
2
:=
a
+
b
−
2
c
{\displaystyle \lambda _{2}:=a+b-2c}
et la valeur propre
λ
3
:=
a
−
b
{\displaystyle \lambda _{3}:=a-b}
, dont le s.e.v. propre associé est de dimension
≥
2
{\displaystyle \geq 2}
: donc
M
(
a
,
b
,
c
)
{\displaystyle M(a,b,c)}
est diagonalisable et son déterminant est
λ
1
λ
2
λ
3
2
{\displaystyle \lambda _{1}\lambda _{2}\lambda _{3}^{2}}
. (On peut préciser si on veut :
ε
1
:=
(
1
,
1
,
1
,
1
)
,
ε
2
:=
(
1
,
−
1
,
1
,
−
1
)
,
ε
3
:=
(
1
,
0
,
0
,
−
1
)
,
ε
4
:=
(
0
,
1
,
−
1
,
0
)
{\displaystyle \varepsilon _{1}:=(1,1,1,1),\varepsilon _{2}:=(1,-1,1,-1),\varepsilon _{3}:=(1,0,0,-1),\varepsilon _{4}:=(0,1,-1,0)}
sont propres pour les valeurs
λ
i
{\displaystyle \lambda _{i}}
correspondantes, avec
λ
4
:=
λ
3
{\displaystyle \lambda _{4}:=\lambda _{3}}
).
3e méthode :
|
a
c
c
b
c
a
b
c
c
b
a
c
b
c
c
a
|
=
(
L
4
:=
L
1
+
L
2
+
L
3
+
L
4
)
(
a
+
b
+
2
c
)
|
a
c
c
b
c
a
b
c
c
b
a
c
1
1
1
1
|
=
(
C
1
:=
C
1
−
C
4
)
(
a
+
b
+
2
c
)
|
a
−
b
c
c
b
0
a
b
c
0
b
a
c
0
1
1
1
|
{\displaystyle {\begin{vmatrix}a&c&c&b\\c&a&b&c\\c&b&a&c\\b&c&c&a\end{vmatrix}}=_{(L_{4}:=L_{1}+L_{2}+L_{3}+L_{4})}(a+b+2c){\begin{vmatrix}a&c&c&b\\c&a&b&c\\c&b&a&c\\1&1&1&1\end{vmatrix}}=_{(C_{1}:=C_{1}-C_{4})}(a+b+2c){\begin{vmatrix}a-b&c&c&b\\0&a&b&c\\0&b&a&c\\0&1&1&1\end{vmatrix}}}
=
(
a
+
b
+
2
c
)
(
a
−
b
)
|
a
b
c
b
a
c
1
1
1
|
=
(
C
2
:=
C
2
−
C
1
,
C
3
:=
C
3
−
C
1
)
(
a
+
b
+
2
c
)
(
a
−
b
)
|
a
b
−
a
c
−
a
b
a
−
b
c
−
b
1
0
0
|
{\displaystyle =(a+b+2c)(a-b){\begin{vmatrix}a&b&c\\b&a&c\\1&1&1\end{vmatrix}}=_{(C_{2}:=C_{2}-C_{1},C_{3}:=C_{3}-C_{1})}(a+b+2c)(a-b){\begin{vmatrix}a&b-a&c-a\\b&a-b&c-b\\1&0&0\end{vmatrix}}}
=
(
a
+
b
+
2
c
)
(
a
−
b
)
|
b
−
a
c
−
a
a
−
b
c
−
b
|
=
(
a
+
b
+
2
c
)
(
a
−
b
)
2
|
−
1
c
−
a
1
c
−
b
|
=
(
a
+
b
+
2
c
)
(
a
−
b
)
2
(
a
+
b
−
2
c
)
{\displaystyle =(a+b+2c)(a-b){\begin{vmatrix}b-a&c-a\\a-b&c-b\end{vmatrix}}=(a+b+2c)(a-b)^{2}{\begin{vmatrix}-1&c-a\\1&c-b\end{vmatrix}}=(a+b+2c)(a-b)^{2}(a+b-2c)}
.
Cette deuxième matrice se déduit de
M
(
a
,
b
,
c
)
{\displaystyle M(a,b,c)}
par une permutation paire (2 transpositions de colonnes ou de lignes) donc a même déterminant.
|
a
x
y
z
b
x
y
z
c
x
′
y
′
z
′
d
x
′
y
′
z
′
|
=
L
2
:=
L
2
−
L
1
,
L
4
:=
L
4
−
L
3
|
a
x
y
z
b
−
a
0
0
0
c
x
′
y
′
z
′
d
−
c
0
0
0
|
=
0
{\displaystyle {\begin{vmatrix}a&x&y&z\\b&x&y&z\\c&x'&y'&z'\\d&x'&y'&z'\end{vmatrix}}=_{L_{2}:=L_{2}-L_{1},L_{4}:=L_{4}-L_{3}}{\begin{vmatrix}a&x&y&z\\b-a&0&0&0\\c&x'&y'&z'\\d-c&0&0&0\end{vmatrix}}=0}
(car
(
L
2
,
L
4
)
{\displaystyle (L_{2},L_{4})}
est lié).
Égale, à transposition près des 2 dernières lignes et colonnes, à
M
(
1
+
a
,
a
,
b
)
{\displaystyle M(1+a,a,b)}
, donc — d'après la question 1 — le déterminant vaut
(
1
+
2
a
+
2
b
)
(
1
+
2
a
−
2
b
)
{\displaystyle (1+2a+2b)(1+2a-2b)}
. On pouvait aussi le calculer directement, par les mêmes méthodes que dans 1.
1re méthode : ce déterminant est, a priori , un polynôme homogène de degré 5 en
a
,
b
,
c
,
d
{\displaystyle a,b,c,d}
, qui s'annule dès que
a
=
0
{\displaystyle a=0}
ou que deux des quatre variables
a
,
b
,
c
,
d
{\displaystyle a,b,c,d}
sont égales, donc multiple de
a
(
a
−
b
)
(
a
−
c
)
(
a
−
d
)
(
b
−
c
)
(
b
−
d
)
(
c
−
d
)
{\displaystyle a(a-b)(a-c)(a-d)(b-c)(b-d)(c-d)}
donc (vus les degrés) nul.
2e méthode :
a
|
1
a
a
2
b
+
c
+
d
1
b
b
2
c
+
d
+
a
1
c
c
2
d
+
a
+
b
1
d
d
2
a
+
b
+
c
|
=
(
C
4
:=
C
4
+
C
2
)
a
(
a
+
b
+
c
+
d
)
|
1
a
a
2
1
1
b
b
2
1
1
c
c
2
1
1
d
d
2
1
|
=
0
{\displaystyle a{\begin{vmatrix}1&a&a^{2}&b+c+d\\1&b&b^{2}&c+d+a1&c&c^{2}&d+a+b\\1&d&d^{2}&a+b+c\end{vmatrix}}=_{(C_{4}:=C_{4}+C_{2})}a(a+b+c+d){\begin{vmatrix}1&a&a^{2}&1\\1&b&b^{2}&1\\1&c&c^{2}&1\\1&d&d^{2}&1\end{vmatrix}}=0}
(car deux colonnes sont identiques).
1re méthode :
det
N
(
a
,
b
,
c
,
d
)
{\displaystyle \det N(a,b,c,d)}
est, a priori , un polynôme homogène de degré 3 en
a
,
b
,
c
,
d
{\displaystyle a,b,c,d}
, qui s'annule dès que
a
=
c
{\displaystyle a=c}
ou
b
=
d
{\displaystyle b=d}
, donc de la forme
(
a
−
c
)
(
b
−
d
)
(
α
a
+
β
b
+
γ
c
+
δ
d
)
{\displaystyle (a-c)(b-d)(\alpha a+\beta b+\gamma c+\delta d)}
. De plus, il est antisymétrique en
(
a
,
c
)
{\displaystyle (a,c)}
et en
(
b
,
d
)
{\displaystyle (b,d)}
donc
γ
=
α
{\displaystyle \gamma =\alpha }
et
δ
=
β
{\displaystyle \delta =\beta }
. Enfin,
a
b
(
α
a
+
β
b
)
=
det
N
(
a
,
b
,
0
,
0
)
=
|
1
0
a
a
2
0
1
b
b
2
1
0
0
0
0
1
0
0
|
=
|
a
a
2
b
b
2
|
=
a
b
(
b
−
a
)
{\displaystyle ab(\alpha a+\beta b)=\det N(a,b,0,0)={\begin{vmatrix}1&0&a&a^{2}\\0&1&b&b^{2}\\1&0&0&0\\0&1&0&0\end{vmatrix}}={\begin{vmatrix}a&a^{2}\\b&b^{2}\end{vmatrix}}=ab(b-a)}
donc
α
=
−
1
,
β
=
1
,
det
N
(
a
,
b
,
c
,
d
)
=
(
a
−
c
)
(
b
−
d
)
(
−
a
+
b
−
c
+
d
)
{\displaystyle \alpha =-1,\beta =1,\det N(a,b,c,d)=(a-c)(b-d)(-a+b-c+d)}
.
2e méthode :
det
N
(
a
,
b
,
c
,
d
)
=
(
C
2
:=
C
1
+
C
2
)
|
1
1
a
a
2
0
1
b
b
2
1
1
c
c
2
0
1
d
d
2
|
=
|
1
b
b
2
1
c
c
2
1
d
d
2
|
+
|
1
a
a
2
1
b
b
2
1
d
d
2
|
{\displaystyle \det N(a,b,c,d)=_{(C_{2}:=C_{1}+C_{2})}{\begin{vmatrix}1&1&a&a^{2}\\0&1&b&b^{2}\\1&1&c&c^{2}\\0&1&d&d^{2}\end{vmatrix}}={\begin{vmatrix}1&b&b^{2}\\1&c&c^{2}\\1&d&d^{2}\end{vmatrix}}+{\begin{vmatrix}1&a&a^{2}\\1&b&b^{2}\\1&d&d^{2}\end{vmatrix}}}
=
(
d
−
c
)
(
d
−
b
)
(
c
−
b
)
(
d
−
b
)
(
d
−
a
)
(
b
−
a
)
=
(
d
−
b
)
[
(
d
−
a
)
(
b
−
a
)
−
(
d
−
c
)
(
b
−
c
)
]
=
…
{\displaystyle =(d-c)(d-b)(c-b)(d-b)(d-a)(b-a)=(d-b)[(d-a)(b-a)-(d-c)(b-c)]=\dots }
.
3e méthode :
det
N
(
a
,
b
,
c
,
d
)
=
(
L
3
:=
L
3
−
L
1
,
L
4
:=
L
4
−
L
2
)
|
1
0
a
a
2
0
1
b
b
2
0
0
c
−
a
c
2
−
a
2
0
0
d
−
b
d
2
−
b
2
|
=
(
c
−
a
)
(
d
−
b
)
|
1
0
a
a
2
0
1
b
b
2
0
0
1
c
+
a
0
0
1
d
+
b
|
=
(
c
−
a
)
(
d
−
b
)
|
1
c
+
a
1
d
+
b
|
=
…
{\displaystyle \det N(a,b,c,d)=_{(L_{3}:=L_{3}-L_{1},L_{4}:=L_{4}-L_{2})}{\begin{vmatrix}1&0&a&a^{2}\\0&1&b&b^{2}\\0&0&c-a&c^{2}-a^{2}\\0&0&d-b&d^{2}-b^{2}\end{vmatrix}}=(c-a)(d-b){\begin{vmatrix}1&0&a&a^{2}\\0&1&b&b^{2}\\0&0&1&c+a\\0&0&1&d+b\end{vmatrix}}=(c-a)(d-b){\begin{vmatrix}1&c+a\\1&d+b\end{vmatrix}}=\dots }
.
« Calculateur en ligne de déterminants » , sur dcode.fr