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

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

زيادة فى الشكل السادس والاربعين

لثابت بن قرّة الحرّانى الصّابئ قال ثابت بن قرّة كل مثلث قائم الزاوية فان المربع الكائن من الضلع الذى يوتّر الزاوية القائمة مثل مجموع المربّعين الكائنين من الضلعين اللذين يحيطان بالزاوية القائمة مثاله ان مثلث ابﺟ زاوية ﺏاﺟ منه قائمة فاقول ان المربع الكائن من ضلع بﺟ مساو لمجموع المربعين الكائنين من ضلعى اب اﺟ برهانه انا نعمل على خط اب مربع