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

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

ان قيل لنا لم قام البرهان على الزاويتين اللتين تحت القاعدة ولم نجده استعملهما فى كتابه قلنا انه علم ما يتشكّك فى الشكل السابع وفى الشكل التاسع فقدّم بيان ذلك ليحل به الشكّ كما سنبيّن