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

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