Fermat's principle (stationary optical path)

Light paths extremize optical path length ∫n ds; derives Snell's law, reflection, curved-mirror focus; geometric optics limit.