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

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

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

اذا وقع خط (ع) مستقيم على خطين مستقيمين فصيّر الزاويتين المتبادلتين متساويتين فان الخطين (ط) متوازيان مثاله ان خط ﻩز وقع على خطى اب ﺟد فصيّر زاويتى احﻁ حﻁد المتبادلتين متساويتين فاقول ان خطى اب ﺟد متوازيان برهانه انهما ان لم يكونا متوازيين فانهما اذا اخرجا فى احدى الجهتين التقيا فنخرجهما فى جهة ﺏد فيلتقيان على نقطة ﮐ ان امكن ذلك فتصير