Adding the two expanded unitary matrix identities instead cancels the commutator and gives . Hence
Together with part (i), this characterizes the commuting Hermitian parts of a unitary matrix.
Taking the conjugate transpose of and using that both parts are Hermitian matrices gives . Addition and subtraction recover the Hermitian parts of a unitary matrix:
These depend only on , so any such decomposition has the same and is unique. Conversely the displayed expressions are Hermitian matrices and sum to in the form , establishing existence as well as uniqueness. Their commutation and quadratic relation are proved in the two labelled parts.
Taking the adjoint of gives . In particular, the Hermitian parts of a unitary matrix are uniquely determined:
Expanding both unitary identities gives
Subtracting shows , and adding gives . If , commutation implies . The assumed simple spectrum makes the eigenspace one-dimensional, so . Thus have a common orthonormal eigenbasis.
On such a vector, . If the corresponding unitary eigenvalue is , then
The formulas for also show the same eigenvalue correspondence directly from and . Degeneracies do not prevent existence of a common basis, although the simple-spectrum assumption makes the elementary proof immediate.