Apply trace orthogonality of symmetric and antisymmetric matrices. In detail, invariance of the trace under transpose and its cyclic property give
Therefore . The negative sign comes from , while .
Write , , so and . The factors commute because both are polynomials in . Also has a matrix inverse since it is the transpose of the invertible . Thus the Cayley transform of a real skew-symmetric matrix, with its parameter replaced by , satisfies
Hence is an orthogonal matrix. Its inverse is ; this lets us distinguish the symmetric and skew-symmetric Cayley transforms below.
The transpose rule gives . If is orthogonal, , and the identity becomes
Multiplying on the left by yields . This is precisely the defining condition for an antisymmetric matrix.
The transpose reverses product order, so . If is an orthogonal matrix, then and the given identity becomes
Multiply on the left by to obtain . Therefore is antisymmetric, so it is an antisymmetric matrix, namely .
The entry of is . Hence is an orthogonal matrix, whose matrix inverse equals its transpose:
This obtains the inverse without unnecessary cofactor calculations.
Use the order-reversal rule for the transpose of a product:
Therefore the product of two orthogonal matrices is orthogonal. The argument does not require and to commute.
The middle row is times the sum of the first and third rows, so the rows are linearly dependent and the determinant is zero. The matrix trace is the sum of diagonal entries, . A transpose preserves the determinant, while the determinant of a product is the product of its determinants. Consequently
The symmetric and antisymmetric parts of a matrix are
Indeed , while the transpose identities give and . Thus is a symmetric matrix and is an antisymmetric matrix. The decomposition is also unique: a matrix that is both symmetric and antisymmetric must equal its own negative and hence vanish.
By the definitions of matrix multiplication, transpose and trace,
Relabelling the summed indices gives
the Frobenius inner product of these real matrices.
Taking determinants and using invariance under transpose,
This determinant identity actually holds in every dimension. In dimension three, skew symmetry additionally gives
so . Hence there is a real nonzero vector in the kernel:
The eigenvalue relation then gives . Thus the Cayley transform fixes an axis and is a proper three-dimensional rotation, including the identity as a degenerate case.
First, is invertible. If for a real vector, then , whereas the skew-symmetric matrix identity gives ; hence and . Thus its real kernel is trivial, which suffices for invertibility. The same argument applies to .
Using and the rule for the transpose of a product,
The factors and commute, as do the required inverses. Consequently
Thus . This is the Cayley transform of a real skew-symmetric matrix.
The adjoint operator , when it exists, is defined by
for all vectors in the relevant domains. This convention takes the inner product to be conjugate-linear in its first argument. Nondegeneracy makes the adjoint unique.
For the standard complex inner product , the equality becomes for every , so
Thus the matrix adjoint is the Hermitian conjugate, not merely the transpose unless the entries are real. In a basis with positive Hermitian Gram matrix , the same definition instead gives , making the dependence on the chosen inner product explicit.
The entries of are real, and the transpose rule gives . Thus it is a real symmetric matrix, hence also a Hermitian matrix.
For any complex vector ,
In particular, if with ,
Thus is positive semidefinite. Its zero eigenspace is precisely the kernel of , since is equivalent to . This is the Gram-matrix structure behind the nonnegative eigenvalues.
Both factors and their product are real, so the Hermitian conjugate equals the transpose. Part (i) therefore gives
Hence A real orthogonal matrix is always a unitary matrix.
The Hermitian conjugate of a real matrix is its transpose, so
Therefore It is also a real skew-symmetric matrix. It is Hermitian as well only in the exceptional case , precisely when is symmetric. This includes the identity and half-turn cases from part (d), so the zero-matrix overlap should not be excluded.
The determinant is invariant under transpose. Therefore the characteristic polynomials coincide:
Their polynomial roots, including their algebraic multiplicities, are the same, so and have the same eigenvalues. This allows column sums as well as row sums to supply Gershgorin discs for the same spectrum.