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

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

الشكل السابع من المقالة الاولى

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