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

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

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

كل مثلث (ع) فان كلّ ضلعين من اضلاعه مجموعين كخط واحد (ط) اعظم من الضلع الثالث مثاله مثلث ابﺟ فاقول ان مجموع ضلعى اب ﺏﺟ كخط واحد اعظم من ضلع اﺟ وان مجموع ضلع (ضلعى .scr) اب اﺟ كخط واحد اعظم من ضلع بﺟ وان مجموع ضلعى اﺟ ﺟب كخط واحد اعظم من ضلع اب برهانه ان الاضلاع الثلثة ان كانت متساوية فظاهر ان ضلعين منها اذا جمعا كخط واحد اعظم من الضلع الثالث وان كانت مختلفة فلننزل ان احدهما اعظمها ونبيّن ان الباقيين اذا جمعا كخط واحد كان اعظم منه وليكن اعظمها ضلع بﺟ ونخرج خط اب على الاستقامة الى نقطة د ونفرض اد مثل اﺟ ونخرج خط ﺟد فلان مثلث اﺟد متساوى الساقيين ساق اﺟ مثل ساق اد فببرهان ه من ا تكون زاوية اﺟد مثل زاوية ادﺟ فاذا زدنا عليها زاوية اﺟب تكون زاوية بﺟد باسرها اعظم من زاوية ﺏدﺟ فمثلث بﺟد زاوية بﺟد [منه] اعظم