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

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

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

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