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

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