Baca Juz 4, halaman 396

ونقل عن حكماء الهند، وجمع من المتقدمين، وأبي البركات (١) من المتأخرين خلافه.

لنا -على التناهى- أن لو أخرجنا خطين من نقطة مثل السلم، ويمشيان على الانفراج، والانفتاح هكذا إلى غير النهاية، لزم أن يكون غير المتناهي محصورًا بين الحاصرين، وهو محال.

ولنا -أيضًا- لو وجد بعد غير متناه نفرض نقصان ذراع منه، ثم نطبقه على بعد تام غير ناقص، فإما أن يقع بإزاء كل ذراع من الناقص ذراع من التام وهو باطل، وذلك لاستلزامه تساوي الناقص، والتام، أو ينقطع الناقص عن التام، ويزيده التام بذلك الذراع، والزائد على المتناهي بمقدار متناه، متناه لا محالة.

قوله: "والمعلول".