al-Nayrīzī: Šarḥ kitāb al-Uṣūl li-Ūqlīdis (pt. 1) (Commentary on Euclid's Elements)

عليه اب فاقول ان الخط الذى يخرج متصلاً به على استقامة هو معه خط واحد برهان ذلك انه ان لم يكن الخط الذى يخرج متصلاً بخط اب على استقامته معه خطاً واحداً فانا نخرج خط ابﺟ وخط اﺏد مستقيم وندير على مركز ب وببعد ﺏا دائرة اجد فان كل واحد من خطى ابﺟ اﺏد خطا مستقيما فان كل واحد منهما قطر لانه يجوز على مركز الدائرة فكل واحد منهما يقسم الدائرة بنصفين فقوس اﺟد مساوية لقوس اﺟ العظمى للصغرى هذا خلف لا يمكن فاذا الخط الذى يخرج على استقامة خط اب متصلا به هو معه خط واحد

وعلى ان نخط دائرة على كل مركز وبكل بعد

يريد بالبعد الذى يدار عليه الدائرة البعد المتناهى فى الجهتين جميعاً فظاهر انه ان كان يمكن ان يخرج من كل نقطة الى كل نقطة خط مستقيم والدائرة تكون اذا ثبتت احدى نقطتى الخط المستقيم وهى مركز الدائرة واديرت النقطة الاخرى حتى يحدث المحيط فانه ممكن ان يدار على مركز وبكل بعد دائرة.

وعلى ان الزوايا القائمة كلها متساوية

من استعمل فى هذا القول البحث المنطقى ظهر له صحّته ظهوراً بيّنا وذلك انه ان كانت الزاوية القائمة هى التى تحدث عن الخط القائم قياماً لا ميل فيه بتةً والقيام الذى لا ميل فيه بتةً لا يحتمل الزيادة. ولا النقصان لكنه ابداً على حال واحدة فان الزوايا القائمة هى ابداً متساوية وقد يبيّنون ذلك ايضاً بالخطوط الهندسية بهذا العمل. اقول انه لا يمكن ان تكون