Les théorèmes d'Alhacen, Khayyam et al-Tusi sur les quadrilatères, incluant le quadrilatère Ibn al-Haytham â '' Lambert et le quadrilatère Khayyamâ '' Saccheri, sont les premiers théorèmes de la géométrie hyperbolique.
Les théorèmes d'Alhacen, Khayyam sur les quadrilatères, ont été les premiers théorèmes sur la géométrie hyperbolique.