Ray Optics: Paraxial Tricks & ABCD Matrices (IPhO Optics)

IPhO optics lesson on paraxial ray optics and ABCD matrices: fast imaging, effective focal lengths, and multi-element systems.

  • International Physics Olympiad preparation
On this page

ABCD (ray transfer) matrices are a speed tool. They let you collapse a pile of lenses, gaps, and mirrors into one matrix, then read off whether the system images, where the image plane is, and what the magnification is.

Prerequisites (quick refresh)

1. Definitions (Must Know)

  • Paraxial approximation: angles to the axis are small, so sin θ ≈ θ and tan θ ≈ θ (with θ in radians).
  • Ray vector (one common convention): r = (y; θ) where y is height above the axis and θ is the ray angle.
  • ABCD matrix: r₂ = Mr₁ with M = (A, B; C, D).
  • Free-space propagation by distance L: P(L) = (1, L; 0, 1).
  • Thin lens of focal length f: L(f) = (1, 0; -1/f, 1).
  • Imaging condition (from plane 1 to plane 2): B = 0 for the total matrix between those planes.
  • Transverse magnification (when B = 0): m = A.
  • Effective focal length (same medium, this convention): f_eff = -1/C for the system matrix.
  • Afocal system: C = 0 (parallel rays in give parallel rays out).

2. Key Ideas (What Earns Marks)

  • Pick a consistent sign convention and stick to it (distances along the axis, ray angles, and focal lengths).
  • Multiply matrices in the physical order the ray experiences them (the rightmost matrix acts first).
  • For imaging problems, build the matrix from object plane to candidate image plane, then set B = 0.
  • If you only need the effective focal length, compute the system matrix once and read f_eff from C.
  • Always sanity-check with a limiting case: remove a lens, set a spacing to zero, or take an object very far away.

3. Detailed Explanations

3.1 Where the matrices come from

For free propagation over distance L, a ray at angle θ drifts by Lθ:

y₂ = y₁ + Lθ₁, θ₂ = θ₁,

which is exactly

(y₂; θ₂) = (1, L; 0, 1) (y₁; θ₁) .

A thin lens changes the angle but not the height at the lens plane:

θ₂ = θ₁-y₁/f, y₂ = y₁,

so

(y₂; θ₂) = (1, 0; -1/f, 1) (y₁; θ₁) .

3.2 Composition rule

If a ray passes through element 1 and then element 2, the total transformation is

rₒᵤₜ = M₂(M₁rᵢₙ) = (M₂M₁)rᵢₙ.

So you multiply matrices left-to-right in the order of propagation, with the rightmost acting first.

3.3 Imaging and the meaning of B

The output height is

yₒᵤₜ = A yᵢₙ + Bθᵢₙ.

For a point in the object plane, different rays correspond to different θᵢₙ. For those rays to reunite at a single image point in the output plane, yₒᵤₜ must not depend on θᵢₙ, so imaging requires B = 0.

When B = 0, the transverse magnification is simply

m = yₒᵤₜ/yᵢₙ = A.

3.4 Effective focal length and afocality

For a thin lens, C = -1/f. For a general system (same medium), you can define an effective focal length by matching that structure:

f_eff = -1/C.

If C = 0, the system is afocal: parallel input rays remain parallel at the output.

4. Common Mistakes

  • Multiplying matrices in the wrong order.
  • Using degrees inside small-angle formulas (ABCD is paraxial; keep θ in radians).
  • Mixing sign conventions for object distance, image distance, and focal length mid-problem.
  • Thinking C = 0 is the imaging condition (it is the afocal condition in this convention).
  • Forgetting that ABCD matrices are paraxial: they do not capture large-angle aberrations.

5. Exam Tips

  • For a single lens imaging problem, ABCD is a clean way to re-derive 1/s + 1/s' = 1/f without memorizing.
  • If the system looks messy, compute the combined matrix once, then use one simple condition (B = 0 or C = 0).
  • Always report whether the image is inverted by checking the sign of m.

6. Worked Examples

1) Use ABCD to derive the thin lens equation and magnification

Object plane is a distance s before the lens, and the image plane is a distance s' after the lens.

Matrix from object plane to image plane:

M = P(s') L(f) P(s).

Compute B:

B = s + s'-ss'/f.

Imaging requires B = 0, so

s + s' = ss'/f ⇒ 1/s + 1/s' = 1/f.

When B = 0, the magnification is m = A, and for this system

m = -s'/s.
2) Two lenses separated by distance d: find the equivalent focal length

Two thin lenses of focal lengths f₁ and f₂ are separated by distance d.

The system matrix (lens 1, then gap, then lens 2) is

M = L(f₂) P(d) L(f₁).

The effective focal length follows from f_eff = -1/C, and the result is

f_eff = f₁f₂/(f₁ + f₂-d).

Example: f₁ = 10 cm, f₂ = 5 cm, d = 12 cm.

f_eff = (10)(5)/(10 + 5-12) = 50/3 cm ≈ 16.7 cm.
3) Kepler telescope: show it is afocal and find angular magnification

A Kepler telescope uses two converging lenses: objective fₒ and eyepiece fₑ, separated by fₒ + fₑ.

Total matrix:

M = L(fₑ) P(fₒ + fₑ) L(fₒ).

This gives C = 0, so the system is afocal.

For an afocal system, the output angle is θₒᵤₜ = D θᵢₙ (when yᵢₙ = 0), so the angular magnification is

M_θ = D = -fₒ/fₑ.

The minus sign indicates an inverted image.

7. Mind Stretchers

Mind-stretcher: optical cavity stability in one line of ABCD

A two-mirror cavity has mirror radii R₁ and R₂, separated by distance L along the axis. Model each mirror as a thin lens with focal length fᵢ = Rᵢ/2, and use free-space propagation for the gap.

The round-trip matrix Mᵣₜ has the form (A, B; C, D). A standard paraxial result is: the cavity is stable (rays stay bounded after many round trips) when the magnitude of (A + D)/2 is at most 1.

If you define

g₁ = 1-L/R₁, g₂ = 1-L/R₂,

the stability condition simplifies to: the product g₁g₂ lies between 0 and 1.

This is a powerful pattern-recognition result in IPhO optics problems involving resonators and beam confinement.

8. Practice

Practice

Quick drills:

  • Build M = P(s')L(f)P(s) and recover the thin lens formula by setting B = 0.
  • Multiply L(f₂)P(d)L(f₁) and read off the equivalent focal length from C.
  • Design an afocal two-lens system by choosing a separation that makes C = 0.
Syllabus and review details

No official syllabus alignment is listed for this lesson.