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

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

وخبر هذا الشكل يجوز ان يقال كل مثلث تكون الزاويتان اللتان فوق القاعدة منه متساويتين فانه متساوى الساقين ويجوز ان يقال ايضا اذا تساوت زاويتان من مثلث فان الضلعين اللذين يوترانهما متساويان. وفى الشكل ممّا هو مضاف اليه.

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