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

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