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

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

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

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

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