Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge / 2020 / Paper 1 / 1

Write the position vector as $\mathbf{r}(\rho ,\varphi ,z)=(\rho \cos \varphi ,\rho \sin \varphi ,z)$. Its coordinate tangent vectors areTheir pairwise dot products vanish. Their lengths, the scale factors of orthogonal coordinates, areThus the cylindrical coordinate system is orthogonal wherever it is a nonsingular coordinate chart. At $\rho =0$, the angular tangent vector vanishes and the azimuth is undefined; this is the usual coordinate singularity on the axis, not a failure of the Euclidean geometry.

Dividing the coordinate tangents by their scale factors of orthogonal coordinates gives an orthonormal basisEvaluate the Cartesian cross products componentwise:ConsequentlyThe ordered cylindrical basis is right-handed: its scalar triple product ${\mathbf{e}}_{\rho }\cdot ({\mathbf{e}}_{\varphi }\times {\mathbf{e}}_z)$ equals $+1$.

Differentiate the position vector, using the angular factor from the scale factors of orthogonal coordinates:The basis is an orthonormal basis, so all cross terms in its squared length vanish. The Euclidean line element is thereforeIn particular, an angular change $d\varphi$ at fixed radius traverses a physical distance $\rho |d\varphi |$.

For a finite separation use the Cartesian distance, rather than substituting finite coordinate differences into the local line element. Expanding the two horizontal components givesThe vertical contribution is $(z-z^{\prime }{)}^2$, independently. ThusandEquivalently, the horizontal contribution is $(\rho -{\rho }^{\prime }{)}^2+4\rho {\rho }^{\prime }{\sin }^2[(\varphi -{\varphi }^{\prime })/2]$, which also makes its nonnegativity explicit.

The radial unit vector in the spherical coordinate system isThe coordinate tangent in the polar direction has length $r$, so its corresponding unit vector isDifferentiating ${\mathbf{e}}_r$ at fixed $\varphi$ therefore givesThe factor is not $r$: the corresponding scale factors of orthogonal coordinates occur in the derivative of the position vector, whereas the question differentiates its unit direction. The formula is understood away from the coordinate singularities where a complete spherical basis is not uniquely specified.