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

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

الشكل السادس من المقالة الاولى

اذا تساوت (ع) زاويتان من مثلّث فهو متساوى (ط) الساقين مثاله ان زاويتى ابﺟ اﺟب من مثلث ابﺟ متساويتان فاقول ان ساق اب مثل ساق اﺟ برهانه ان امكن ان تكون الزاويتان متساويتين