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

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

ومثاله من الاعداد ان