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

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