باطل ؛ لأنه إما أن يوجد بين الامتدادين بعد لا يوجد فوقه بعد آخر ، أو لا يوجد. والأول يوجب انقطاهما ، وقد فرضناهما غير متناهيين ، هذا خلف. والثاني يقتضي أن لا تكون هناك زيادة إلا وهي حاصلة في بعد آخر ، فيصدق على كل زيادة أنها حاصلة في بعد ، ومتى صدق على كل واحدة أنها حاصلة في بعد ، صدق على المجموع أنه حصل في بعد ، فوجب أن يوجد بين الامتدادين بعد يشتمل على الزيادات الغير المتناهية مع كونه محصورا بين حاصرين ، وهو محال.
وأيضا يجب أن يكون هو آخر الأبعاد ، وإلا لو كان فوقه بعد آخر لم يكن مشتملا على زيادته مع أنا فرضناه مشتملا على كل الزيادات ، وإذا كان آخر الأبعاد وجب انقطاع الامتدادين ، وأن لا ينفذا بعد وجود هذا البعد الذي فرضناه آخر الأبعاد.
وهذا البرهان يشتمل على مقدمة واحدة مشكلة ، وهي أن كل زيادة لما كانت حاصلة في بعد وجب أن تكون جميع الزيادات حاصلة في بعد ، فإن ثبتت استمر البرهان ، وإلا سقط بالكلية (1).
ج (2)
** :
ومبدءاهما واحد ، ثم تقطع من أحدهما قطعة متناهية ، ثم يطبق الخط الأول مع الخط المقطوع ، بأن يجعل الأول من التام بإزاء الأول من الثاني بعد القطع ، والثاني من الأول بإزاء الثاني من الثاني وهكذا ، فإن استمر التطبيق بينهما إلى غير النهاية ، ولم ينقص أحدهما عن صاحبه كان الشيء مع غيره كهو لا مع غيره ، إذ كانا قبل القطع متساويين وبعده كذلك ، فيكون الخط المقطوع مساويا للتام حالتي قطعه وعدمه ، فيكون وجود القطعة المحذوفة وعدمها سواء ، إذ لم يظهر هناك تفاوت ،
पृष्ठ 360