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

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