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

اﺡط ﺡطد المتبادلتان مساويتين فخط اب مواز لخط ﺟد وذلك ما اردنا ان نبيّن.

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