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

خطوط تتقاطع على نقطة واحدة كخطوط بﺟ اد ﻩز تتقاطع على نقطة ح فيصيّر خط ﺟز مساوياً لخط زد فان خط اه يكون مثل خط ﻩب فلنوطّى لذلك انه متى كان خط اح اعظم من خط ﺡد فان خط بﺡ يكون اعظم من خط حﺟ وان كان مساوياً له كان مساوياً له وان كان اصغر منه كان اصغر منه فلننزل ان اح اعظم من ﺡد فاقول ان ﺏح اعظم من حﺟ فان لم يكن اعظم منه فانه مثله او اصغر منه فلننزل انه مثله ونخرج ﺡد الى م حتى يكون ﺡم مثل اح فضلعا اح ﺡب مثل ضلعى مﺡ حﺟ وزاوية اﺡب مساوية لزاوية ﺟﺡم وذلك ببرهان يه واما بحسب برهان د فانه قاعدة ﺟم مثل قاعدة اب وسائر الزوايا مثل سائر الزوايا فزاوية حﺟم مساوية لزاوية ابﺡ فببرهان كز فان خط اب مواز لخط ﺟم فيكون بحسب ل خط ﺟم موازياً لخط ﺟد وهما يتقاطعان هذا خلف فليس ﺏح مساوياً لخط حﺟ فلننزل انه اصغر منه ونفصل حﮐ مساوياً لخط ﺏح ونصل ﮐم فيتبيّن بمثل ذلك ان كم مواز لخط ﺏا وذلك خلف اذ كان خط ﺏا موازياً لخط دﺟ فليس اذن بﺡ باصغر من حﺟ فهو اذن اعظم منه وكذلك يتبيّن انه متى كان اح مثل ﺡد كان بﺡ مثل حﺟ ومتى كان اصغر منه كان اصغر منه فاذا قد وطِّى ذلك فلنبيّن الآن انّ ﺟز متى كان مثل زد فانّ اه يكون مثل ﻩب فلننزل اح اصغر من ﺡد فمن الييّن لما وطّأناه انّ بﺡ اصغر من ﺡﺟ فنفصل ﺡط مثل ﺡا وﺡﮐ مثل ﺡب ونصل طﻝﮐ فخطا اح ﺡب مثل خطى ﮐﺡ ﺡط وزاوية اﺡب مساوية لزاوية طحﮐ وقاعدة اب مساوية لقاعدة كط