Fermat's principle

For other theorems named after Pierre de Fermat, see Fermat's theorem.

Fig. 1: Fermat's principle in the case of refraction of light at a flat surface between (say) air and water. Given an object-point A in the air, and an observation point B in the water, the refraction point P is that which minimizes the time taken by the light to travel the path APB. If we seek the required value of x, we find that the angles α and β satisfy Snell's law.

Fermat's principle, also known as the principle of least time, is the link between ray optics and wave optics. Fermat's principle states that the path taken by a ray between two given points is the path that can be traveled in the least time.

First proposed by the French mathematician Pierre de Fermat in 1662, as a means of explaining the ordinary law of refraction of light (Fig. 1), Fermat's principle was initially controversial because it seemed to ascribe knowledge and intent to nature. Not until the 19th century was it understood that nature's ability to test alternative paths is merely a fundamental property of waves.[1] If points A and B are given, a wavefront expanding from A sweeps all possible ray paths radiating from A, whether they pass through B or not. If the wavefront reaches point B, it sweeps not only the ray path(s) from A to B, but also an infinitude of nearby paths with the same endpoints. Fermat's principle describes any ray that happens to reach point B; there is no implication that the ray "knew" the quickest path or "intended" to take that path.

Fig. 2: Two points P and P′ on a path from A to B. For the purposes of Fermat's principle, the propagation time from P to P′ is taken as for a point-source at P, not (e.g.) for an arbitrary wavefront W passing through P. The surface Σ  (with unit normal n̂ at P′) is the locus of points that a disturbance at P can reach in the same time that it takes to reach P′; in other words, Σ is the secondary wavefront with radius PP′. (The medium is not assumed to be homogeneous or isotropic.)

In its original "strong" form,[2] Fermat's principle states that the path taken by a ray between two given points is the path that can be traveled in the least time. In order to be true in all cases, this statement must be weakened by replacing the "least" time with a time that is "stationary" with respect to variations of the path – so that a deviation in the path causes, at most, a second-order change in the traversal time. To put it loosely, a ray path is surrounded by close paths that can be traversed in very close times. It can be shown that this technical definition corresponds to more intuitive notions of a ray, such as a line of sight or the path of a narrow beam.

For the purpose of comparing traversal times, the time from one point to the next nominated point is taken as if the first point were a point-source.[3] Without this condition, the traversal time would be ambiguous; for example, if the propagation time from P to P′ were reckoned from an arbitrary wavefront W containing P  (Fig. 2), that time could be made arbitrarily small by suitably angling the wavefront.

Treating a point on the path as a source is the minimum requirement of Huygens' principle, and is part of the explanation of Fermat's principle. But it can also be shown that the geometric construction by which Huygens tried to apply his own principle (as distinct from the principle itself) is simply an invocation of Fermat's principle.[4] Hence all the conclusions that Huygens drew from that construction – including, without limitation, the laws of rectilinear propagation of light, ordinary reflection, ordinary refraction, and the extraordinary refraction of "Iceland crystal" (calcite) – are also consequences of Fermat's principle.

  1. ^ Cf.  Young, 1809, p. 342; Fresnel, 1827, tr. Hobson, pp. 294–6, 310–11; De Witte, 1959, p. 293n.
  2. ^ Cf. Born & Wolf, 2002, p. 876.
  3. ^ De Witte (1959) invokes the point-source condition at the outset (p. 294, col. 1).
  4. ^ De Witte (1959) gives a proof based on calculus of variations. The present article offers a simpler explanation.