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

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