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

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

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

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