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

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