Da A und B kommutieren und normal sind, sind sie simultan diagonalisierbar. Es gibt also eine unitäre Matrix S und Diagonalmatrizen D1,D2 mit
A=SD1S∗,B=SD2S∗
Damit ergibt sich
AB∗=SD1S∗(SD2S∗)∗=SD1S∗SD2∗S∗=SD1D2∗S∗=SD2∗D1S∗=SD2∗S∗SD1S∗=(SD2S∗)∗SD1S∗=B∗A