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

فمثلث دﻩز اعظم من مثلث ابﺟ فمثلث ابﺟ اصغر من. مثلث دﻩز وذلك ما اردنا ان نبيّن.

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

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

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

كل المثلثات المتساويات اذا كانت على قواعد متساوية من خطٍّ واحد مستقيم وبين خطين فان الخطين متوازيان مثاله ان مثلثى ابﺟ دﺟه متساويان وعلى قاعدتين متساويتين وهما بﺟ ﺟه من خط واحد وهو ﺏه وبين خطى اد ﺏه فاقول ان خط