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

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

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

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

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