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

ﺟح وذلك ببرهان لد فخطا طﺡ ﺟح مثل خطى ﺏز زط وزاوية ﺏزط مثل زاوية ﺡﺟط وذلك ببرهان د من ا فان قاعدة ﺏط مثل قاعدة طﺡ وزاوية ﺏطز مساوية لزاوية ﺟطﺡ وناخذ زاوية ﺡﻁز مشتركة فمجموع زاويتى ﺟطﺡ ﺡطز مثل مجموع زاويتى ﺏﻁز زطﺡ لكن مجموع زاويتى ﺟطﺡ زﻁح مثل مجموع زاويتين قائمتين فمجموع زاويتى ﺏطز زﻁح مثل مجموع زاويتين قائمتين فقد خرج من نقطة ط من خط زط خطان فى جهتين مختلفتين وهما خط[ـا] اط طب فصيّر الزاويتين اللتين عن جنبتيه معادلتين لزاويتين قائمتين فخط[ـا] اط ﻁب قد اتصلا على استقامة وصارا خطاً واحداً وذلك ما اردنا ان نبيّن. فاذ قد قدّمنا هذه المعانى فلننزل ان مثلث ابﺟ زاوية ا منه قائمة وقد عمل على بﺟ مربع ﺟد وعلى اب مربع ابﻩز وعلى اﺟ مربع اﺟﺡط واخرج من نقطة ا خط اﮐل موازياً لخط ﺏد ووصل خط هﺟ فقاطع خط ال على نقطة م ووصل خط ﺡم ثم وصلت نقطة م بنقطة ب فاقول ان خط ﻡب على استقامة خط ﺡم فليخرج خطا هﺏ حﺟ على الاستقامة حتى يلتقيا على نقطة س وتجاز على نقطة م خط عﻡف موازيا لخط ﺱه وخط صﻡق موازياً لخط زﺟ كما بيّن اخراجه ببرهان لا ويوصل خطا ﺱا ﻁز فخط ﻁا مثل خط اﺟ وخط زا مثل خط اب فخطا ﺏا اﺟ مثل خطى زا اط وزاوية ﺏاﺟ مثل زاوية زاط فقاعدة بﺟ مثل قاعدة طز وذلك ببرهان د وسائر الزوايا مثل سائر الزوايا فزاوية ابﺟ مثل زاوية ﻁزا لكن زاوية ابﺟ مثل زاوية ﺟاﮐ لان اﮐ عمود فى مثلث ابﺟ القائم الزاوية فزاوية ﻁزا مثل زاوية ﺟاﮐ وزاوية