Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/ia/paper-1/8a/solution

Use matrix notation and set , , . Contracting the proposed decomposition with and taking its trace, using the stipulated transverse and trace conditions, gives
These relations determine both scalars and the transverse vector uniquely:
The last expression obeys directly.
To construct and check the remaining symmetric matrix, use the orthogonal projection matrix onto , and define
Both terms are symmetric, , and
Expand with . The mixed terms are and , while and . Consequently
and the displayed coefficient equals . This proves existence as well as the axis decomposition of a symmetric matrix formulas.
For the dimension count, choose an orthonormal basis whose third axis is parallel to . The vector has two transverse components. The conditions and symmetry set the third row and column of to zero, leaving a symmetric block. Its zero trace leaves two independent entries, of the form . Together with the two independent scalars , the total is parameters, exactly , the dimension of real symmetric matrices. The recovery formulas also prove uniqueness, so this is an actual parameterization without redundant degrees of freedom.

New to topics? Read the docs here!