Proof: Roots \bgroup\color{black}$ I^{(a)}$\egroup are Real

$\displaystyle I_{ik}\omega_k=I\omega_i$     for omega along principle axis     
$\displaystyle I_{ik}\omega_k\omega_i^*=I\omega_i\omega_i^*$     multiply by $\displaystyle \omega_i^*$    
$\displaystyle I_{ki}\omega_i=I\omega_k$    same equation with k    
$\displaystyle I_{ki}^*\omega_i^*=I^*\omega_k^*$     take CC    
$\displaystyle I_{ki}^*\omega_i^*\omega_k=I^*\omega_k^*\omega_k$     multiply by $\displaystyle \omega_k$    
$\displaystyle I_{ki}\omega_k\omega_i^*=I^*\omega_k^*\omega_k$     inertia tensor is real, omegas commute     
$\displaystyle I_{ik}\omega_k\omega_i^*=I^*\omega_i^*\omega_i$     I symmetric, replace dummy rhs    
$\displaystyle (I-I^*)\omega_i\omega_i^*=0$    lhs same as 2nd line    
$\displaystyle (I-I^*)=0$    

So the roots must be real.

Jim Branson 2012-10-21