Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ii/paper-3/38c/a/solution

For , extend the proposed vector by . The sine addition identity gives . Thus row-by-row multiplication yields
These vectors do not depend on . To prove they form a basis even when eigenvalues of coincide, apply the calculation first to the symmetric matrix with , whose eigenvalues are distinct. Its nonzero eigenvectors are orthogonal and form a basis. Their squared lengths are , so multiplying each by gives a common orthonormal eigenbasis for every matrix in the family.

New to topics? Read the docs here!