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

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

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

الشكل الثامن من المقالة الاولى

كل مثلثين (ع) تساوى ضلعان من احدهما ضلعين من الاخر كل