تحليل شرف الدين لشروط الجذور الموجبة للمكعبات

قبل أن تبحث عن عدد يحل مسألة، يمكن أن تسأل: هل يسمح شكل المسألة بوجود جواب موجب أصلاً؟ هذا السؤال في قلب إسهام شرف الدين الطوسي الذي تعرضه السير في دراسة المعادلات التكعيبية. فبعض الأصناف يقبل حلاً موجباً دائماً ضمن شروطه، وبعضها يتوقف على مقادير المعاملات. لا تكفي محاولة حسابية واحدة فاشلة لإثبات الاستحالة، ولا يضمن اسم «معادلة» أن الحل المطلوب موجود ¹.

نسجل هنا ذلك التحليل المشروط، لا اختراع الجبر كله ولا إعادة تسمية إنشاءات الخيام الهندسية. وتساعد قيمة عظمى في تمييز إمكان الحل في مثال واضح. شرحنا بالرموز الحديثة مستقل في حسابه، لكنه ليس صورة مخطوط أو نقل برهان المؤلف حرفياً. كما تبقى مناقشة المؤرخين لعلاقة الطريقة بالمشتقة الحديثة منسوبة إليهم، لا حكماً بأن حساب التفاضل الحديث كله كان موجوداً ^{2 3}.

الإسهام طريقة في تحليل أصناف من المعادلات، لا آلة خشبية أو جدول أعداد معزولاً. تذكر السير اثني عشر صنفاً من الدرجة الثانية وما دونها، وثمانية أصناف مكعبة ذات حل موجب، وخمسة أصناف مكعبة قد يمتنع حلها الموجب. تقسيم المعاملات الموجبة والجذور الموجبة جزء من اصطلاح المعالجة؛ لا نقرأ القائمة بوصفها تصنيفاً لكل الأعداد المركبة بالمصطلحات المعاصرة ^{1 4}.

المثال الذي تشرحه ماكتيتور هو x³+a=bx حيث a وb موجبان. بإعادة ترتيب حديثة يصبح a=bx−x³؛ السؤال الآن هل يبلغ الطرف الأيمن القيمة المطلوبة عند x موجب؟ هذا التحويل يجعل حد الإمكان قابلاً للفهم قبل البحث العددي. الرموز والحروف هنا أدوات عرض حديثة؛ تذكر السيرة أن المؤلف عبّر عن رياضياته بالكلمات، لا بهذه الكتابة الجبرية المطبوعة ¹.

كان حل المكعبات هندسياً موضوعاً سابقاً، وتضع مقالة أوزل عمل شرف الدين بعد الخيام ومعالجته بالقطوع المخروطية. لا يعني ذلك أن كليهما فعل الشيء نفسه أو أن أحدهما اخترع المنحنيات. توضح المقالة اهتمام شرف الدين بفحص الحل وتعيينه عددياً مع بقاء دور البرهان الهندسي. لذلك تقوم بطاقة مستقلة على سؤال الشروط والتحليل، لا على تكرار كل صورة تقاطع سبق عرضها ².

كما تذكر ماكتيتور سوابق لطرق تقريب جذور الأعداد لدى رياضيين بالعربية، قبل توسيع المقارنة إلى معادلات أعم. لا نستخرج من التشابه اسم مخترع وحيد لكل تقريب أو سلسلة انتقال مباشرة إلى هورنر. وجود سابق حسابي يفسر ما يمكن تطويره، بينما يظل مقدار التطوير ونطاق التطبيق سؤالين يحددهما المرجع لا الشعارات العامة ⁵.

وصل العمل المعروف هنا باسم المعادلات في صيغة مختصرة بيد مؤلف مجهول بحسب السير. وتقول إن جداول الحساب والتقريب حذفت من الاختصار. هذا يغير طبيعة ما يستطيع القارئ استعادته: قد يبقى تنظيم المسائل والبرهان بينما تضيع تفاصيل تنفيذ حسابي. لذلك لا نملأ الجداول المفقودة بأرقام مولدة ثم نقدمها كما لو أنها أعداد شرف الدين الأصلية ^{4 6}.

تذكر المقالة طبعة راشد بباريس سنة1986 وترجمة عربية لاحقة لفارس سنة1998. عرفنا هاتين الإحالتين من السيرة، ولم نقرأ الطبعتين أو المخطوطات الأصلية هنا. وتنبّه أوزل إلى خطأ الاستدلال بسنة1209 من تاريخ ممحو في نسخة، فلا نثبتها تاريخ اكتشاف أو تأليف يقينياً. الأفق الزمني للبطاقة هو القرن الثاني عشر، لا يوم اختراع موثق ⁷.

شرف الدين المظفر الطوسي هو الرياضي الذي تذكره السير معلماً في مدن منها دمشق والموصل، مع تفاصيل حياتية قليلة. وهو غير ناصر الدين الطوسي، وغير تلميذه كمال الدين ابن يونس. لا تحل شهرة النسبة محل تحقيق الشخص. تربط ماكتيتور العمل الجبري بالتعليم المتأخر في بغداد، لكن ذلك ليس دليلاً على مكان نشأة كل مسألة أو أول خط كتب من البرهان ^{8 9}.

تسميه ماكتيتور رياضياً إسلامياً صراحة؛ هذه قاعدة الانتماء المسلم، لا اسمه أو راعيه. والإطار السني للمتحف معلن منفصل عن توثيق مذهب شخصي لم نجده في القراءات. ويحفظ العرض أيضاً دور المختصر المجهول والدارسين المحدثين: معرفة عمل شخص قد تصل عبر آخرين، لكن نقل الكتاب وتفسيره لا يجعل كل ناقل مؤلف الطريقة الرياضية نفسها ^{10 4}.

تشرح ماكتيتور أن bx−x³ يبلغ قيمة عظمى عند t=√(b/3)، وأن القيمة العظمى2(b/3)^(3/2). ومن ثم يحتاج المثال إلى a لا تتجاوز ذلك الحد لكي يوجد جذر موجب. ولأن a موجب، يجب أيضاً أن يقع الجذر بين الصفر و√b. هذه شروط مجال أساسية: عبارة «لا حل» هنا لا تنفي جميع الجذور السالبة أو المركبة، بل تتعلق بالحل الموجب المطلوب ¹.

ويمكن إثبات الحد في شرح حديث بلا اشتقاق: ضع b=3t²، فتحصل على2t³−(bx−x³)=(x−t)²(x+2t). إذا كان x غير سالب وt موجباً فالطرف الأيمن غير سالب، ويساوي صفراً فقط عند x=t. هذا برهان جبري مستقل لهذا الشرح، لا ادعاء أنه ترتيب برهان المخطوط. يوضح كيف يكون الحد عالمياً في المجال، وليس مجرد أعلى قيمة بين عينات قليلة جربناها.

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

وتبين الطبعات والدراسات الحديثة عودة العمل إلى نقاش تاريخ الرياضيات، ومنها اختلاف تفسير القيم العظمى والمشتقة. لكننا لم نفحص نسخ الدارسين الأصلية هنا؛ ترد آراؤهم من خلال المقالتين المقروءتين. لا يساوي هذا المرور الببليوغرافي قراءة مستقلة لكل ما في قائمة المراجع، ولا يتحول اسم نيوتن أو هورنر في تشبيه حديث إلى وثيقة انتقال مباشر بين القرون ^{3 4}.

اجتمعت في هذا العمل معرفة المعادلات والبرهان الهندسي والتقريب العددي كما تصفها السير. وتظهر المقارنة بالخيام أن المسألة لم تعد مجرد الحصول على نقطة تقاطع واحدة، بل شملت بحث متى يسمح الصنف بحل موجب. وليس الفصل بين الوجود والإيجاد حكماً تاريخياً على كل رياضيات السابقين؛ إنه طريقة لقراءة الإضافة الخاصة التي ينسبها المرجع إلى هذا النص ².

في مثالنا الحديث، إذا كان b=3 صار التعبير3x−x³ وحده الأقصى2 عند x=1. اختيار a=1 يقع تحت الحد، وa=2 يساويه، وa=3 فوقه. هذه أعداد اخترناها للشرح لا جدول تاريخي. وهي تجعل المقارنة بسيطة مع إبقاء شرط x موجباً ظاهراً؛ لا نحتاج إلى إسناد جذور سالبة إلى مجال المؤلف لكي نثبت أن عبارة «لا جذر موجب» أضيق من «لا عدد يحقق المعادلة».

للحالة a=1 في مثالنا جذران موجبان متميزان: واحد بين0 و1، وآخر بين1 و√3. هذه نتيجة حديثة من الاستمرار ومن ازدياد3x−x³ ثم تناقصه على المجال الموجب المناسب، وليست دعوى أن المؤلف استعمل نظرية القيم المتوسطة بصيغتها اللاحقة. يمكن حصر الجذر في فاصل ثم تضييقه حسابياً، لكن الفاصل المقترح ليس استعادة لسطر مفقود من جداول الاختصار.

وعند a=2 تتحلل المعادلة x³−3x+2 إلى(x−1)²(x+2). يوجد جذر موجب متميز واحد هو1، لكنه مضاعف؛ وتبقى−2 جذراً سالباً خارج السؤال التاريخي المقيد. عند a=3 لا يوجد جذر موجب لأن الحد2 لا يبلغ3، مع أن المعادلة التكعيبية ما زالت تملك جذراً حقيقياً سالباً. تمييز عدد الجذور المتميزة من تعدد الجذر يحمي الشرح من تناقض ظاهري.

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

توضيح حديث: إذا طلبت المسألة a=3 مع b=3 فلن ينفع تكرار تخمين قيم موجبة إلى الأبد؛ فالفشل ليس ضعف جدول تقريب بل تعارض مع الحد الأعلى. هذه فائدة تعليمية لطريقة التفكير، لا شهادة من يوميات مستخدم في القرن الثاني عشر. وكذلك تقريب جذر ممكن إلى منازل أكثر لا يعالج خطأ اختيار صنف لا يقبل الجذر المطلوب أصلاً.

تجعل قراءة أوزل العمل حلقة مهمة بعد معالجة الخيام، وتبرز تقارباً مع أسئلة الوجود والقيم العظمى والتقريب في لغة حديثة. ينبغي الاحتفاظ بكلمة «تشابه» أو «تقارب» حين تكون هذه لغة المقارنة؛ ليست الأسماء اللاحقة مفردات تاريخية وجدناها في كلام المؤلف. ويساعد اختلاف التفسيرات في فهم لماذا يحتاج تاريخ الرياضيات إلى أكثر من مطابقة معادلة قديمة بقاعدة مدرسية حديثة ^{2 3}.

الأثر المثبت هنا أدق من عبارة أنه اخترع كل الجبر أو مهّد وحده لكل حاسوب. إنه تحليل منظم لصنف من المسائل، مع بقاء النص في اختصار ناقص الجداول وحضوره في تلقي رياضي لاحق. لا تنقص هذه الحدود من قيمة السؤال، بل تحفظ موضعه وسط تقاليد أقدم وقراءات أحدث من دون إلغاء أي منها ¹³.

الإطار السني للمتحف: ننسب طريقة شرف الدين وفق عرض أوزل وماكتيتور، ونفصلها عن إنشاءات الخيام السابقة وعن اختراع الرموز الحديثة. لا ندعي أولوية عامة في كل دراسة للقيم أو كل طريقة عددية. كما لا يصبح شرف الدين ناصر الدين لمجرد الاشتراك في النسبة، ولا يكون العمل نفسه عصاه الفلكية لأن صاحبه واحد ^{14 8}.

القراءة الأكاديمية: تعرض ماكتيتور تفسيرات مختلفة لمنشأ استعمال القيمة العظمى، منها قراءة تشبه المشتقة وأخرى لا ترى الطريق نفسه. نعرض الخلاف من خلالها، لا كما لو أننا قرأنا دراسات فارس وبرغرين الأصلية. لا يحسم المتحف الخلاف بعبارة أنه أول من اكتشف التفاضل، ولا ينفي وجود تحليل دقيق لأن المؤلف لم يستعمل الحروف المعاصرة ³.

يمكن لقارئ اليوم اختبار الحد جبرياً، ورسم أمثلة، ومقارنة التقريب بالحل الدقيق. كل ذلك نشاط حديث مستقل في هذا العرض. فالمعادلة نفسها قد تكتب في صور متعددة، وعدد أنواعها عند معاملات موجبة ليس بالضرورة عدد الأنواع عند السماح بمعاملات سالبة ونقل الحدود بحرية. فهم اصطلاح المجال يمنع قياس العمل التاريخي بمقاييس صامتة مختلفة عن شروطه ¹.

الصورة المعروضة منحنى حديث آخر، جذوره−4 و−1 و2 ومعادلته(x+4)(x+1)(x−2)/4. ليست صورة3x−x³ التي يستعملها مثالنا، ولا رسماً لشرف الدين. قصدها إيضاح شكل منحنى مكعب ذي انعطافات وعبور للمحور، مع التصريح بالاختلاف. وتذكر بياناتها إذن الملك العام وصانعها N.Mori، لا تدعي أن كل رسم تكعيبي قديم أو بلا صاحب ¹⁵.

الشاهد النصي الذي تصفه السير اختصار يحذف جداول عددية؛ وتناقش مقالة أوزل مقارنة بعمل آخر للمؤلف لمعرفة مقدار الاختصار. نعرف هذا من المرجع، لا من مقابلة قمنا بها. كذلك فإن خبر طبعة1986 والترجمة1998 لا يبيح لنا وضع أرقام صفحات من تلك الطبعات لم نقرأها أو نسبة جدول حديث إلى المخطوط الغائب عن بحثنا ⁴.

ولا توجد لهذه الطريقة «قطعة» صناعية يجب تصويرها كي تكون معرفة رياضية. الصورة الحديثة وسلسلة العلاقات وسيلتا شرح، بينما الدليل التاريخي في وصف العمل وتلقيه. لو قُدم مخطط معاصر بأنه صفحة أصلية لتغير معنى الدليل؛ لهذا تظهر هوية الرسم وفرق معادلته عن المثال، وتظل حدود القراءة مكتوبة في مصادر البيانات نفسها ^{16 4}.

يستدرج تاريخ الجبر أحياناً سباقاً إلى الأسماء الحديثة: نيوتن وهورنر والمشتقة والهندسة الجبرية. تذكر السير هذه المقارنات بالفعل، لكن مسؤولية المتحف ألا يحول التشبيه إلى امتلاك كامل لنظرية لاحقة. قد يثبت تطابق علاقة رياضية من دون أن تتطابق أغراض المؤلفين أو لغتهم أو سياق التدريس أو مسار انتقال النص ¹⁷.

ويذكر تلقي شرف الدين أن المعرفة تمر عبر تلميذ ومختصر وشارح ومحقق. حفظ أسماء هؤلاء وحدود ما نعرفه عنهم جزء من تاريخ العمل، لا تفصيل زائد. كما يفصل الإطار المعلن بين انتماء الشخص المسلم ووصف حجته: إثبات الحد الرياضي ليس إثبات مذهب ديني، ووجود الترجمة الحديثة لا يحل تلقائياً كل إشكال في تأريخ حياة المؤلف ^{18 19}.

ابدأ بسؤال أصغر من الحساب كله: عند x موجب، هل يمكن أن يكون3x−x³ مساوياً3؟ تظهر هويتنا الجبرية الحديثة أن التعبير لا يزيد على2. إذن جواب هذا السؤال لا ينتظر تجربة ألف عدد. أما طلب1 فيسمح بعبور مرتين، وطلب2 يلتقي القمة مرة واحدة متميزة. هذه أعداد للورق، وليست لعبة قياس ارتفاع أو تجربة بجهاز.

لا تحتاج إلى رموز معقدة لتفهم الفكرة العامة: افحص أولاً إن كان الهدف ممكناً، ثم ابحث عن مكانه. الفرق بين جواب موجب وجواب سالب يشبه فرق شروط السؤال، لا فرق جودة العددين. ويجب ألا تنسخ المنحنى المصاحب على أنه مثالنا؛ له معادلة أخرى معلنة. حين نميز بين الرسم والتاريخ والشرح الحديث نصبح أدق قراء، لا مجرد جامعي أسماء اختراعات ¹⁶.

• ¹⁷ أُوكونر وروبرتسن،السيرة الكاملة،1999.
• ²⁰ أحمد أوزل،السيرة والتحليل والأعمال،2012.
• ¹⁵ رسم حديث مختلف،ملك عام؛لا قراءة أصلية لطبعات المعادلات أو دراسات الخلاف.