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

الذى هو قائم عليه فخط ﺟح عمود على خط اب فقد اخرجنا من نقطة ﺟ المعلومة الى خط اب الذى ليس بمعلوم القدر خط ﺟح عموداً ا عليه وذلك ما اردنا ان نبيّن.

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

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