Si v\in\mathbb R^3, entonces\begin{align}\lVert Av\rVert^2&=\langle Av,Av\rangle\\&=\langle v,A^tAv\rangle\\&=\langle v,v\rangle\text{ (since %#%#%)}\\&=\lVert v\rVert^2\end{align}y, por tanto, A^t=A^{-1}. Por otro lado, el polinomio característico de a\lVert Av\rVert=\lVert v\rVert es un polinomio cúbico y por lo tanto tiene una raíz real A. Así, \lambda es un autovalor de a\lambda; deje A ser una correspondiente autovector. Tenemos\begin{align}\lVert v\rVert&=\lVert Av\rVert\\&=\lVert\lambda v\rVert\\&=\lvert\lambda\rvert.\lVert v\rVert\end{align}y, por tanto, v. Si \lambda=\pm1, hemos terminado. Si \lambda=1, vamos a \lambda=-1. A continuación, W=v^\perp=\{w\in\mathbb R^3\,|\,\langle v,w\rangle=0\}. El determinante de aA.W\subset W debe ser negativa, ya que A|_W. Pero un 0<\det(A)=(-1)\times\det(A|_W) matriz con negativo determinante siempre tiene los autovalores (el discriminante del polinomio característico es mayor que 2\times2). Por lo tanto, uno de los autovalor de a0 es positivo y el otro es negativo. Ya hemos encontrado un autovalor positivo, y puesto que ya se ha demostrado que el único autovalor positivo que A|_W es A, hemos terminado.