Sujet B.4.4 Comatrice
Choisir
un exercice, puis le résoudre
:
Signaler une erreur
Signaler une erreur
Exercice a
\\(\OPEL\\)Calculer la comatrice de $\,A=\matr{\!2&1&4\sp{1.5}\\[-.5ex]\!-2&\!\!-2&\!\!-2\sp{1.5}\\[-.5ex]\!3&0&9\sp{1.5}}\!\cdot\,$
Déterminer une relation entre $A$ et sa comatrice.
comatrice d'une matrice carrée
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ est la matrice de ses cofacteurs :
$\displaystyle{}\smb1{\op{Com}(A)=\big[(-1)^{i+j}\sp{1.5}\det(A_{i,j})\big]\app\sc M_n(\bb K)}$
où $A_{i,j}$ désigne la matrice $A$ privée de sa $i\tiret$ème ligne et de sa $j\tiret$ème colonne.
Les $\,\det(A_{i,j})\,$ sont les mineurs de $A$ et les $\,(-1)^{i+j}\det(A_{i,j})\,$ sont ses cofacteurs.
comatrice et matrice inverse
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ vérifie la relation :
$\displaystyle{}A\sp{.75}\op{Com}(A)^T=\op{Com}(A)^T\sp{-1.5}A=\det(A)\sp{1.5}I_n$
Lorsque $A$ est inversible, on en déduit : $\,A^{-1}=\smh{1.5}{\dfrac1{\det(A)}}\,\op{Com}(A)^T.\,$
indication
Calculer d'abord les mineurs de la matrice $A\sp{1.5}.$
réponse
correction
On calcule d'abord les mineurs de $A:$
$\displaystyle{}A_{1,1}=\detr{-2&-2\\ 0&9}=-18\sp{1.5}, \ A_{1,2}=\detr{-2&-2\\3&9}=-12\sp{1.5}, \ \dots$
On écrit alors sous forme de matrices les tableaux des signes $\,(-1)^{i+j}\,$ et des mineurs $A_{i,j}:$
$\displaystyle{}\matr{+&-&+\\ -&+&-\\ +&-&+}\sp{1.5}\txt{et}\matr{-18&\!\!\!-12&6\\ 9&6&\!-3\\ 4&4&\!-2}$
On en déduit la
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ est la matrice de ses cofacteurs :
comatrice
de $A$ en affectant chacun de ces signes aux mineurs correspondants :
$\displaystyle{}\smb1{\op{Com}(A)=\big[(-1)^{i+j}\sp{1.5}\det(A_{i,j})\big]\app\sc M_n(\bb K)}$
où $A_{i,j}$ désigne la matrice $A$ privée de sa $i\tiret$ème ligne et de sa $j\tiret$ème colonne.
Les $\,\det(A_{i,j})\,$ sont les mineurs de $A$ et les $\,(-1)^{i+j}\det(A_{i,j})\,$ sont ses cofacteurs.
$\displaystyle{}\Op{Com}(A)=\matr{-18&12&6\,\\ -9&6&3\,\\4&\!-4&\!-2\,}$
On connaît d'autre part la
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ vérifie la relation :
relation
entre $A$ et sa comatrice : $\displaystyle{}A\sp{.75}\op{Com}(A)^T=\op{Com}(A)^T\sp{-1.5}A=\det(A)\sp{1.5}I_n$
Lorsque $A$ est inversible, on en déduit : $\,A^{-1}=\smh{1.5}{\dfrac1{\det(A)}}\,\op{Com}(A)^T.\,$
$\displaystyle{}A\,(\Op{Com}(A))^T=(\Op{Com}(A))^TA=\det(A)\,I_3$
On calcule alors le déterminant de $A$ par
Effet des opérations élémentaires sur le déterminant de $A\app\sc M_n(\bb K):$
opérations
élémentaires :
- $\,C_k\ot C_k+\smb{0}{\sum_{j\neq k}}\,\lambda_j\sp{1.5}C_j\,:\,$ laisse $\det(A)$ invariant ;
- $\,C_i\tot C_j\,:\,$ change le signe de $\det(A),$ pour $\,i\neq j\,;\,$
- $\,C_k\ot \lambda\sp{1.5}C_k\,:\,$ multiplie $\det(A)$ par $\,\lambda\sp{1.5},\,$ pour $\,\lambda\neq0\sp{1.5}.\,$
$\eqalign{\det(A)=\detr{2&1&4\\ -2&-2&-2\\ 3&0&9}\ &
\eg{L_2 \ot -L_2/2\\ L_3 \ot L_3/3}&\sp{-20}-6\sp{.75}\detr{2&1&4\\1&\ \,1&\ \,1\\1&0&3}\\[1ex] &\sp{15}
\eg{L_1\leftrightarrow L_2}&\ \detr{1&\ \,1&\ \,1\\2&1&4\\1&0&3}\\[0ex] &
\eg{L_2\ot L_2-2\sp{1.5}L_1\\ L_3\ot L_3-L_1} &\ \detr{1&1&1\\0&\!\!-1&\,\,2\\0&\!\!-1&2}\\[1ex] &\sp{5}
\eg{L_3\ot L_3-L_2}&\ \detr{1&1&1\\0&\!\!-1&\,\,2\\0&0&0}=0}$
La matrice $A$ étant de déterminant nul, elle n'est donc pas
Les colonnes ou les lignes de $A\app\sc M_n(\bb K)$ sont liées ssi $\,\det(A)=0\sp{1.5},\,$ soit encore :
inversible.
On peut alors écrire finalement la relation : $\,A\,(\Op{Com}(A))^T=(\Op{Com}(A))^TA=0\sp{1.5}.\,$
$\displaystyle{}A\app\op{GL}_n(\bb K)\Ssi\det(A)\neq0$
La matrice $A$ n'étant pas inversible, on n'aurait pas pu calculer la comatrice de $A$ par la
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ vérifie la relation :
formule :
$\displaystyle{}A\sp{.75}\op{Com}(A)^T=\op{Com}(A)^T\sp{-1.5}A=\det(A)\sp{1.5}I_n$
Lorsque $A$ est inversible, on en déduit : $\,A^{-1}=\smh{1.5}{\dfrac1{\det(A)}}\,\op{Com}(A)^T.\,$
$\displaystyle{}\,\Op{Com}(A)=\det(A)\,(A^{-1})^T$
Signaler une erreur
Signaler une erreur
Exercice b
Soit, pour $\,n\geq2\sp{1.5},\,$ une matrice carrée $A\app \sc{M}_n(\bb{C})\sp{1.5}.$ Exprimer le déterminant de la comatrice de $A$ en fonction de $\,n\,$ et du déterminant de $A\sp{1.5}.$
comatrice d'une matrice carrée
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ est la matrice de ses cofacteurs :
$\displaystyle{}\smb1{\op{Com}(A)=\big[(-1)^{i+j}\sp{1.5}\det(A_{i,j})\big]\app\sc M_n(\bb K)}$
où $A_{i,j}$ désigne la matrice $A$ privée de sa $i\tiret$ème ligne et de sa $j\tiret$ème colonne.
Les $\,\det(A_{i,j})\,$ sont les mineurs de $A$ et les $\,(-1)^{i+j}\det(A_{i,j})\,$ sont ses cofacteurs.
comatrice et matrice inverse
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ vérifie la relation :
$\displaystyle{}A\sp{.75}\op{Com}(A)^T=\op{Com}(A)^T\sp{-1.5}A=\det(A)\sp{1.5}I_n$
Lorsque $A$ est inversible, on en déduit : $\,A^{-1}=\smh{1.5}{\dfrac1{\det(A)}}\,\op{Com}(A)^T.\,$
indication
Distinguer les cas : $\,\det(A)\neq0\,$ et $\,\det(A)=0\sp{1.5}.\,$
réponse
On obtient dans tous les cas la relation : $\,\det(\op{Com}(A))=\det(A)^{n-1}\sp{1.5}.\,$
correction
La
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ est la matrice de ses cofacteurs :
comatrice
de toute matrice carrée vérifie la
$\displaystyle{}\smb1{\op{Com}(A)=\big[(-1)^{i+j}\sp{1.5}\det(A_{i,j})\big]\app\sc M_n(\bb K)}$
où $A_{i,j}$ désigne la matrice $A$ privée de sa $i\tiret$ème ligne et de sa $j\tiret$ème colonne.
Les $\,\det(A_{i,j})\,$ sont les mineurs de $A$ et les $\,(-1)^{i+j}\det(A_{i,j})\,$ sont ses cofacteurs.
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ vérifie la relation :
relation :
$\displaystyle{}A\sp{.75}\op{Com}(A)^T=\op{Com}(A)^T\sp{-1.5}A=\det(A)\sp{1.5}I_n$
Lorsque $A$ est inversible, on en déduit : $\,A^{-1}=\smh{1.5}{\dfrac1{\det(A)}}\,\op{Com}(A)^T.\,$
$\displaystyle{}A\sp{.75}\op{Com}(A)^T=\op{Com}(A)^TA=\det(A)\,I_n$
Il convient alors de distinguer trois cas :
- Si $\det(A)\neq0,$ on a, par le déterminant d'un
Soient, pour $n\app\bb N^{\ast},$ deux matrices carrées $A$ et $B$ de $\sc M_n(\bb K)$ et $\lambda\app\bb K\sp{1.5};$ alors :produit et le déterminant d'une$\displaystyle{}\det(AB)=\det(A)\sp{-1.5}\det(B) \ \txt{et} \det(\lambda A)=\lambda^n\sp{-1.5}\det(A)$Soit $\,n\app\bb N^{\ast};\,$ pour toute matrice carrée $\,A\app\sc M_n(\bb K)\sp{1.5},\,$ on a la relation :transposée :$\displaystyle{}\det(A^T\sp{1.5})=\det(A)$Le déterminant de $A$ est donc aussi multilinéaire et alterné vis à vis des lignes de $A\sp{1.5}.$$\eqalign{\det\big(A\sp{.75}\op{Com}(A)^T\sp{1.5}\big)&=\det(A).\det\!\big(\!\op{Com}(A)^T\sp{1.5}\big)\\&=\det(A).\det(\op{Com}(A))}$D'autre part, le déterminant d'une matrice estPour $\,n\app\bb N^{\ast},\,$ soient $\,A=[C_1,\dots,C_n]\app\sc M_n(\bb K)\,$ et $\sc C$ la base canonique de $\bb K^n\sp{-1.5}.$ Le déterminant de $A$ est le déterminant de $\,(C_1,\dots,C_n)\,$ relativement à $\sc C:$multilinéaire vis à vis de ses colonnes, si bien que :$\displaystyle{}\det(A)=\det\nolimits_{\sc C}(C_1,\dots,C_n)$Le déterminant de $A$ est donc multilinéaire et alterné vis à vis des colonnes de $A\sp{1.5}.$$\eqalign{\det\big(A\sp{.75}\op{Com}(A)^T\sp{1.5}\big)&=\det\!\big(\!\det(A)\sp{1.5}I_n\big)\\&=\det(A)^n\det(I_n)=\det(A)^n }$On en déduit, en simplifiant par $\det(A)\sp{1.5},$ la formule : $\,\det(\op{Com}(A))=\det(A)^{n-1}.\,$
- Si $\det(A)=0$ et $A\neq0,$ la relation initiale devient :$\displaystyle{}A\,(\op{Com}(A))^T=(\op{Com}(A))^TA=0$Si $\,\op{Com}(A)\,$ était de déterminant non nul, elle seraitLes colonnes ou les lignes de $A\app\sc M_n(\bb K)$ sont liées ssi $\,\det(A)=0\sp{1.5},\,$ soit encore :inversible d'où, par$\displaystyle{}A\app\op{GL}_n(\bb K)\Ssi\det(A)\neq0$Pour toutes matrices $A\app\sc M_{m,n}(\bb K)$ et $B\app\sc M_{n,p}(\bb K),$ on a :transposition et par$\displaystyle{}(AB)^T=B^{\,T}\!A^T$Si $A$ est une matrice carrée inversible, alors on a aussi :$\displaystyle{}(A^T)^{-1}=(A^{-1})^T$Soient $A,A'\app\sc M_{m,n}(\bb K)\sp{1.5},$ $B,B'\app\sc M_{n,p}(\bb K)\sp{1.5},$ $C\app\sc M_{p,q}(\bb K)$ et $\alpha,\beta\app\bb K\sp{1.5};$ alors :associativité du produit :
- $\,\smh{.5}{(A\sp{1.5}B)\sp{1.5}C=A\sp{1.5}(B\sp{1.5}C)}:\,$ le produit matriciel est associatif ;
- $\,\Syst{(\alpha\sp{1.5}A+\beta\sp{1.5}A')B\sp{1.5}&=\alpha\sp{1.5}A\sp{1.5}B+\beta\sp{1.5}A'\!\sp{1.5}B\\[-.5ex] \,A(\alpha\sp{1.5}B+\beta\sp{1.5}B\sp{1.5}')&=\alpha\sp{1.5}A\sp{1.5}B+\beta\sp{1.5}A\sp{1.5}B\sp{1.5}'}\,:\,$ le produit matriciel est bilinéaire.
$\eqalign{A&=A\,I_n=A\sp{.75}\big(\!\op{Com}(A)^{-1}\op{Com}(A)\big)^T\\[-.5ex] &=A\,\big(\!\op{Com}(A)^T\sp{1.5}(\op{Com}(A)^{-1}\sp{1.5})^T\sp{1.5}\big)\\[-.5ex] &=\big(A\op{Com}(A)^T\sp{1.5}\big)(\op{Com}(A)^{-1})^T=0}$C'est en contradiction avec l'hypothèse $A\neq0\sp{1.5};$ on a donc dans ce cas : $\,\det(\op{Com}(A))=0\sp{1.5}.\,$ - Si enfin $A=0,$ les mineurs de $A$ sont tous nuls, d'où $\,\op{Com}(A)=0\sp{1.5},\,$ et a fortiori : $\,\det(\op{Com}(A))=0\sp{1.5}.\,$
Signaler une erreur
Signaler une erreur
Exercice c
\\(\MAT\\)Pour $a\app \bb{C}$ et un entier $n\!\geq\!2,$ calculer la comatrice de la matrice $A_n\app\sc M_n(\bb C)$ suivante :
$\displaystyle{}A_n=\matc{a&\!-1\!&0&\hh&0\\
0&\dd&\dd&\dd&\vv\\
\vv&\dd&\dd&\dd&0\\
\vv&&\dd&\dd&\!\!-1\\
0&\hh&\hh&0&a}$
comatrice d'une matrice carrée
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ est la matrice de ses cofacteurs :
$\displaystyle{}\smb1{\op{Com}(A)=\big[(-1)^{i+j}\sp{1.5}\det(A_{i,j})\big]\app\sc M_n(\bb K)}$
où $A_{i,j}$ désigne la matrice $A$ privée de sa $i\tiret$ème ligne et de sa $j\tiret$ème colonne.
Les $\,\det(A_{i,j})\,$ sont les mineurs de $A$ et les $\,(-1)^{i+j}\det(A_{i,j})\,$ sont ses cofacteurs.
comatrice et matrice inverse
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ vérifie la relation :
$\displaystyle{}A\sp{.75}\op{Com}(A)^T=\op{Com}(A)^T\sp{-1.5}A=\det(A)\sp{1.5}I_n$
Lorsque $A$ est inversible, on en déduit : $\,A^{-1}=\smh{1.5}{\dfrac1{\det(A)}}\,\op{Com}(A)^T.\,$
indication
Calculer les mineurs $M_{i,\sp{1.5}j}$ de $A\sp{1.5},$ selon les cas $\,i < j\,$ et $\,i\geq j\sp{1.5}.\,$
réponse
On obtient : $\,\op{Com}(A)=\matc{ a^{n-1}\!\!\!&0&\hh&\hh&\!0\\
\vv&\dd&\dd&&\!\vv\\ a^2\!&&\dd&\dd&\!\vv \\ a&\dd&&\dd&\!0\\ 1&a&a^2\!&\hh&\!\!a^{n-1}}\!\cdot\,$
correction
Pour tout $k\leq n\sp{1.5},$ la matrice $A_k$ est triangulaire et a pour déterminant : $\,\det(A_k)=a^k\sp{1.5}.\,$
On va déterminer les
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ est la matrice de ses cofacteurs :
mineurs
$M_{i,j}$ de la matrice $A_n\sp{1.5},$ en remarquant que :
$\displaystyle{}\smb1{\op{Com}(A)=\big[(-1)^{i+j}\sp{1.5}\det(A_{i,j})\big]\app\sc M_n(\bb K)}$
où $A_{i,j}$ désigne la matrice $A$ privée de sa $i\tiret$ème ligne et de sa $j\tiret$ème colonne.
Les $\,\det(A_{i,j})\,$ sont les mineurs de $A$ et les $\,(-1)^{i+j}\det(A_{i,j})\,$ sont ses cofacteurs.
- la suppression d'une colonne de $A_n$ entraîne un décalage vers la gauche des colonnes suivantes,
- la suppression d'une ligne de $A_n$ entraîne un décalage vers le haut des lignes suivantes.
Soit $\,A\app\sc M_n(\bb K)\sp{1.5},\,$ triangulaire par blocs ou diagonale par blocs.
Alors, $\det(A)$ est le produit des déterminants de ses blocs diagonaux :
déterminants
de matrices triangulaires ou
$\displaystyle{}\det(A)=\det(A_{1,1})\times\cdots\times\det(A_{p,\sp{1.5}p})$
Une matrice carrée $A$ est diagonale par blocs ssi elle est formée de blocs $A_{i,\sp{1.5}j}:$
diagonales
par blocs.
En laissant des espaces vides à la place des zéros, on distingue les cas suivants :
- tous carrés lorsqu'ils sont diagonaux, c'est-à-dire pour $\,i=j\,;\,$
- et tous nuls sinon, c'est-à-dire pour $\,i\neq j\,.\,$
- si $\,i=j:\,$ $\,M_{i,i}=\det(A_{n-1})=a^{n-1}\,;\,$
- si $\,i < j:\,$ $\,M_{i,j}=\!\determ{}{{c|c|c}A_{i-1}\!&&\\\hline&B&\\\hline&&\!\!A_{n-j}}{}\stb5=0\,$ $\,\txt{car :}\det(B)=\detc{\sp{1.5}0\!&a\!&\!\!-1\!\!\\&\dd&\dd&\dd \\&&\dd&\dd&\!\!\!\!-1\!\!\,\\ &&&\!\dd&\!\!a\\[-.5ex]&&&&\!\!0}=0\,;\,$
- si $\,i > j:\,$ $\,M_{i,j}=\!\determ{}{{c|c|c}A_{j-1}\!&&\\\hline&C&\\\hline&&\!\!A_{n-i}}{}\!\stb5=\!(-1)^{i-j}\,a^{n-i+j-1}\,$ $\,\txt{car :}\det(C)=\detc{-1\\a&\dd&&\\ &\dd&\!\dd& \\&&a&\!\!\sp{-1.5}-1}=(-1)^{i-j}\,.\,$
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ est la matrice de ses cofacteurs :
cofacteurs
de $A$ sont donc les : $\,(-1)^{i+j}\sp{1.5}M_{i,j}=\Syst{&0&\txt{pour}i < j\,,\\ &a^{n-i+j-1}&\txt{pour}i\geq j\,.}\,$
On obtient alors comme comatrice de $A$ la matrice : $\displaystyle{}\smb1{\op{Com}(A)=\big[(-1)^{i+j}\sp{1.5}\det(A_{i,j})\big]\app\sc M_n(\bb K)}$
où $A_{i,j}$ désigne la matrice $A$ privée de sa $i\tiret$ème ligne et de sa $j\tiret$ème colonne.
Les $\,\det(A_{i,j})\,$ sont les mineurs de $A$ et les $\,(-1)^{i+j}\det(A_{i,j})\,$ sont ses cofacteurs.
$\displaystyle{}\op{Com}(A)=\matc{ a^{n-1}\!\!\!\!\!&0&\hh&\hh&\!\!\!0\\
\vv\!&\dd&\dd&&\!\!\!\vv\\ a^2\!&&\dd&\sp{-1.5}\dd&\!\!\!\vv \\ a\!&\dd&&\dd&\!\!0\!\\[-.5ex] 1\!&a&\!\!\!a^2\!\!\!&\!\hh&\!\!\!a^{n-1}\!\!}$
La comatrice de $A$ s'obtient plus simplement par la
La comatrice d'une matrice $\,A=[a_{i,\sp{1.5}j}]\app\sc M_n(\bb K)\,$ vérifie la relation :
formule :
$\,\Op{Com}(A)=\det(A)\,(A^{-1})^T,\,$ en calculant l'inverse de $A\sp{1.5}.$
On peut par exemple le calculer par la
$\displaystyle{}A\sp{.75}\op{Com}(A)^T=\op{Com}(A)^T\sp{-1.5}A=\det(A)\sp{1.5}I_n$
Lorsque $A$ est inversible, on en déduit : $\,A^{-1}=\smh{1.5}{\dfrac1{\det(A)}}\,\op{Com}(A)^T.\,$
$\,A\app\sc M_n(\bb{K})\,$ est inversible ssi $\,A\sp{1.5}X=Y\,$ a une unique solution $X$ dans $\bb{K}^n:$
méthode
consistant à résoudre un système linéaire $\,A\sp{1.5}X=Y\,$ de second membre $Y$ indéterminé.
Il faut cependant noter que cette méthode ne s'applique que pour une matrice $A$ inversible, soit dans le cas présent pour : $a\neq0\sp{1.5}.$$\displaystyle{}\ptt i\app\,[\![1,n]\!]\sp{1.5},\ x_i=b_{i,1}\,y_1+\cdots+b_{i,n}\,y_n$
Les coefficients $\,b_{i,j}\,$ sont alors exactement les coefficients de $A^{-1}\sp{1.5}.$