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

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