2.5.6 · D2Optics

Visual walkthrough — Thin lenses — lens equation, lens maker's equation

1,945 words9 min readBack to topic

We are chasing one target: where does a lens focus light, and why does its shape decide that?


Step 1 — What a ray, a normal, and an angle actually are

WHAT. Before any formula, we agree on the cast of characters in the picture below.

  • A ray is the straight path light travels (the arrow).
  • A spherical surface is the boundary of the glass, curved like part of a ball. The centre of that ball is the point , called the centre of curvature. The distance from the surface to is the radius .
  • The normal is the line straight out of the surface — for a sphere it always points along the line to . This matters because angles in optics are always measured from the normal, never from the glass.
  • The optical axis is the straight horizontal centre line; everything is measured along it.

WHY. Light bends according to the angle it makes with the normal. If we don't know where the normal points, we can't measure the angle, and nothing else follows. On a curved surface the normal tilts as you move up the glass — that tilt is the whole reason a lens focuses.

PICTURE.

Figure — Thin lenses — lens equation, lens maker's equation

Step 2 — Snell's law, in the only form we need

WHAT. When light crosses from one material into another, it bends. Each material has an index : how many times slower light travels in it than in vacuum. Air is ; glass is .

The full law is , where is the angle in from the normal and the angle out.

WHY this tool and not another? We need a rule that connects the incoming tilt to the outgoing tilt at a surface — that is exactly refraction, and Snell's law is the one statement of it. We use the paraxial form because our angles are tiny:

Term by term: = index the ray leaves; = angle it made with the normal on the way in; = index it enters; = angle with the normal on the way out. Bigger forces a smaller — the ray bends toward the normal entering denser glass.

PICTURE.

Figure — Thin lenses — lens equation, lens maker's equation

Step 3 — Three little triangles give three angles

WHAT. Take one ray from an on-axis object point (far left) that strikes the surface at height . It refracts and heads toward the image point . We name three angles the ray-lines make with the axis:

  • — angle of the incoming ray at the object,
  • — angle of the outgoing ray at the image,
  • — angle the normal (the line to ) makes with the axis.

Using paraxial "", and reading distances with the sign convention ( for a real object on the left, , if is on the outgoing side):

Term by term: each is the same height divided by how far away the relevant point (, , ) sits. The appears because is negative but a physical distance is positive.

WHY. We can't plug "angles" into Snell's law until we express them in things we can measure: heights and distances. These three ratios convert geometry into the numbers that we ultimately want.

PICTURE.

Figure — Thin lenses — lens equation, lens maker's equation

Step 4 — The exterior-angle trick turns angles into and

WHAT. An exterior angle of a triangle equals the sum of the two opposite interior angles. Apply it twice to the picture:

WHY. Snell's law is written in and (measured from the normal), but our measurable ratios in Step 3 are (measured from the axis). This trick is the bridge: it re-expresses the normal-angles using axis-angles.

Reading it: for , the incoming ray-to-axis angle plus the normal's own tilt stacks up to the full angle from the normal. For , the ray has swung past, so we subtract .

PICTURE.

Figure — Thin lenses — lens equation, lens maker's equation

Step 5 — Substitute, cancel , and the single-surface law appears

WHAT. Feed Step 4 into paraxial Snell , then insert Step 3's ratios:

Every term carries the same height , so divide it out (this is why the answer doesn't depend on which ray we picked — all paraxial rays agree, which is why an image forms at all):

Rearrange to collect image terms on the left:

Term by term: = "where the image is, weighted by the glass it sits in"; = same for the object; the right side = the surface's own bending strength — big when the media differ a lot or the curve is tight.

WHY. This is the single-surface formula — our reusable building block. One curved surface, done forever.

PICTURE.

Figure — Thin lenses — lens equation, lens maker's equation

Step 6 — Do it twice: a lens is two surfaces back to back

WHAT. A thin lens is glass () in air. Light meets surface 1 (radius , air→glass), then surface 2 (radius , glass→air). "Thin" means the two surfaces sit at the same plane — no gap.

Surface 1, with , , the image landing at an intermediate point :

The intermediate image of surface 1 is the object for surface 2. Because the lens is thin, that object also sits at distance . Now , :

WHY. We never re-derive anything — we reuse Step 5's box, once per surface. That is the entire economy of the approach.

PICTURE.

Figure — Thin lenses — lens equation, lens maker's equation

Step 7 — Add the two equations: the ghost image cancels

WHAT. Add (1) and (2). The intermediate term appears as in the first and in the second — they destroy each other:

Now define the focal length as where parallel incoming rays (object infinitely far, , so ) converge, i.e. :

and, comparing the two boxed lines, the thin-lens equation:

WHY. The cancellation is the miracle: we never needed to know where the ghost image was. Two surfaces collapse into one number that depends only on the shape and glass.

Term by term in the maker's equation: = "how much the glass slows light" (if it's zero, no lens at all); = "total curvature difference of the two faces".

PICTURE.

Figure — Thin lenses — lens equation, lens maker's equation

Step 8 — The degenerate & edge cases you must never trip on

WHAT. Check every limit so no scenario surprises you.

Case Input Result Reading
Flat plate Zero curvature → does nothing
Symmetric biconvex Signs make faces add
Diverging (biconcave) Spreads rays, virtual focus
No glass : no speed change, no bend
Object at Rays leave parallel

WHY. A formula you trust is one you've watched behave correctly at its extremes. The two most dangerous sign slips are (a) forgetting is negative for a biconvex lens, and (b) writing a "+" like the mirror equation.

PICTURE.

Figure — Thin lenses — lens equation, lens maker's equation

The one-picture summary

Figure — Thin lenses — lens equation, lens maker's equation
Recall Feynman retelling — the whole walkthrough in plain words

Picture one ray leaving a dot on the left, hitting a curved bit of glass. To know how much it bends I need the "straight-out" line at that spot (the normal) — for a ball, that line always points at the ball's centre. I compare the ray to that line: small angle in, small angle out, and glass makes it swing (Snell). I turn all those angles into simple "height ÷ distance" fractions, plug them in, and the height cancels — which is why all the rays from one dot meet at one new dot: the image. That gives me one rule for one curved surface. A lens is just two surfaces kissing, so I use that rule twice — the leftover "middle image" appears with a plus in one line and a minus in the other and vanishes when I add them. What survives is a single number built from the glass () and the two curves. Flat glass? No curve, no focus. Fatter, tighter curves, denser glass? Stronger swing, closer focus. That's the whole story.

Recall

Why does the height cancel in Step 5? ::: Every angle was written as , so is a common factor — dividing it out means all paraxial rays obey the same relation, so they focus to one point. Why does the intermediate image disappear? ::: It enters as and in the two surface equations; adding them cancels it exactly. What defines the focal length in the derivation? ::: The image distance when the object is infinitely far (, ), so . For a symmetric biconvex lens, why do the faces "add"? ::: and , so the subtraction becomes .


Connections