Fermat's principle can be used to describe the properties of light rays reflected off mirrors, refracted through different media, or undergoing total internal reflection. It can be deduced from Huygens' principle, and can be used to derive Snell's law of refraction and the law of reflection.