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

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