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

اﺟد باسرها اغطم من زاوية ﺟاب وايضا تبيّن انها اعظم من زاوية ﺟﺏا انّا نخرج خط اﺟ الى نقطة ح ونقسم ضلع بﺟ بنصفين على نقطة ﮐ كما بيّن ببرهان يـ من ا ونخرج كل ونجعله مثل اﮐ ونخرج لﺟ فبمثل هذا البرهان المتقدّم وبذلك الاستشهاد يتبيّن ان زاوية بﺟح مساوية لزاوية اﺟد كما بيّن ببرهان يه من ا فزاوية اﺟد اذاً اعظم من زاوية ابﺟ وذلك ما اردنا ان نبيّن.

الشكل السابع عشر من المقالة الاولى

كل مثلث فان مجموع كل زاويتين من زواياه اصغر من زاويتين قائمتين مثاله مثلث ابﺟ فاقول ان مجموع زاويتى ابﺟ ﺏاﺟ اصغر من زاويتين قائمتين ومجموع زاويتى ابﺟ بﺟا اصغر من قائمتين ومجموع زاويتى ﺏاﺟ اﺟب اصغر من قائمتين برهانه انا نخرج خط بﺟ على استقامة الى نقطة د فبما بيّن ببرهان يو تكون زاوية اﺟد الخارجة اعظم من ابﺟ وناخذ زاوية اجب مشتركة فمجموع زاويتى اجد اجب اعظم من مجموع زاويتى اﺟب ابﺟ لكن بما بيّنّا من برهان يجـ من ا يكون مجموع زاويتى اﺟد اﺟب مساوياً لمجموع زاويتين قائمتين وبمثل هذا البرهان والاستشهاد يتبيّن ان مجموع زاويتى ﺏاﺟ اﺟﺏ اصغر من مجموع قائمتين واما انّ مجموع زاويتى اﺏﺟ ﺏاﺟ اصغر من مجموع زاويتين قائمتين فانّا نخرج خط اب الى علامة ه ونبيّن كما بيّنّا قبل وذلك ما اردنا ان نبيّن.