Нормальная матрица

Квадратная комплексная матрица $A$ называется нормальной, если она коммутирует со своей эрмитово-сопряжённой, т.е. $A^{*}A=AA^{*}$.

Теорема:

квадратная комплексная матрица $A$ является нормальной тогда и только тогда, когда для некоторой унитарной матрицы того же размера $Q$ матрица $Q^{*}AQ$ является диагональной.

Для улучшения этой статьи по математике желательно?: Дополнить статью (статья слишком короткая либо содержит лишь словарное определение). Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.