Documentos de Académico
Documentos de Profesional
Documentos de Cultura
A=(3449)�=(3449)
El lector puede verificar que sus autovalores y autoespacios son:
λ=11,S11=gen{(12)}�=11,�11=���{(12)}
λ=1,S1=gen{(–21)}�=1,�1=���{(–21)}
Observamos que los autoespacios son ortogonales (propiedad de las simétricas).
Podemos construir la matriz P (cuyas columnas son los autovectores) que permite
diagonalizar A� :
P=(1–221)�=(1–221)
P–1AP=D=(11001)�–1��=�=(11001)
Si bien las columnas de P� son ortogonales, P� no es una matriz ortogonal porque
sus columnas no tienen módulo 1. Nos falta normalizar los autovectores, o sea obtener
sus versores asociados:
,
Entonces podemos diagonalizar A� mediante una matriz Q� ortogonal:
Q=⎛⎜⎝1√ 5 –2√ 5 2√ 5 1√ 5 ⎞⎟⎠�=(15–252515)
Esta matriz sí verifica:
x22+y223=1�22+�223=1
Ejemplo 1: una elipse rotada
Nos interesa descubrir qué curva está representada por la siguiente ecuación:
3x2+8xy+9y2=6[1]3�2+8��+9�2=6[1]
Aparece en esta ecuación el término 8xy8��, denominado término rectangular o de
producto cruzado.
Usamos GeoGebra para obtener la gráfica de esta cónica:
Observamos que se trata de una elipse cuyos ejes no son paralelos a los ejes
coordenados. Veremos a continuación cómo hallar las direcciones de esos ejes para
obtener la ecuación canónica e identificar analíticamente la cónica.
3x2+8xy+9y2=63�2+8��+9�2=6
Esta ecuación puede expresarse matricialmente como sigue:
(xy)()(xy)=6(��)()(��)=6
Los coeficientes de x2�2 y de y2�2 van en la diagonal:
(xy)(39)(xy)=6(��)(39)(��)=6
Y el coeficiente del término rectangular se divide por dos para completar una matriz
simétrica:
(xy)(3449)(xy)=6[1](��)(3449)(��)=6[1]
Verifiquemos que efectivamente se obtiene lo mismo:
(xy)(3449)(xy)=6(��)(3449)(��)=6
⇒(3x+4y4x+9y)(xy)=6⇒(3�+4�4�+9�)(��)=6
⇒(3x+4y)x+(4x+9y)y=6⇒(3�+4�)�+(4�+9�)�=6
⇒3x2+8xy+9y2=6⇒3�2+8��+9�2=6 ¡Verificado!
La expresión 3x2+8xy+9y23�2+8��+9�2 se denomina forma cuadrática y la
matriz simétrica que la caracteriza es A=(3449)�=(3449).
Por ser A� una matriz simétrica, es ortogonalmente diagonalizable.
Como habíamos visto en un ejemplo anterior: