For centuries, geometers tried to prove the parallel postulate. They failed, but their efforts gave birth to hyperbolic geometry. The theorems of Alhacen, Khayyam on quadrilaterals, were the first theorems on hyperbolic geometry. Their works on hyperbolic geometry had an influence on its development among later European geometers, including Witelo, Alfonso and John Wallis.