Past exam of the physics 2 paper of the University of Oxford / 2017 resit / 9

Fermat's principle states that the travel time, or equivalently the optical path length $\int nds$ in a stationary medium, is stationary under small variations of the path with endpoints held fixed. It need not be a global minimum.

Let a light ray join a point at height $h_1$ above a plane interface to a point at depth $h_2$ below it, with horizontal separation $D$. If the crossing point is horizontally $\xi$ from the first endpoint, its optical path length isSetting its derivative to zero givesThe two geometric ratios are the sines of the incident and refracted angles, measured from the interface normal vector. Hence Snell's law is

The paraxial approximation restricts light rays to small slopes relative to the optical axis, so $\sin \beta \simeq \tan \beta \simeq \beta$ and geometric lengths can be expanded to second order in height. Treat the source's optical lens as a thin lens located at $x=0$, with $|y|\ll u,|v|$ and small surface slopes.

For positive real conjugate distances $u,v$, the collapsed-plane geometric path has lengthTo thin-element accuracy, a segment $s(y)=s_0-\alpha y^2$ of this path lies inside the optical lens, replacing the same length of air. The geometric air path is $S-s$, the material path is $s$, and the optical path length and travel time are thereforeThis distinguishes geometric length from optical path length; adding $ns$ to $S$ without subtracting the replaced air would count that segment twice.

For a nonaxial light ray, Fermat's principle gives $d\mathcal{L}/dy=0$ and henceThe focal length is obtained with the incident object at infinity:The constant thickness $s_0$ supplies a common delay but does not change the leading focal length. Since $\alpha$ has units of inverse length, this formula has the correct dimensions. These are thin lens results; paraxial approximation alone does not remove finite-thickness corrections in a general thick lens.

Substituting the stated refractive index and thickness coefficient, $\alpha =2{\mathrm{m}}^{-1}$, givesThe thin lens equation then givesThe positive image distance places a real image on the outgoing side of the optical lens, at $x=+1.75\mathrm{m}$. The object is beyond the focal point, so outgoing light rays actually converge there rather than only their backward extensions meeting.