The complete proof of statement 2
A is a skew symmetric matrix
$A' = -A$
Let $x$ be an eigen vector of $A$ with corresponding eigen value $\lambda$
$Ax=\lambda x$
Apply conjugate on both sides
$\begin{align*} \overline{Ax} &=\overline{\lambda x} \\ \bar{A}\bar{x} &=\bar{\lambda}\bar{x} \\ A\bar{x} &= \bar{\lambda}\bar{x} --- eq(1) \end{align*}$
$Ax = λx$
Left multiply by the transpose of $\overline{x}$ on both sides
$\begin{align*} (\bar{x})'(Ax) &=(\bar{x})'\lambda x \\ (A'\bar{x})'x &=\lambda (\bar{x})'x \\ (-A\bar{x})'x &=\lambda (\bar{x})'x \end{align*}$
Using $eq1$
$\begin{align*} {(-A\overline{x})}'x &= \lambda {(\overline{x})}'x\\ {(-\overline{\lambda}\overline{x})}'x &= \lambda {(\overline{x})}'x \\ -\overline{\lambda}{(\overline{x})}'x &= \lambda {(\overline{x})}'x \\ -\overline{\lambda}{(\overline{x})}'x - \lambda {(\overline{x})}'x &= 0\\ (-\overline{\lambda}-\lambda) {(\overline{x})}'x &= 0 \end{align*}$
Since by definition Eigen vectors are not zero,
$\begin{align*} (-\overline{\lambda}-\lambda) &= 0 \end{align*}$
$\begin{align*} \lambda &= -\overline{\lambda} \end{align*}$
Let $λ$ be $a+ib$
then – $\overline{λ} = -a+ib$
$a+ib = -a+ib$
So $a = 0$
So $λ$ is purely imaginary or $0$
We have proved an important result here that the eigen values of skew-symmetric matrices is 0 or purely imaginary
The only skew-symmetric matrix that satisfies λ = 0 is the zero matrix
For non-zero skew-symmetric matrices, eigen values are purely imaginary
For any matrix A if $\lambda$ is eigen value corresponding to vector $v$, then $\overline{\lambda}$ is eigen value corresponding to vector $\overline{v}$
$\begin{align*} \lambda &= ib\\ \overline{\lambda} &= -ib = -\lambda \end{align*}$
Hence the proof.
Some corollary/results from this proof
- The Eigen value of skew symmetric matrices is either $0$ or pure imaginary
- The eigenvalues of non zero skew-symmetric matrices come in pair of
$\lambda$ and $-\lambda$ for eigen vectors $v$ and $\overline{v}$ respectively
- The eigenvalues of skew-symmetric matrices λ and -λ have the same Algebraic multiplicities – this is extra info