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

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