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

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

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