Les théorèmes d'Alhacen, Khayyam et al-Tusi sur les quadrilatères, y compris le quadrilatère Ibn al-Haytham-Lambert et le quadrilatère Khayyam-Saccheri, ont été 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.