He formulated the Lambert quadrilateral, which Boris Abramovich Rozenfeld names the " Ibn al-Haytham Lambert quadrilateral ", and his attempted proof contains elements similar to those found in Lambert quadrilaterals and Playfair's axiom.
12.
He formulated the Lambert quadrilateral, which Boris Abramovich Rozenfeld names the " Ibn al-Haytham Lambert quadrilateral ", and his attempted proof contains elements similar to those found in Lambert quadrilaterals and Playfair's axiom.
13.
The theorems of Ibn al-Haytham, Khayyam and al-Tusi on quadrilaterals, including the Lambert quadrilateral and Saccheri quadrilateral, were " the first few theorems of the elliptic geometries . " These theorems along with their alternative postulates, such as Playfair's axiom, played an important role in the later development of non-Euclidean geometry.
14.
The theorems of Ibn al-Haytham ( Alhazen ), Omar Khayyam and Nasir al-Din al-Tusi on quadrilaterals, including the Lambert quadrilateral and Saccheri quadrilateral, were early results in hyperbolic geometry, and along with their alternative postulates, such as Playfair's axiom, these works had a considerable influence on the development of non-Euclidean geometry among later European geometers, including Witelo ( c . 1230 c . 1314 ), Gersonides ( 1288 1344 ), Alfonso, John Wallis, and Giovanni Girolamo Saccheri.
