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

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

الشكل الخامس والثلثون من المقالة الاولى

السطوح المتوازية الاضلاع اذا كانت على قاعدة واحدة وبين (ع) خطين متوازيين فهى [ط] متساوية مثاله ان سطحى اب ﺟد ﻩز ﺟد