أن هذا الانطباق فيهما بالقوة. أما (١) المثلث فهو بحيث يمكن أن يقطع (٢) قطوعا يرد (٣) إلى نظام يكون منه مربع ، فحينئذ يمكن أن يركب (٤) ذلك المثلث على ذلك المربع ، فينطبق عليه فيساويه (٥) بالفعل ، أو يفضل عليه فيزيد (٦) عليه (٧) بالفعل ، وقبل ذلك لم يكن (٨) مساويا ولا زائدا بالحقيقة بالفعل (٩) الصريح. فمن هذا القبيل يقال : إن المثلث مساو للمربع ، وكذلك المستدير ، لو أمكن أن يعمل به ما يغيره إلى الاستقامة لكان (١٠) يكون بحيث يزيد على المستقيم ، أو ينقص عنه ، أو يساويه بالانطباق عليه. فما دام مستديرا فليس يمكن أن يعمل به هذا الانطباق ، بالفعل اللهم إلا (١١) بالقوة إن أمكن ذلك. والشيء إذا لم يكن منطبقا على غيره ، ونهاياته على نهاياته ، لم يكن مساويا له بالفعل ، وإذا لم يكن فيه ما يساويه على الوجه الذي قيل ، وزيادة (١٢) على ما يساويه ، لم يكن زائدا عليه بالفعل ، ولا الآخر ناقصا عنه بالفعل.
وما سلف بيانه لك يحكم أن المستقيم ليس فى قوته أن يتغير إلى أن ينطبق على المستدير وهو موجود بعينه ، فليس (١٣) حكمه فى هذا إذا رجعت إلى التحقيق حكم المثلث والمربع. فإن (١٤) قال قائل : إنا (١٥) نعلم يقينا أن القوس أعظم من الوتر ، والوتر أصغر منه (١٦) ، فإذا وجد تفاوت فى الصغر والكبر ، فبالحرى أن يكون هناك مساواة. وقد أجاب عن هذا بعض المحصلين (١٧) فقال (١٨) : قد (١٩) يكون بين شيئين تناسب الزيادة والنقصان ، مع استحالة أن يقع بينهما مناسبة المساواة ، فإنا نعلم يقينا أن (٢٠) زاوية مستقيمة الخطين حادة ، هى أعظم من زاوية حادة عن قوس ومستقيم (٢١) ، وأصغر من أخرى ، ويستحيل أن تكون من قبيل مستقيمة الخطين (٢٢) زاوية مستقيمة لشيء من قبيل الأخرى. وإنما قلنا إن الحادة المستقيمة الخطين أعظم من زاوية منهما ، لأن الزاوية (٢٣) القوسية توجد بالفعل فى تلك (٢٤) وزيادة أخرى.
وانما كانت الأخرى أعظم من مستقيمة الخطين ، لان مستقيمة الخطين (٢٥) توجد بالفعل (٢٦) فيها وزيادة. فهذا جواب ، ومع ذلك فكيف نسلم أن القوس أعظم بالفعل من الوتر ، وليس يمكن أن يوجد (٢٧) فى القوس ما ينطبق عليه المستقيم
__________________
(١) أما : وأما د (٢) يقطع : ينقطع م
(٣) يرد : يؤدى ط. (٤) يركب : يتركب ط
(٥) فيساويه : أو يساويه ب ، د (٦) فيزيد : ويزيد د ؛ فزيد ط
(٧) عليه : ساقطة من م.
(٨) يكن : + ذلك ط (٩) بالفعل : وبالفعل ط.
(١٠) لكان : + أن ط. (١١) إلا : + أن ط.
(١٢) وزيادة : وزيادته د ؛ ساقطة من سا.
(١٣) فليس : وليس ط (١٤) فإن : وإن سا
(١٥) إنا : فإنا ب ، د. (١٦) منه : ساقطة من ب ، د.
(١٧) المحصلين : المخلصين م
(١٨) فقال : وقال سا (١٩) قد : فقد ط.
(٢٠) أن : ساقطة من م (٢١) ومستقيم : مستقيم د ، م.
(٢٢) حادة .... الخطين : ساقطة من سا.
(٢٣) الزاوية : ساقطة من د ، م (٢٤) فى تلك : ساقطة من ب.
(٢٥) لأن مستقيمة الخطين : ساقطة من م
(٢٦) بالفعل : ساقطة من ب ، د. (٢٧) يوجد : يكون د.