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

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