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

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