تبسيط العبارات وحل المعادلات

عوّض الجواب في المسألة الأصلية وقارن الطرفين. ثم اسأل: هل يكفي اختبار قيمة واحدة لإثبات قاعدة عامة؟ اقرأ كيف يفرّق السجل بين الحساب والتحقق والتعليل.

اقرأ برهان الخوارزمي قراءة متأنية. يقول إن الأجذار لا تُنصّف في الضروب الثلاثة الأولى، وإنه جعل لكل باب من الأبواب الثلاثة الباقية «صورة يستدل منها على العلة» ². ففي مسألة المال والعشرة الأجذار يرسم المال سطحاً مربعاً مجهول الضلع، ويقسم العشرة الأجذار أربعة سطوح يضعها على أضلاعه، ثم يكمل الزوايا الأربع بمربعات صغيرة مجموعها خمسة وعشرون، فيصير السطح الأعظم أربعة وستين وضلعه ثمانية ³. وكما يعرض سجل جبره، تصف سيرة TDV الرسم بالمربعات والمستطيلات بأنه تمثيل هندسي للحل التحليلي والتحقق منه؛ وهذا يميز خطوة العثور على العدد عن خطوة إظهار العلاقة التي تجعل الحساب صحيحاً ⁴. ويختم نظرية الضروب الستة بقاعدة أن كل مسألة لا بد أن تخرجك إلى أحدها ⁵.

غرض الخوارزمي المعلن من الصور أنها تُظهر العلة ². وفي كتابه مسائل لا تستقيم لها صورة لأنها من ثلاثة أجناس مختلفة، فيبيّن اضطرارها باللفظ ⁶. أما الكرجي فلا تحفظ السجلات له غرضاً معلناً؛ وهي تُظهر أن كتابه «الفخري» احتفظ ببراهين هندسية ⁷.

هل حرّر حساب الكرجي للمقادير الجبر من الهندسة؟ تبرز قراءة فوبكه ورشدي راشد، كما تنقلها ماكتوتر، جعل العمليات الجبرية أقل اعتماداً على تمثيلها بالأشكال، وترى في ذلك اتجاهاً مهماً نحو استقلال الحساب الجبري ⁸. أما القراءة التي ينقلها العرض عن كروسلي فتشدد على الأمثلة العددية وحدود البرهان وبقاء نظريات إقليدس في حل المعادلات ⁸. وتؤيد TDV بقاء البرهان الهندسي في «الفخري» ⁷. والسجل يعرض هذه القراءات ولا يحسمها.

ما نقرؤه للخوارزمي هو طبعة القاهرة، ومحققاها يكتبان الضروب الستة بالرموز الحديثة، ويشرحان أن بحثه مقصور على الأعداد الموجبة ^9 10. وأما الكرجي فالشاهد نصي: تعرض TDV «الفخري» و«البديع» وغيرهما، وتذكر ما نشر ودرس من هذه المؤلفات ⁷. وتكشف مقدمة فوبكه عن مخطوط متضرر وإصلاحات في المادة التي اعتمدها، فتذكرنا بأن الطبعة تمر بوساطة المحقق ¹¹. وسجل حساب الكرجي يقول إن الأعداد والرموز التي يشرح بها من وضع المتحف، لا مثال ننسب ألفاظه أو أرقامه إلى الكتاب ⁸.

يقول السجل إن التعويض قد يكشف خطأً حسابياً، لكن اتفاق الطرفين عند قيمة واحدة لا يبرهن على صحة القاعدة لكل قيمة ⁸. خذ موقفاً وأجب عن أقوى اعتراض عليه: هل يبرّر رسمٌ كمربعات الخوارزمي قاعدةً أفضل مما يبرّرها فحص بعدد واحد؟

• الضروب الستة للمعادلات: الصورة لكل ضرب مقترن، والمسائل الست النموذجية.
• حساب الكرجي للمقادير المركبة: عمليات على المقادير وحدودها وآراء المؤرخين.
• الكرجي: مؤلفاته واسمه وما لا يُعرف عنه.
• كتاب الجبر والمقابلة: الأبواب، ورموز المحققين الحديثة.