Fermat's principle in the context of "Ibn al-Haytham"

Pierre de Fermat (/fɜːrˈmɑː/; French: [pjɛʁ də fɛʁma]; 17 August 1601 – 12 January 1665) was a French magistrate, polymath, and above all mathematician who is given credit for early developments that led to infinitesimal calculus, including his technique of adequality. In particular, he is recognized for his discovery of an original method of finding the greatest and the smallest ordinates of curved lines, which is analogous to that of differential calculus, then unknown, and his research into number theory. He made notable contributions to analytic geometry, probability, and optics. He is best known for his Fermat's principle for light propagation and his Fermat's Last Theorem in number theory, which he described in a note at the margin of a copy of Diophantus' Arithmetica. He was also a lawyer at the parlement of Toulouse, France, a poet, a skilled Latinist, and a Hellenist.

Ibn al-Haytham, Latinized as Alhazen (c. 965 – c. 1040) was a mathematician, astronomer, and physicist of the Islamic Golden Age from present-day Iraq. Referred to as "the father of modern optics", he made significant contributions to the principles of optics and visual perception in particular. His most influential work is titled Kitāb al-Manāẓir (Arabic: كتاب المناظر, "Book of Optics"), written during 1011–1021, which survived in a Latin edition. The works of Alhazen were frequently cited during the scientific revolution by Isaac Newton, Johannes Kepler, Christiaan Huygens, and Galileo Galilei.

Ibn al-Haytham was the first to correctly explain vision as intromissive rather than extramissive, and to argue that vision occurs in the brain, pointing to observations that it is subjective and affected by personal experience. He also stated the principle of least time for refraction which would later become Fermat's principle. He made major contributions to catoptrics and dioptrics by studying reflection, refraction and nature of images formed by light rays. Ibn al-Haytham was an early proponent of the concept that a hypothesis must be supported by experiments based on confirmable procedures or mathematical reasoning – an early pioneer in the scientific method five centuries before Renaissance scientists, he is sometimes described as the world's "first true scientist". He was also a polymath, writing on philosophy, theology and medicine.

The calculus of variations (or variational calculus) is a field of mathematical analysis that uses variations, which are small changes in functionsand functionals, to find maxima and minima of functionals: mappings from a set of functions to the real numbers. Functionals are often expressed as definite integrals involving functions and their derivatives. Functions that maximize or minimize functionals may be found using the Euler–Lagrange equation of the calculus of variations.

A simple example of such a problem is to find the curve of shortest length connecting two points. If there are no constraints, the solution is a straight line between the points. However, if the curve is constrained to lie on a surface in space, then the solution is less obvious, and possibly many solutions may exist. Such solutions are known as geodesics. A related problem is posed by Fermat's principle: light follows the path of shortest optical length connecting two points, which depends upon the material of the medium. One corresponding concept in mechanics is the principle of least/stationary action.