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

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

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

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