Past exam of the mathematics course of the University of Oxford / 2017 / Prelims / Mathematics IV resit / 1 / c

Choose the first orthonormal basis vector to be ${\mathbf{e}}_1=\mathbf{a}$. If $\mathbf{b}$ is not parallel to $\mathbf{a}$, choose ${\mathbf{e}}_2$ along $\mathbf{b}-(\mathbf{a}\cdot \mathbf{b})\mathbf{a}$; otherwise choose any unit vector orthogonal to $\mathbf{a}$. Complete to an orthonormal basis with ${\mathbf{e}}_3$. The matrix with rows ${\mathbf{e}}_i^T$ is an orthogonal matrix, and expressing the three unit vectors in this basis givesThe last two components of ${\mathbf{c}}^{\prime }$ have polar coordinates of the displayed form; we may choose $w\ge 0$. If they vanish, $\theta$ is arbitrary.

An orthogonal transformation preserves dot products. Taking dot products with ${\mathbf{a}}^{\prime }$, and then using the unit Euclidean norms, givesThe remaining dot product givesAn orthogonal matrix has determinant $\pm 1$, so it preserves the absolute scalar triple product. In the new coordinates this scalar triple product is $yw\sin \theta$. ConsequentlyTaking the nonnegative square root provesNo division by $y$ or $w$ was used, so the proof includes parallel vectors. Equivalently, the expression under the square root is the Gram determinant of the three unit vectors.