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

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

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

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