Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2019/paper-1/5/c/solution

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.

New to topics? Read the docs here!