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

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