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

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

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

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