File:Fermat derivation Snell.svg

Derivation of Snell's law according to Fermat's principle of least time.