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

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