Esto funciona no solo para las matrices [math] 2 \ times 2 [/ math], sino para cualquier matriz [math] n \ times n [/ math]. Específicamente, si [math] \ lambda_1, \ lambda_2, \ ldots, \ lambda_n [/ math] son los valores propios de [math] A [/ math], entonces [math] \ det A = \ lambda_1 \ lambda_2 \ ldots \ lambda_n [/matemáticas]. Aquí está la prueba.
Los valores propios de [math] A [/ math] son las raíces de [math] \ det (xI – A) [/ math]. Así
[matemáticas] \ det (xI-A) = (x- \ lambda_1) (x- \ lambda_2) \ cdots (x- \ lambda_n) \ quad [*] [/ matemáticas]
El hecho de que [math] \ det (xI-A) [/ math] es un polinomio monico, es decir, tiene un coeficiente principal de 1, se debe al hecho de que la variable [math] x [/ math] solo está en la diagonal principal de [matemáticas] xI – A [/ matemáticas]. Al encontrar el determinante utilizando la expansión determinante de Leibniz (en oposición a, por ejemplo, la de Laplace), queda claro que el coeficiente de [matemáticas] x ^ n [/ matemáticas] de [matemáticas] \ det (xI-A) [/ matemáticas ] es 1.
- ¿La transformación lineal del producto cruzado es diagonalizable?
- ¿Qué distingue el álgebra de otras áreas de las matemáticas? ¿Por qué es importante esa distinción?
- ¿Cuál es un ejemplo de pivote en programación lineal?
- ¿Por qué estamos aprendiendo álgebra?
- Cómo encontrar la dimensión de la intersección de hiperplanos
(El párrafo anterior es un punto importante a considerar, y no debe ser ignorado. Sin él, el determinante de [matemáticas] A [/ matemáticas] sería el producto de los valores propios y el coeficiente principal de su polinomio característico, por lo que es importante demostrar que este coeficiente es 1.)
Sustituyendo [matemáticas] x = 0 [/ matemáticas] en [matemáticas] [*] [/ matemáticas], obtenemos
[matemáticas] \ det (-A) = (- \ lambda_1) (- \ lambda_2) \ cdots (- \ lambda_n) [/ matemáticas]
[matemáticas] (- 1) ^ n \ det (A) = (-1) ^ n (\ lambda_1 \ lambda_2 \ ldots \ lambda_n) [/ matemáticas]
[matemáticas] \ det (A) = \ lambda_1 \ lambda_2 \ ldots \ lambda_n [/ matemáticas]
según sea necesario.