Theorem

Proof

  1. Since is an Orthonormal Basis,
  2. If is diagonal, then , then this implies: which implies
  3. Conversely, suppose is Normal, and is Upper Triangular
  4. Then, if
    1. By our previous theorem, we can say that as is an Eigenvector with eigenvalue.
    2. This implies that
    3. We continue with Induction, to show that
  5. Thus, is Diagonal