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

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