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

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