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

الشكل الاول من المقالة الثانية

كل خطين مستقيمين يقسم احدهما باقسام كم كانت فان السطح الذى يحيط به الخطان مساو لجماعة السطوح التى يحيط بها الخط الذى لم يقسم وكل واحد من اقسام الخط الاخر المقسوم مثاله ان خطى ا بجـ مفروضان وقد قسم خط بجـ على نقطتى د ه فاقول ان السطح الذى يحيط به خطا ا بجـ مساو لجماعة السطوح التى يحيط بها خط ا واقسام بد ده هجـ برهانه انا نقيم على نقطة ب عمود بز وليكن مساوياً لخط ا كما بيّنّا عمله ببرهان الشكل المضاف الى يا من ا ونجيز على نقطة ز خط زح موازياً لخط بجـ ومساوياً له كما بيّن ببرهان لا من ا وبمثل هذا البرهان نخرج خطوط دط هڪ جـح موازية لخط بز فمن البيّن ان سطح جزء يحيط به خطا بجـ بز لكن بز مثل ا فسطح جز يحيط [به] جطا ا بجـ وهو مساو لجماعة السطوح الثلثة جـڪ هط دز المتوازية الاضلاع لكن سطح جـڪ يحيط به خطا جه هڪ وسطح هط يحيط به خطا هد دط وسطح دز يحيط به خطا دب بز وكل واحد من خطوط جـح هڪ دط بز مساو لخط ا فجماعة سطوح جـڪ هط دز يحيط بها خط ا واقسام بد ده هجـ وجماعتها مساوية لسطح جز وسطح جز يحيط به كما بيّنّا خطا ا بجـ فقد نبيّن ان السطح الذى يحيط به خطا ا بجـ مساو لجماعة السطوح التى يحيط بها خط ا وكـل واحد من اقسام بد ده هجـ وذلك ما اردنا ان نبيّن

ومثال هذا