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

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