(IX в.) Среднеазиатский математик. Ученик ал-Хорезми. Уроженец Фараба. Одним из первых среди арабоязычных ученых пытался доказать постулат параллельных Евклида. В трактате «Совершенствование книги «Начала» исходил из неявно предполагаемого допущения, равносильного доказываемому постулату. Доказал в качестве теоремы утверждение о том, что через любую точку внутри любого данного угла можно провести прямую, пересекающую обе его стороны.