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

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

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

كل مثلثين (ع) تساوى زاويتان من احدهما زاويتين من الاخر كل زاوية ونظيرتها ويساوى ضلع من احدهما نظيره من الاخر اىّ ضلع كان فانّ الضلعين الباقيين من احدهما يساويان (ط) الضلعين الباقيين من المثلث الاخر كل ضلع لنظيره والزاوية الباقية مثل (ط) الزاوية الباقية والمثلث (ط) مثل المثلث مثاله ان زاويتى ابﺟ اﺟب من مثلث ابﺟ مساويتان لزاويتى دﻩز دزه من مثلث دﻩز زاوية ابﺟ مساوية لزاوية دﻩز وزاوية اﺟب مساوية لزاوية دزه وننزل ان ضلع بﺟ اوّلا مثل ضلع ﻩز فاقول ان ضلعى ﺏا اﺟ الباقيين مثل ضلعى ﻩد دز الباقيين ضلع اب مثل ضلع ده وضلع اﺟ مثل ضلع دز وزاوية ﺏاﺟ مثل زاوية ﻩدز برهانه انه ان لم يكن ضلع ﺏا مثل ضلع ﻩد فليكن احدهما اعظم فلننزل ان ضلع اب اعظم ونفصل ﺏح مساويا لضلع ده كما بيّن ببرهان جـ من ا وضلع بﺟ فرض مثل صلع ﻩز فضلعا ﺟب بﺟ من مثلث