Past exam of the mathematics course of the University of Cambridge 2005 ia Paper 3 8D Solution Created 2026-09-24 Updated 2026-10-14
First is a linear subspace. To prove it is nonzero, use orthogonality and :Hence . If then also implies . For ,so is invariant. If had dimension two, its one-dimensional orthogonal complement would be invariant and would act there as a scalar . The determinant would be , so , forcing . Dimension three also forces . Both contradict the hypothesis. ConsequentlyChoose an orthonormal basis beginning with a unit vector in and followed by a basis of . In this basis the orthogonal matrix has block formThe first column of is some . Its perpendicular unit second column with positive orientation must be . Thus the restriction is the plane rotationTrace invariance gives , provingA Euclidean reflection in fixes that plane pointwise and reverses , so it occurs exactly when . This is equivalent to , hence exactly to . Finally,This exhibits the three-dimensional improper orthogonal transformation as a rotation about the axis composed with Euclidean reflection in .
Past exam of the mathematics course of the University of Cambridge 2015 ia Paper 1 2C Solution Created 2026-09-24 Updated 2026-10-06
Denote the four displayed matrices, from left to right, by . An orthogonal matrix has an orthonormal set of columns, equivalently . Direct column dot products give for . The first column of has squared Euclidean norm , so the third matrix is the unique nonorthogonal matrix.
For , the determinant is . A nonidentity orthogonal transformation of with determinant is a rotation: it has a fixed axis and restricts to a plane rotation on its orthogonal complement. Consequently is the rotation.
For , calculation givesA plane reflection fixes its entire plane, and therefore has eigenvalue . Since is invertible, is not a plane reflection. Thus is the combination of a rotation and a reflection. More explicitly, is an eigenvector with eigenvalue . On the perpendicular plane, is a rotation with , because . This gives a three-dimensional improper orthogonal transformation.
For , set . ThenThis reflection matrix reverses the normal and fixes every vector perpendicular to . Therefore is reflection in the plane . In particular, and . Finally represents none of the three listed orthogonal transformations, since each preserves the Euclidean norm.