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

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

الشكل الخامس والاربعون من المقالة الاولى

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