Alhazen's problem

The medieval mathematician Alhazen's work on catoptrics in Book V of the Book of Optics solved an important problem known as Alhazen's problem, though it was first formulated by Ptolemy in 150 AD.

Geometric formulation

The problem comprises drawing lines from two points in the plane of a circle meeting at a point on the circumference and making equal angles with the normal at that point. This is equivalent to finding the point on the edge of a circular billiard table at which a cue ball at a given point must be aimed in order to canon off the edge of the table and hit another ball at a second given point. Thus, its main application in optics is to solve the problem, "Given a light source and a spherical mirror, find the point on the mirror where the light will be reflected to the eye of an observer." This leads to an equation of the fourth degree.

Sums of powers

This eventually led Alhazen to derive a formula for the sum of fourth powers, where previously only the formulas for the sums of squares and cubes had been stated. His method can be readily generalized to find the formula for the sum of any integral powers, although he did not himself do this (perhaps because he only needed the fourth power to calculate the volume of the paraboloid he was interested in). He used his result on sums of integral powers to perform what would now be called an integration, where the formulas for the sums of integral squares and fourth powers allowed him to calculate the volume of a paraboloid.

Influence

Alhazen solved the problem using conic sections and a geometric proof, but later mathematicians such as Christiaan Huygens, James Gregory, Guillaume de l'Hôpital, Isaac Barrow, and many others, attempted to find an algebraic solution to the problem, using various methods, including analytic methods of geometry and derivation by complex numbers. An algebraic solution to the problem was finally found in 1997 by the Oxford mathematician Peter M. Neumann. Recently, Mitsubishi Electric Research Labs (MERL) researchers Amit Agrawal, Yuichi Taguchi and Srikumar Ramalingam solved the extension of Alhazen's problem to general rotationally symmetric quadric mirrors including hyperbolic, parabolic and elliptical mirrors . They showed that the mirror reflection point can be computed by solving an eighth degree equation in the most general case. If the camera (eye) is placed on the axis of the mirror, the degree of the equation reduces to six . Alhazen's problem can also be extended to multiple refractions from a spherical ball. Given a light source and a spherical ball of certain refractive index, the closest point on the spherical ball where the light is refracted to the eye of the observer can be obtained by solving a tenth degree equation.