1. Moving Lens 6 pts

Optics · Geometric optics, Thin-lens imaging, Geometric construction

Reconstruct the unseen circular path of a moving thin lens, and the direction of its plane, from the closed image curves it traces of two fixed object points.

Solution by Claude Opus 4.7.

Overview

A thin converging lens of fixed orientation moves so that its centre LL traces a circle in the plane of the figure. The optical axis n^\hat{n} lies in this plane, and the focal length ff is fixed. Two object points PP and QQ are imaged to closed curves PP' and QQ'.

We will need only two facts about thin-lens imaging:

  1. The chief ray is undeviated. A ray from any object point PP through the lens centre LL continues in a straight line. Hence PP, LL, PP' are collinear, with LL between PP and PP' whenever the image is real (the case here).

  2. Lens equation along the chord PLPL. Let α\alpha be the angle between the line PLPL and the optical axis n^\hat{n}. The axial object and image distances are

u=PLcosα,v=LPcosα.u = |PL|\cos\alpha,\qquad v = |LP'|\cos\alpha.

Substituting these into 1/u+1/v=1/f1/u + 1/v = 1/f gives the form we will use throughout part (ii):

1PL+1LP  =  cosαf.\frac{1}{|PL|} + \frac{1}{|LP'|} \;=\; \frac{\cos\alpha}{f}.

There are five unknowns hidden in the figure: the centre OO and radius RR of the lens-centre circle (3 numbers), the direction of the optical axis n^\hat{n} (1 number), and the focal length ff (1 number). The problem only asks for the first four; the fifth (ff) drops out as a free by-product, as we will see.

The solution proceeds in two essentially independent steps:

  • Part (i) uses only fact 1 — the curves PP' and QQ' live in the angular wedges subtended by the lens circle at PP and QQ.
  • Part (ii) uses fact 2 — a harmonic-mean construction collapses the unknown angle α\alpha and produces a straight line parallel to the lens plane.

Part (i) — The lens-centre circle

Key observation: tangent rays are shared

Because LL lies on segment PPPP', the direction from PP to PP' is exactly the direction from PP to LL. As LL runs around its circle once, the line of sight PLPL pivots through the angular wedge bounded by the two tangent lines from PP to the lens circle, sweeping it twice (once on the way out, once on the way back). The image curve PP' is contained in this same wedge, and reaches its boundary at the moment LL coincides with one of the tangent points.

The conclusion:

The two tangent lines from PP to the image curve PP' are exactly the two tangent lines from PP to the lens-centre circle.

The same holds for QQ and curve QQ'. So the figure already contains four lines tangent to the lens circle — two from PP, two from QQ — even though the lens circle itself is not drawn.

Construction

                 ℓP+      ℓQ+
    P •──────────●─────────●──────●Q
                  \       /
                   \     /
                    \   /
                     \ /
              bP ─────●───── bQ
                     /O\
                    /   \
                   /     \
                  /       \
    ── ℓP− ──── ●  ────────●─── ℓQ− ──
                  lens
                  circle
  1. Draw the four tangent rays. From PP, sweep a straightedge until it just touches curve PP' from each side; mark the two extreme positions P(+)\ell_P^{(+)} and P()\ell_P^{(-)}. Repeat from QQ on curve QQ' to obtain Q(+)\ell_Q^{(+)} and Q()\ell_Q^{(-)}.
  2. Bisect the angle at PP between P(+)\ell_P^{(+)} and P()\ell_P^{(-)}. Call the bisector bPb_P.
  3. Bisect the angle at QQ between Q(+)\ell_Q^{(+)} and Q()\ell_Q^{(-)}. Call the bisector bQb_Q.
  4. The centre is O=bPbQO = b_P \cap b_Q.
  5. The radius RR is the perpendicular distance from OO to any one of the four tangent rays.

Why this works

For any point XX outside a circle, the two tangent lines drawn from XX are reflections of each other across the line XOXO (where OO is the centre). So the angle bisector at XX between them passes through OO. We have two such external points, PP and QQ, hence two bisectors that intersect at OO. The radius is then the common perpendicular distance from OO to all four tangent lines — which provides a four-fold consistency check (all four perpendicular distances must agree).

Educational remark — tangent line, but not tangent point

The tangent line P(+)\ell_P^{(+)} touches the lens circle at some point TP(+)T_P^{(+)}, where the lens centre passes at one specific instant. The same line touches the curve PP' at the image of TP(+)T_P^{(+)}, which is the point P+μ(TP(+))(TP(+)P)P + \mu(T_P^{(+)})\,(T_P^{(+)} - P). Because μ=u/(uf)>1\mu = u/(u-f) > 1 for real images, the tangent point on the curve PP' is further from PP than the tangent point on the lens circle, but the two tangent points lie on the same straight tangent line. This is enough for the construction — only the line, not the contact points, matters.

Self-intersection of QQ'

The figure shows that curve QQ' has a self-intersection (it is shaped like a figure-eight), while PP' is a simple loop. The construction cares only about the outermost tangent rays from QQ — the rays bounding the angular extent of the curve as seen from QQ. Internal tangent lines that touch interior loops of a self-intersecting curve are not tangent to the lens circle. (A self-intersection of QQ' at angle θ\theta from QQ corresponds to two distinct lens positions L,L+L_-, L_+ on the chord through QQ at angle θ\theta producing the same image — a coincidence in μQL=μ+QL+\mu_-|QL_-| = \mu_+|QL_+| that does not affect the angular envelope.)


Part (ii) — The lens-plane direction

Key observation: a harmonic-mean point on each chord

For any chord PLPL at angle α\alpha to the optical axis, rearrange the lens equation derived in the overview:

PL+LPPLLP  =  cosαf  PLLPPL+LP  =  fcosα.  \frac{|PL| + |LP'|}{|PL|\cdot|LP'|} \;=\; \frac{\cos\alpha}{f} \quad\Longleftrightarrow\quad \boxed{\;\frac{|PL|\cdot|LP'|}{|PL|+|LP'|} \;=\; \frac{f}{\cos\alpha}.\;}

The quantity on the left is computable directly from the figure once we know LL (which we do, from part (i)). It is one half of the harmonic mean of the two segment lengths.

Now mark, on segment PLPL, the auxiliary point

M  =  P+PLLPPL+LP  u^PL,u^PL:=LPPL.M \;=\; P \,+\, \frac{|PL|\cdot|LP'|}{|PL|+|LP'|}\;\hat{u}_{PL}, \qquad \hat{u}_{PL} := \frac{L-P}{|PL|}.

Two properties of MM:

  • PM=f/cosα|PM| = f/\cos\alpha by construction.
  • The component of MPM-P along the optical axis is
(MP)n^  =  PMcosα  =  f.(M - P)\cdot\hat{n} \;=\; |PM|\cos\alpha \;=\; f.

The right-hand side is independent of where LL sits on its circle. So no matter which lens position we pick, the corresponding MM has the same axial coordinate relative to PP. In other words:

Every MM lies on a single straight line — the line perpendicular to n^\hat{n} at axial distance ff from PP.

That line is parallel to the lens plane, since both are perpendicular to n^\hat{n}. Determining its direction is therefore equivalent to answering part (ii).

Construction

We assume part (i) has produced the lens circle. We do not need to know n^\hat{n} or ff — they emerge.

  1. Choose three (or more) well-separated points P1,P2,P3P'_1, P'_2, P'_3 on the curve PP'.
  2. For each ii, draw the line PPiPP'_i. It meets the lens circle in two points; call either one LiL_i. (See the both branches remark below — it does not matter which.)
  3. Construct the length
PMi  =  PLiLiPiPLi+LiPi|PM_i| \;=\; \frac{|PL_i|\cdot|L_iP'_i|}{|PL_i|+|L_iP'_i|}

using the harmonic-mean ruler-and-compass construction below, and mark MiM_i on segment PLiPL_i at this distance from PP. 4. The points M1,M2,M3,M_1, M_2, M_3, \ldots are collinear. The line through them is parallel to the lens plane.

The same recipe starting from QQ produces a parallel line (also perpendicular to n^\hat{n}, but at axial distance ff from QQ rather than from PP). Doing both halves and confirming they come out parallel is a strong consistency check on the entire construction.

Harmonic-mean construction (similar triangles)

Given collinear P,L,PP, L, P' with LL between, construct MM on segment PLPL with PM=PLLP/(PL+LP)|PM| = |PL||LP'|/(|PL|+|LP'|):

        A •
          |\
          | \
          |  \
          |   \
        B •    \
          |\    \
          | \    \
          |  \    \
          P • M ── L ───── P'
  • Through PP, draw any auxiliary line not collinear with PPPP'.
  • On it, mark AA with PA=PP=PL+LP|PA| = |PP'| = |PL|+|LP'|.
  • On it, mark BB with PB=LP|PB| = |LP'|, between PP and AA.
  • Draw segment ALAL.
  • Through BB, draw the line parallel to ALAL. It meets segment PLPL at MM.

By similar triangles PBMPALPBM \sim PAL:

PMPL  =  PBPA  =  LPPL+LP,\frac{|PM|}{|PL|} \;=\; \frac{|PB|}{|PA|} \;=\; \frac{|LP'|}{|PL|+|LP'|},

so PM=PLLP/(PL+LP)|PM| = |PL|\cdot|LP'|/(|PL|+|LP'|) as required.

Why both branches give the same MM

A line through PP in a direction inside the wedge crosses the lens circle in two points LL_- and L+L_+ on the same chord — hence at the same angle α\alpha from n^\hat{n}. The formula PM=f/cosα|PM| = f/\cos\alpha depends only on α\alpha, so both L±L_\pm produce the same MM on the same ray from PP.

Concretely: the two branches of curve PP' along the chord through PP at angle θ\theta — the two intersection points of the chord-line with PP' — yield identical auxiliary points MM. This is consistency check #2: pick a chord, build MM from each branch, and confirm they coincide.

Educational remark — why the harmonic mean appears

In a 1D problem along the axis, the lens equation reads 1/u+1/v=1/f1/u + 1/v = 1/f, i.e. ff is half the harmonic mean of uu and vv. The angle α\alpha enters because the chord PLPL is not along the axis: PL=u/cosα|PL|=u/\cos\alpha replaces uu, and similarly for vv. The factor cosα\cos\alpha appears as a uniform stretch on both sides of the equation, producing f/cosα=PMf/\cos\alpha = |PM|. Marking that distance along the chord is geometrically equivalent to projecting onto the axis a fixed offset of ff from PP — and projection onto a fixed direction is exactly what produces a straight line locus perpendicular to that direction.

What this also gives us — the focal length

The construction does not require ff, but once the line of MM‘s is drawn, ff can be read off in two ways:

  • f=PMcosαf = |PM|\cos\alpha for any one chord, where α\alpha is now measurable as the angle between PLPL and the constructed axial direction n^\hat{n}.
  • ff is the perpendicular distance from PP to the line of MM‘s.

This was not asked, but it confirms that the curves contain enough information to fully determine the optical setup (lens circle, axis direction, focal length).

Sanity check — limiting case ff \to \infty

In the limit ff\to\infty (no lens, “imaging” is just a clear sightline), ufu \to f from above gives vv \to \infty, and the image disappears. So ff finite was essential. Less trivially: as the lens circle shrinks, the two tangent lines from PP converge to a single line of sight to OO, and the image curve PP' shrinks to a single point — the construction degenerates but remains consistent.


Summary of constructions

PartObjectConstruction
(i)The lens-centre circle(a) Draw the two tangent rays from PP to curve PP' and the two tangent rays from QQ to curve QQ'. (b) Bisect the angle between the two rays at PP, and again at QQ. (c) The centre OO of the lens circle is the intersection of the two bisectors; the radius RR is the perpendicular distance from OO to any of the four tangent rays.
(ii)A line parallel to the lens planeFor three or more points PiP'_i on curve PP': locate LiL_i on the line PPiPP'_i (using the lens circle from part (i)), and mark MiM_i on segment PLiPL_i at distance $\dfrac{

The reasoning behind each step:

  • Part (i): P,LP', L lie on the same ray from PP, so the angular extent of curve PP' at PP equals that of the lens circle, and their tangent rays from PP coincide. Two angle bisectors from external points pin the centre.
  • Part (ii): The lens-equation rearrangement PLLPPL+LP=fcosα\frac{|PL||LP'|}{|PL|+|LP'|} = \frac{f}{\cos\alpha} means that the harmonic-mean point on each chord lies at axial distance ff from PP, irrespective of LL. The locus is therefore a straight line perpendicular to the optical axis, which is parallel to the lens plane.