Apply matrix multiplication to obtainSince is a unit vector, the subtracted term is the orthogonal projection of along . Hence is the orthogonal projection onto a plane through the origin with normal vector . It fixes every vector perpendicular to and sends every scalar multiple of to zero. In particular .
From part (f), . To obtain , choose the Householder transformation that reverses only the third coordinate:Indeed , so , and direct matrix multiplication gives . The alternative vector produces the same matrix. Geometrically reflects in the plane , completing the reversal of all three coordinates.
Adding the vectors component by component givesConsequently . The requirement that the vectors be nonzero then implies .
Since and , the vectors point in opposite directions. More explicitly, their dot product givesHence their angle is .
Induction on gives , including . The absolutely convergent matrix exponential series may therefore be applied term by term to each eigenvector:ThusFor a repeated eigenvalue, every nonzero vector in its eigenspace remains an eigenvector. Because the real exponential function is injective, distinct real eigenvalues of do not merge under this transformation.
Choose the unnormalized eigenvectorsTheir linear combination giving the specified vector isApplying the reciprocal eigenvalues of the inverse matrix therefore yieldsIn Cartesian coordinates, this is , and direct matrix multiplication gives .
No. Every one of the three vectors has equal first and second Cartesian coordinates, so their linear span is contained in the plane . That linear subspace has dimension two and cannot equal .
More explicitly, call the three given vectors in their listed order. ThenThis nontrivial linear relation proves linear dependence, whereas a basis must be linearly independent. Being unit vectors alone does not ensure that they form a basis.
Commuting inverse. Assume is invertible, as required by the displayed inverse. Multiplication givesMultiply on both sides by to obtainMore generally, a matrix commuting with an invertible matrix also commutes with its inverse.
Orthogonality. For a real skew-symmetric matrix , . If for a real vector , multiply by to obtain . Thus is invertible; the same argument applies to . For the Cayley transform of a real skew-symmetric matrix,The factors commute by the first result, soTherefore
Eigenvector mapping. If , then . ConsequentlyThe denominator cannot vanish. In fact the eigenvalues of a real skew-symmetric matrix are purely imaginary: is the negative of its complex conjugate, so . For the corresponding eigenvalue of is , consistent with orthogonality.
Spectrum in three dimensions. Let be any real three-by-three orthogonal matrix. For a complex eigenvector , implies . A real cubic characteristic polynomial has a real root, necessarily or . Any nonreal roots form a complex-conjugate pair of unit modulus. If all three roots are real, two of the three signs agree and can be grouped as a pair with angle zero or . Thus in every case the eigenvalues can be writtenTheir product is .
Determinant and fixed axis for the Cayley transform. Since ,so . This determinant argument works in every dimension. In dimension three the preceding spectrum result then guarantees an eigenvector with . Set . The fixed-vector equation says , so and . HenceThis is the axis fixed by the three-dimensional rotation. Equivalently, a real odd-dimensional skew-symmetric matrix has zero determinant, because .
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2002 Paper 1 4 Solution Created 2026-10-18 Updated 2026-10-20
Nilpotence and eigenvalues. If with , then . Thus forces for every eigenvalue. Conversely, if all complex eigenvalues, counted with algebraic multiplicity, vanish, the monic characteristic polynomial is . The Cayley-Hamilton theorem then gives . HenceThis is the criterion for a nilpotent matrix.
Symmetric case. Here a symmetric matrix is understood to be real. The spectral theorem gives with orthogonal and real diagonal. The previous result makes every diagonal entry zero, so . Alternatively, choose , so . For every real vector ,It follows that . Repeat until . This uses positivity of the quadratic form . The restriction to real symmetric, or complex Hermitian matrices, matters: a complex matrix satisfying only need not have this positivity.
The parameters and powers. The first two columns of coincide, so for all . The sum of its principal two-by-two determinants, each a minor of a matrix, isTogether with , this givesFor every eigenvalue to vanish both remaining coefficients must be zero. ThereforeDirect multiplication at these values givesIndeed the first row of multiplied by is , and the second row is its negative.
Geometry of repeated application. For any parameters the image of a linear map lies in the span of and , since . Thus it lies in a fixed plane through the origin, independently of the input. When are independent its normal is ; if they coincide, the image is a line and is still contained in a plane.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2003 Paper 1 1 Solution Created 2026-10-18 Updated 2026-10-20
For , the positive constant- surfaces in elliptic cylindrical coordinates satisfyThey are confocal elliptic cylinders with focal lines . For a generic fixed , eliminating givesBecause , a fixed selects the half-branch with the signs of and fixed by and . These are hyperbolic cylinders. The degenerate surface is , , extended in . At the cross-sections are the two exterior horizontal rays; at they are vertical half-axes.
Differentiate the position vector to get the coordinate tangent vectorsTheir pairwise dot products vanish. Their squared lengths are , and one. This proves orthogonality and gives the scale factors of orthogonal coordinates:The Riemannian metric is . Away from the focal lines, divide the coordinate tangent vectors by their lengths to obtain the local orthonormal unit vectors . For physical vector field components , the formulas for vector calculus in elliptic cylindrical coordinates areThe gradient of a scalar function has components . Apply the divergence formula to this gradient; Laplace's equation becomesThe formulas apply where ; the focal lines require a limit or another coordinate chart.
The orthogonality condition is , soEvery vector in the orthogonal complement is fixed by the orthogonal projection.
Under an orthogonal Cartesian change of axes , the vector components transform as , while and . Substitution givesThis is the rank-two Cartesian tensor transformation law. The nonzero assumption ensures that the denominator is positive. In matrix form is the orthogonal projection matrix onto the orthogonal complement of .
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2003 Paper 2 7 iii Solution Created 2026-10-18 Updated 2026-10-20
For the proposed vector, the first horizontal component of is . Since the corresponding component of is zero, a normal mode requires . The vertical components then give . With an arbitrary nonzero overall amplitude, choose to obtainThe analogous pattern invariant under reflection across the vertical axis isDirect multiplication confirms . The two patterns give independent eigenvectors with the same eigenvalue, as expected from the square's rotation symmetry.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2003 Paper 2 7 ii Solution Created 2026-10-18 Updated 2026-10-20
In a breathing mode, each displacement is proportional to its equilibrium position. A representative vector isMultiplying by the stiffness matrix gives . ThusPositive and negative amplitudes are uniform expansion and contraction about the center.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2003 Paper 2 7 i Solution Created 2026-10-18 Updated 2026-10-20
The first two vectors displace every particle identically in the horizontal or vertical direction. Every relative displacement is zero, so every spring has zero extension to first order. The third vector is evaluated at the equilibrium points, which is an infinitesimal clockwise rotation. For any edge the relative displacement is perpendicular to that edge, again giving zero extension.
These are the rigid-motion zero modes of a spring framework: two translations and one infinitesimal rotation. Each has , so . In the linearized dynamics its amplitude has the form , expressing free rigid motion rather than a restoring oscillation. Exact finite rigid rotations also preserve every spring length; the mode vector is their first-order tangent.
Use the ordered displacement vector , and define by . For an unstretched spring, the extension to first order is the dot product of the relative displacement with its equilibrium unit vector. Summing its squared extensions gives the central spring stiffness matrix. The four side springs and two diagonal springs giveThereforeThe kinetic energy is , so a normal mode satisfies . Keeping the factor in the definition of fixes the normalization of and the resulting frequencies.
Rigid rotation, breathing and modes with reflection symmetry
. Original displacement diagrams. Grey lines show all six equilibrium springs; arrows show representative mode vectors. The rotation has zero frequency, the breathing mode has squared frequency 4k/m, and the two other modes have squared frequency 2k/m. Details.The radial component of the curl in spherical coordinates isIt contains no , so cannot contribute. Substituting the tangential components givesThe mixed partial derivatives of smooth agree, so its terms cancel. Multiplication by , to take the dot product with the position vector , does not change this independence from .
The remaining terms giveThis is the Laplace-Beltrami operator on the unit sphere. Taking the dot product with the unit radial vector instead would give ; the extra factor here comes from the position vector in the question.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2007 Paper 1 5 Solution Created 2026-10-18 Updated 2026-10-20
Use the complex inner product , conjugate-linear in its first argument. For , put . Positivity givesHence the Cauchy-Schwarz inequality is . If it is immediate; equality holds precisely when the two vectors are linearly dependent.
For a unitary matrix, , so . If with a nonzero eigenvector, this implies . Thus every eigenvalue satisfiesFor the one-parameter family, expand unitarity to first order: , so . Thus is a skew-Hermitian matrix, an element of the unitary Lie algebra. If , then , whereas complex conjugation gives . Consequently , proving that every eigenvalue of is purely imaginary, with zero permitted.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2007 Paper 2 6 Solution Created 2026-10-18 Updated 2026-10-20
A two-index Cartesian tensor has components transforming as under an orthogonal change of orthonormal basis. The tensor order here counts indices, rather than the matrix rank. Its scalar, symmetric-traceless and axial tensor decomposition follows by settingThen , with antisymmetric and symmetric and traceless. There are three independent antisymmetric components and five independent symmetric traceless components: three off-diagonal entries and two independent diagonal ones in the latter case.
For the symmetric tensor relative to a nonzero vector , put , , and . The symmetric tensor decomposition relative to an axis givesIn particular . Define the orthogonal projection onto the plane perpendicular to , and setThis tensor is symmetric and kills . Its trace is . To verify the full decomposition, set and split into its longitudinal component , two mixed components, and . The mixed terms are exactly , and gives the longitudinal coefficient. Thus all requested constraints and the reconstruction hold.

