حلول الخيام الهندسية للمعادلات المكعبة

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

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

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

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

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

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

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

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

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

نأخذ حالة واحدة من الترجمة الفرنسية، عنوانها مسألة يجتمع فيها مكعب وحدود من الدرجة الأولى ليساويا عدداً، ونشرحها هنا بترميز حديث لا ننسب حروفه إلى الخيام ². لتكن المعادلة x³ + a²x = b، حيث a وb موجبان. نختار قطعاً مكافئاً معادلته x² = ay، ودائرة قطرها على المحور الأفقي b/a²، فتكتب y² = x(b/a² − x)؛ هذه إعادة صياغة تعليمية لحالة التقاطع، لا وصفة لجميع الأشكال الأربعة عشر ^{2 7}.

بالتعويض عن y نحصل على x⁴/a² = xb/a² − x²، ومنه x(x³ + a²x − b) = 0. هنا يجب الانتباه: نقطة الأصل مشتركة بين المنحنيين، لكنها لا تحقق المعادلة المكعبة عندما يكون b موجباً. نأخذ التقاطع ذا الإحداثي الموجب غير الصفري، فيزول العامل x من الاستدلال ويحقق الطول المطلوب المعادلة. هذه ضرورة رياضية في الشرح، لا تفصيل بصري يمكن تجاهله.

ولمثال حديث اخترناه للتعليم، لا أعداداً ندعي ورودها في نص الخيام، نجعل a=2 وb=16: المعادلة x³+4x=16، والقطع y=x²/2، والدائرة مركزها (2,0) ونصف قطرها2. النقطة (2,2) تقع عليهما، والإسقاط الأفقي يعطي x=2؛ والتحقق مباشر: 8+8=16. أما النص المترجم فيبرهن بعلاقات الأطوال والتناسبات، وترد في عبارته على الصفحة33 الدائرة والقطع والإسقاطان، لا هذا المثال العددي الحديث ².

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

تتيح طبعة فوبكه سنة1851 نصاً عربياً وترجمة فرنسية، وتذكر المراجع الحديثة طبعات ودراسات أخرى؛ القراءة الأولية في هذا السجل محددة بالترجمة الفرنسية للصفحات32–34، لا بفحص جميع المخطوطات والطبعات التي يسميها فهرس مرجع ^{9 10}. وهذا فرق بين أن نعرف وجود طريق إلى النص وأن نزعم أننا سرنا كل طرقه.

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

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

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

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

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

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

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

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

وقد أبرزت الطبعات والدراسات الحديثة هذا العمل في صورة أوسع من شهرة الرباعيات، من غير أن يجعل ذلك نسبة كل رباعية أو خبر سيري محسومة؛ تختلف الشواهد بحسب موضوع السؤال ^{6 12}. لذلك لا نعالج الخلاف الأدبي ببرهان رياضي، ولا نثبت صحة البناء لمجرد شهرة صاحبه.

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

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

يمكن للقارئ مقارنة الحالة المترجمة بالرسم الحديث، ثم التحقق من المثال بعمليات بسيطة؛ الصورة المنشورة من عمل بيتر كويبر مع تعديل الألوان لرود كوت، ومعلنة الملك العام ¹³. يظهر فيها قطع أزرق ودائرة بنفسجية وقطعة حمراء، ولا تمثل ورقة بخط الخيام أو أداة أثرية مفترضة ¹⁴.

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

الشاهد المحدد الذي قرأناه ترجمة فوبكه1851، ولا سيما الصفحات32–34 والبناء المرتبط بالشكل17؛ قوبلت صورة الصفحة33 في القارئ العام بعباراتها عن القطع المكافئ ونصف الدائرة ². هذا فحص لشاهد مطبوع مترجم، لا إثبات أن نسخة معينة بخط المؤلف بقيت، ولا مقابلة مستقلة للنص العربي كله.

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

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

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

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

في مثالنا الحديث العدد2 يحقق 2³+4×2=16. أما الصفر فلا يحققها، ولو مر به الشكلان. هذا تمرين على الفرق بين ما نراه وما نثبته: نرجع إلى السؤال نفسه، ولا نختار نقطة لأنها أول ما وقع عليه نظرنا. وتعلم تاريخ الفكرة لا يحتاج أن ننسب إلى عالم واحد كل ما عرفه الناس قبله وبعده.

• فوبكه1851، ترجمة الجبر الفرنسية، ص32–34، الشكل17؛ قوبلت صورة33، لا مقابلة مستقلة للعربية. ²
• موسوعة ستانفورد، مراجعة2023،2.7 و4.1؛ الهوية الفلسفية والتصنيف وسوابقه وحدوده. ¹²
• أونات، TDV34(2007)،66–68؛ القسم العلمي دون المساهمة الأدبية المنفصلة. ⁶
• أوكونور وروبرتسون، ماكتوتر، تحديث يوليو1999؛ السيرة وسمرقند وحدود الجبر والأسطورة المدرسية. ¹⁷
• كومنز، رسم كويبر وتعديل كوت؛ تاريخ الرفع والتنازل إلى الملك العام. ¹³