Since and are real symmetric matrices, . Expanding the unitarity condition gives
Equality of the entrywise real and imaginary parts yields
These are the identities for the real and imaginary parts of a symmetric unitary matrix.