قال مسلمة بعد تمام الشكل الثالث لو B قصد بطلميوس إلى البرهان بالخلف لكان أقرب إلى الفهم وذلك أنه حيث قال إنا (¬4) نصل خط @NUM@ هح ونخرجه على استقامة حتى يقطع دائرة الأفق على نقطة @NUM@ ط لو قال فإن لم يمر بنقطة @NUM@ ط فليمر بنقطة أخرى إما دونها وإما فوقها فليمر أولا بنقطة @NUM@ م وننفذه إلى دائرة فلك البروج حتى يقاطعها على نقطة @NUM@ ز فيكون ضرب @NUM@ حه في @NUM@ هم كضرب @NUM@ اه في @NUM@ هج وضرب @NUM@ اه في @NUM@ هج كضرب @NUM@ به في @NUM@ هد فضرب @NUM@ به في @NUM@ هد إذا كضرب @NUM@ حه في @NUM@ هم وضرب @NUM@ به في @NUM@ هد كضرب @NUM@ حه في @NUM@ هز فيجب إذا أن يكون ضرب @NUM@ حه في @NUM@ هم كضرب @NUM@ حه في @NUM@ هز فهو إذا مساو ل @NUM@ هز هذا خلف لا يمكن وكذلك لا يمكن أن يخرج على استقامة فوق نقطة @NUM@ ط .

صفحة ٧٠