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

اد دب قد تبيّن انه ضعف المربعين الكائنين من خطى اجـ جـد وذلك ما اردنا ان نبيّن.

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

فانا نبتدى من حيث انتهى بنا الحل فنقول فلان مجموع المربعين الكائنين من خطى دجـ جب مثل ضعف السطح الذى يحيط به