He aquí una explicación sencilla que no procede necesariamente del álgebra lineal. Tenemos
‖
donde \|\cdot\| es la norma euclidiana simple. Se trata de un problema de optimización restringida con función de Lagrange:
L(x,\lambda)=\|Ax\|^2-\lambda(\|x\|^2-1)=x'A^2x-\lambda(x'x-1)
aquí tomé cuadrados que no cambian nada, pero facilita el siguiente paso. Tomando la derivada con respecto a x y equiparándolo a cero obtenemos
A^2x-\lambda x=0
la solución de este problema es el vector propio de A^2 . Desde A^2 es simétrica, todos sus valores propios son reales. Así que x'A^2x conseguirá el máximo en el plató \|x\|^2=1 con un valor propio máximo de A^2 . Ahora bien, desde A es simétrico admite la representación
A=Q\Lambda Q'
con Q la matriz ortogonal y \Lambda diagonal con valores propios en las diagonales. Para A^2 obtenemos
A^2=Q\Lambda^2 Q'
por lo que los valores propios de A^2 son los cuadrados de los valores propios de A . La norma \|A\|_2 es la raíz cuadrada tomada del máximo x'A^2x en x'x=1 que será la raíz cuadrada del máximo valor propio de A^2 que es el máximo valor propio absoluto de A .