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

نريد ان نعلمه او نعمله او نجده فإن كان فى ذلك المعنى شى نعطاه وشى يطلب منّا كالحال فى الشكل الاوّل فانا اعطينا فيه خطاً مستقيماً وطلب منّا ان نعمل عليه مثلثا متساوى الاضلاع فانه يحتاج ان يذكر فى المقدّمة المعطى والمطلوب جميعاً وامّا المثال فهو الذى يوقع المعطى فى المقدّمة تحت البصر وامّا التفصيل فهو الذى يفصل المطلوب فى المقدّمة الموضوع فى المثال من جنسه المشترك ويطلب ان يعمل ويبرهن وامّا العمل فهو الذى يرسم الاشيا التى نحتاج اليها فى البرهان بخطوط ويعمل الاشياء التى امرنا ان نعملها وذلك مثل ما فى الشكل الاول من اخراج اضلاع المثلث المتساوى الاضلاع ورسم الدوائر التى تكون بها صنعة المثلث والبرهـ[ـان عـ]ـليه فهذه الاشياء المقدّمة التى قدِّمت لتنتج لنا المطلوب وامّا البرهان فهو الذى يجمع المطلو[ب والا]ـشياء قد تقدّم الاقرار بها فربّما كان من معانى اوليّة فى العقل واقدم الطبع وعند ذلك سمى بر[هان]..... مثل برهان الشكل الاول فان الدوائر المتساوية الخطوط التى تخرج من مراكزها الى محيطاتها متساوية وبهذا القول يتبيّن المطلوب فيه والدائرة اقدم من المثلث وربّما كان البرهان من استدلال مثل ان نبين ان زوايا المثلث الثلث مساوية لزاويتين قائمتين اذ كان هذا المعنى انما يتبيّن من ان كل مربع ينقسم الى مثلثين فانّ المربع هو بعد المثلث بالطبع وامّا النتيجة فهو الذى يفيد المقدمة مثل ان تقول فقد نبيّن ان كل مثلث فان زواياه الثلث معادلات لزاويتين قائمتين فنذكرها بثقةَ اذ قد تبرهنت ولذلك لا نزيد فيها شياً