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

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