Descubrió para occidente teoremas importantes en este campo, publicándolos en su "De lineis rectis" (1678), si bien este teorema había sido formulado ya en el siglo XI por Al-Mu'tamin, rey de la taifa de Zaragoza entre 1081 y 1085.