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

ان نبيّن.

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

ثم ننزل ايضا ان ضلعى اب اﺟ مجموعين اصغر من ضلع بﺟ ونفصل ﺏد مثل ﺏا وﺟه مثل اﺟ فببرهان ه تكون زاويتا ﺏد[ا] ﺏاد مساويتين وكذلك زاويتا ﺟﻩا ﺟاه متساويتان لكن زاوية ادب اعظم من زاوية داﺟ وزاوية داﺟ اعظم من زاوية ﺟاه فزاوية ادب اذن اعظم من زاوية ﺟاه