Snell's law proof using springs

TL;DR

Fermat’s Principle selects the path that minimizes total travel time, not the shortest distance.

Briefing Cornell Notes

Briefing

Light bends at the boundary between two media because it chooses a path that minimizes travel time, even though the straight-line route between points in air and water is not optimal. Fermat’s Principle frames the tradeoff: light moves slower in water, so spending more distance in water can increase total time, while shifting the path to spend more time in air can reduce it. The result is a geometric balancing act—one that ultimately produces Snell’s law, the familiar rule from introductory optics.

A common first guess is that the shortest path between a point A in air and a point B in water is the straight line. That path is indeed the shortest, but it can force the beam to spend too long in water, where speed is lower. Moving the path so it spends less time in water can make the overall trip faster, yet pushing that adjustment too far also stops being beneficial because the beam then travels longer in air. The optimum sits between these competing effects, much like the brachistochrone problem’s balance between distance and speed.

Instead of using calculus to optimize the travel time, Mark Levi’s “springs” argument turns the optics problem into a mechanical equilibrium problem. The setup imagines a rod along the air–water interface with a ring that can slide left and right. Two springs connect the ring to point A (through air) and point B (through water). The geometry of the spring lengths acts like a candidate “path” for light: different ring positions correspond to different trajectories.

To make the mechanical model mimic Fermat’s Principle, the spring tensions are chosen so that the system’s potential energy matches the travel time that light would take along the corresponding path. That requires tensions to be inversely proportional to the speed of light in each medium. Real constant-tension springs don’t exist, but the key idea survives: the stable configuration of the mechanical system occurs when total energy is minimized, which mirrors the “fastest path” condition for light.

With the model in place, the equilibrium condition replaces calculus. At the stable position, the horizontal force component from the top spring must cancel the horizontal component from the bottom spring. Each spring’s horizontal component is the total force multiplied by the sine of the angle it makes with the vertical. Enforcing this balance produces the optical relationship known as Snell’s law: the quantity

sin(θ)/v

stays constant across the boundary, where v is the speed of light in the medium and θ is measured from the perpendicular to the interface. The bending of light thus emerges from a simple force-balance picture—no derivative required—while still reflecting the same time-minimization principle behind Fermat’s optics.

Cornell Notes

Snell’s law follows from Fermat’s Principle: light takes the path that minimizes travel time when its speed changes between media. A straight line between points in air and water is not generally fastest because light slows down in water, so reducing time spent in water can outweigh the added distance. Mark Levi’s springs construction converts the optimization into a mechanical equilibrium problem: a sliding ring on the interface connects to points A and B via springs whose effective tensions are chosen to reflect time in each medium. At equilibrium, horizontal force components cancel, and that force-balance condition yields Snell’s law, stating that sin(θ)/v is constant across the boundary. The approach avoids calculus by using geometry and stability instead.

Why isn’t the straight-line path between A (air) and B (water) always the fastest?

The straight line minimizes distance, but light travels slower in water than in air. A trajectory that spends too much of its length in water can increase total travel time even if it is geometrically shortest. The fastest path must balance shorter distance against the penalty of slower speed in water.

How does Fermat’s Principle determine the bending of light at a boundary?

Fermat’s Principle says light chooses the route between two points that yields the minimum travel time. When speed changes at the interface, the “best” path is no longer the shortest geometric line; instead, the beam shifts so that the time cost of traveling in the slower medium is balanced against the time saved by reducing that portion of the path.

What is the role of Mark Levi’s springs model in deriving Snell’s law?

The model imagines a rod at the interface with a ring that can slide left or right. Two springs connect the ring to A and B. Different ring positions correspond to different candidate trajectories for light. By choosing spring tensions so that the system’s potential energy matches the travel time along each candidate path, minimizing energy in the mechanical system mirrors minimizing light travel time.

Why does the derivation rely on force balance rather than calculus?

Once the springs are set up so that energy minimization corresponds to time minimization, the stable configuration occurs where net horizontal force is zero. The horizontal component of each spring’s force is the total force times sin(θ), where θ is the angle relative to the vertical. Setting the leftward component from the top spring equal to the rightward component from the bottom spring yields the Snell relationship.

What exactly does Snell’s law say in this formulation?

Snell’s law becomes sin(θ)/v = constant across the boundary. Here v is the speed of light in each medium, and θ is the angle the beam makes with the line perpendicular to the interface. The constant emerges from the equilibrium condition that balances horizontal force components.

Review Questions

In Fermat’s Principle terms, what two competing effects determine the optimal path when light enters a slower medium?
How does the springs setup translate “minimum travel time” into “minimum energy” and then into a force-balance condition?
What geometric quantity involving θ and v remains constant across the interface, and why does equilibrium enforce that constancy?

Key Points

1
Fermat’s Principle selects the path that minimizes total travel time, not the shortest distance.
2
Because light is slower in water than in air, the beam bends to reduce time spent in the slower medium.
3
Mark Levi’s springs model maps candidate light paths to ring positions on an interface.
4
Choosing spring tensions inversely proportional to the speed of light makes mechanical energy correspond to optical travel time.
5
The stable configuration occurs when horizontal force components cancel, replacing calculus-based optimization.
6
Snell’s law follows as sin(θ)/v being constant across the boundary, with θ measured from the perpendicular to the interface.

Highlights

Light bends because the fastest route is not the shortest one once speed changes across a boundary.

The springs construction turns an optics optimization problem into a mechanical equilibrium problem.

A horizontal force-balance condition directly yields Snell’s law: sin(θ)/v stays constant across media.

Topics

Snell's Law
Fermat's Principle
Optics
Variational Reasoning
Mechanical Analogy

Mentioned

Mark Levi
Steve Strogatz