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

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

فلننزل ان مثلثى ابﺟ دﻩز ضلع اب مثل ضلع ده وضلع اﺟ مثل ضلع دز وضلع بﺟ الباقى اعظم من ضلع ﻩز الباقى فاقول ان زاوية ﺏاﺟ اعظم من زاوية ﻩدز برهانه انا نخرج خط ﻩز الى ح على الاستقامة ونجعل هﺡ مثل بﺟ ونخرج خط ﻩد على الاستقامة الى نقطة ط ونجعل دط مثل اﺟ ونجعل نقطة د مركزاً ونخط ببعد دط قوس ﻁكز لان ﻁد مثل دز فلان ضلعى اب واﺟ كخطٍّ واحد اعظم من ضلع بﺟ كالذى نبيّن من برهان كـ من ا وضلع بﺟ مساو لضلع هﺡ ومجموع ضلعى اب اﺟ كخط واحد هو خط ﻩط فخط ﻩط اذن اعظم من خط هﺡ ونجعل نقطة ه مرﮐاً ونخط ببعد هﺡ (فـ)ـقوس