Выделим в комплексном векторе

и эрмитовой матрице

вещественную и мнимую части:

.
Матрица

- симметрична (

), а матриц

- антисимметрична (

). После раскрытия скобок и упрощений

,

получим, в силу положительной определённости

,

.
Осталось сделать выводы про вытекающие отсюда свойства

, и про интересующие Вас свойства

, которая в правой части отсутствует
