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

الشكل الثالث من المقالة الاولى

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

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

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