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

العظمى يوتّرها الضلع الاعظم وذلك بحسب برهان يط من ا يكون خط هد اعظم من خط هط لكن خط هد مساو لخط هڪ لانّهما خرجا من المركز الى المحيط فخط هڪ اذن اعظم من خط هط الاصغر اعظم من الاعظم هذا خلف فقد ظهر انه لا يقع بين خط دز وبين قوس دا خط اخر مستقيم وايضا فاقول ان زاوية ڪدز الخارجة اصغر من كل زاوية حادّة وان زاوية هدڪ الداخلة اعظم من كل زاوية حادّة برهانه ان لو كانت زاوية [ڪ]دز الخارجة مثل زاوية حادّة او اعظم من حادّة لكان يقع بين قوس اڪد وبين خط دز خط اخر مستقيم فمن اجل ما قد تبيّن انه لا يمكن ان يقع بينهما خط اخر مستقيم صارت اصغر من كل زاوية حادّة وصارت زاوية نصف الدائرة التى تحيط بها قوس جـاد وقطر جـهد اعظم من كل زاوية حادّة

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

اراد الرياضى ان الزاوية التى تحيط بها قوس جـاد وعمود دز اصغر من كل زاوية حادّة لانها غير منقسمة فلو كانت منقسمةً لوقع بين قوس جـاد وبين خط دز خط اخر مستقيم اذ كان قسمة الزوايا انما تكون بالخطوط المستقيمة التى تفصلها فلمّا لم تنفصل زاوية ڪدز لم تكن بزاوية حادّة لانّ الزوايا الحادّة كلها تنقسم فسمّاها باسم اضطرّه الامر اليه