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

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

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