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 a$A.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 a$0$ 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.