Demonstração
- Propriedade 1.
Mostraremos que se
e
são matrizes semelhantes, então
. Com efeito, temos que existe uma matriz invertível
tal que
. Pelas propriedades do determinante segue que:

- Propriedade 2.
Mostraremos que se
e
são matrizes semelhantes, então
é invertível se, e somente se,
também for. Com efeito, temos que existe uma matriz invertível
tal que
, ou equivalentemente,
. Suponhamos que
seja invertível. Então, afirmamos que
é matriz inversa de
. De fato:

e
.
Isto mostra que se
é invertível, então
é invertível. A recíproca segue raciocínio análogo.
- Propriedade 3.
Mostraremos que se
e
são matrizes semelhantes, então
e
possuem o mesmo polinômio característico. Com efeito, existe uma matriz invertível
tal que
. Por definição, o polinômio característico de
é dado por
. Daí, segue que:
![{\displaystyle {\begin{aligned}p_{B}(\lambda )&=\det(M^{-1})\det(B-\lambda I)\det(M)\\&=\det[M^{-1}(B-\lambda I)M]\\&=\det(M^{-1}BM-\lambda M^{-1}M)\\&=\det(A-\lambda I)\\&=p_{A}(\lambda )\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c2d3b15b98d8103ed01fbf0167a0b924e1e6b91)
Isso conclui a demonstração.
- Propriedade 4.
Segue imediatamente da propriedade 3.
- Propriedade 5.
Segue da propriedade 3, pois o traço de uma matriz
é o coeficiente do termo de grau
do seu polinômio característico.
- Propriedade 6.
Mostraremos que se
e
são matrizes semelhantes, então
e
também são para todo número
natural. Com efeito, existe uma matriz invertível
tal que
. Por indução em
vemos que
. Ou seja,
, como queríamos demonstrar.
- Propriedade 7.
Seja
um operador linear sobre o espaço vetorial
de dimensão finita com bases
e
. Sejam, então,
e
as matrizes de
nas respectivas bases
e
, i.e.:
![{\displaystyle [T(\mathbf {x} )]_{B_{1}}=A[\mathbf {x} ]_{B_{1}},\quad \forall \mathbf {x} \in V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a0c26688055ac9062afa996cf46a5839913b7b1)
e
![{\displaystyle [T(\mathbf {x} )]_{B_{2}}=B[\mathbf {x} ]_{B_{2}},\quad \forall \mathbf {x} \in V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf6cb184213005712ef28062bf1f9445b310c731)
onde,
denota a representação do vetor
na base
com notação análoga para
.
Seja, agora,
a matriz de mudança da base
para a base
, i.e.:
.
Logo, temos:
.
Como a última igualdade é válida para todo
, concluímos que
e
são matrizes semelhantes.