Let $A\in M_3(\mathbb{R})$ be an orthogonal matrix with $det(A)=1$. Then to show $$(Tr(A)-1)^2+\sum_{i<j}(a_{ij}-a_{ji})^2=4$$ where $Tr$ denotes trace.
Suppose the matrix $A=\left(\begin{matrix} a_{11} & a_{12} & a_{13}\\ a_{21} & a_{22} &a_{23}\\ a_{31} & a_{32} & a_{33} \end{matrix}\right)$ in $M_3(\mathbb{R})$ be orthogonal. Then $Tr(AA^T)=\sum_{i,j}a_{ij}^2=3$. If we expand the left hand side of the equation in question, we have $$LHS=4+2(a_{11}a_{22}+a_{11}a_{33}+a_{22}a_{33})-2(a_{12}a_{21}+a_{13}a_{31}+a_{23}a_{32})-2(a_{11}+a_{22}+a_{33})$$ $$=4+2(a_{11}a_{22}-a_{12}a_{21})+2(a_{11}a_{33}-a_{13}a_{31})+2(a_{22}a_{33}-a_{23}a_{32})-2(a_{11}+a_{22}+a_{33})$$ $$=4+minor(a_{33})+minor(a_{22})+minor(a_{11})-2(a_{11}+a_{22}+a_{33})$$
Is there any theorem/result that can be used to say that the remaining part of the last expression excluding 4 is zero? Or is there any way we can manipulate $a_{ij}$ so that it becomes zero? I tried hard but i see no way out. Any help is highly appreciated.
Otherwise, i meant that any matrix of $M_3(\mathbb{R})$ have at least one real eigenvalue. That's because the eigenvalues of an $n\times n$ matrix are the roots of the characteristic polynomial with degree $n$ and when $n$ is odd then this polynomial has at least one real eigenvalue.
– rezoons Nov 15 '18 at 15:40